meta: Improve documentation for various modified classes

In LLVM, i1 represents a 1-byte integer with a single valid bit; The
rest of the 7 upper bits are undefined. This causes problems when
using these variables in memory operations (e.g. memcpy/memmove as
needed by List slicing and assignment).

We fix this by treating all local boolean variables as i8 so that they
are well-defined for memory operations. Function ABIs will continue to
use i1, as memory operations cannot be directly performed on function
arguments or return types, instead they are always converted back into
local boolean variables (which are i8s anyways).

Fixes #315.

nac3core/src/codegen/expr.rs

@@ -67,7 +67,8 @@ impl<'ctx, 'a> CodeGenContext<'ctx, 'a> {
         index: &[IntValue<'ctx>],
         name: Option<&str>,
     ) -> BasicValueEnum<'ctx> {
-        unsafe { self.builder.build_load(self.builder.build_gep(ptr, index, ""), name.unwrap_or_default()) }
+        let gep = unsafe { self.builder.build_gep(ptr, index, "") };
+        self.builder.build_load(gep, name.unwrap_or_default())
     }
 
     fn get_subst_key(

nac3core/src/codegen/test.rs

@@ -13,7 +13,10 @@ use crate::{
     },
 };
 use indoc::indoc;
-use inkwell::OptimizationLevel;
+use inkwell::{
+    targets::{InitializationConfig, Target},
+    OptimizationLevel
+};
 use nac3parser::{
     ast::{fold::Fold, StrRef},
     parser::parse_program,