diff --git a/crates/compiler/build/src/program.rs b/crates/compiler/build/src/program.rs
index 09f8123f261..6b183d093f6 100644
--- a/crates/compiler/build/src/program.rs
+++ b/crates/compiler/build/src/program.rs
@@ -166,7 +166,7 @@ fn gen_from_mono_module_llvm<'a>(
 
     let kind_id = Attribute::get_named_enum_kind_id("alwaysinline");
     debug_assert!(kind_id > 0);
-    let enum_attr = context.create_enum_attribute(kind_id, 1);
+    let enum_attr = context.create_enum_attribute(kind_id, 0);
 
     for function in module.get_functions() {
         let name = function.get_name().to_str().unwrap();
diff --git a/crates/compiler/gen_llvm/src/llvm/bitcode.rs b/crates/compiler/gen_llvm/src/llvm/bitcode.rs
index 4762076da89..64dac3814e0 100644
--- a/crates/compiler/gen_llvm/src/llvm/bitcode.rs
+++ b/crates/compiler/gen_llvm/src/llvm/bitcode.rs
@@ -225,7 +225,7 @@ fn build_transform_caller_help<'a, 'ctx>(
 
     let kind_id = Attribute::get_named_enum_kind_id("alwaysinline");
     debug_assert!(kind_id > 0);
-    let attr = env.context.create_enum_attribute(kind_id, 1);
+    let attr = env.context.create_enum_attribute(kind_id, 0);
     function_value.add_attribute(AttributeLoc::Function, attr);
 
     let entry = env.context.append_basic_block(function_value, "entry");
@@ -408,7 +408,7 @@ fn build_rc_wrapper<'a, 'ctx>(
 
             let kind_id = Attribute::get_named_enum_kind_id("alwaysinline");
             debug_assert!(kind_id > 0);
-            let attr = env.context.create_enum_attribute(kind_id, 1);
+            let attr = env.context.create_enum_attribute(kind_id, 0);
             function_value.add_attribute(AttributeLoc::Function, attr);
 
             let entry = env.context.append_basic_block(function_value, "entry");
@@ -497,7 +497,7 @@ pub fn build_eq_wrapper<'a, 'ctx>(
 
             let kind_id = Attribute::get_named_enum_kind_id("alwaysinline");
             debug_assert!(kind_id > 0);
-            let attr = env.context.create_enum_attribute(kind_id, 1);
+            let attr = env.context.create_enum_attribute(kind_id, 0);
             function_value.add_attribute(AttributeLoc::Function, attr);
 
             let entry = env.context.append_basic_block(function_value, "entry");
@@ -598,7 +598,7 @@ pub fn build_compare_wrapper<'a, 'ctx>(
 
             let kind_id = Attribute::get_named_enum_kind_id("alwaysinline");
             debug_assert!(kind_id > 0);
-            let attr = env.context.create_enum_attribute(kind_id, 1);
+            let attr = env.context.create_enum_attribute(kind_id, 0);
             function_value.add_attribute(AttributeLoc::Function, attr);
 
             let entry = env.context.append_basic_block(function_value, "entry");
diff --git a/crates/compiler/gen_llvm/src/llvm/build.rs b/crates/compiler/gen_llvm/src/llvm/build.rs
index 38a06b4dac7..3870d5ba388 100644
--- a/crates/compiler/gen_llvm/src/llvm/build.rs
+++ b/crates/compiler/gen_llvm/src/llvm/build.rs
@@ -1941,8 +1941,12 @@ fn tag_pointer_set_tag_id<'ctx>(
 
     // NOTE: assumes the lower bits of `cast_pointer` are all 0
     let indexed_pointer = unsafe {
-        env.builder
-            .build_in_bounds_gep(cast_pointer, &[tag_id_intval], "indexed_pointer")
+        env.builder.new_build_in_bounds_gep(
+            env.context.i8_type(),
+            cast_pointer,
+            &[tag_id_intval],
+            "indexed_pointer",
+        )
     };
 
     env.builder
@@ -1994,7 +1998,14 @@ pub fn tag_pointer_clear_tag_id<'ctx>(
         "cast_to_i8_ptr",
     );
 
-    let indexed_pointer = unsafe { env.builder.build_gep(cast_pointer, &[index], "new_ptr") };
+    let indexed_pointer = unsafe {
+        env.builder.new_build_in_bounds_gep(
+            env.context.i8_type(),
+            cast_pointer,
+            &[index],
+            "new_ptr",
+        )
+    };
 
     env.builder
         .build_pointer_cast(indexed_pointer, pointer.get_type(), "cast_from_i8_ptr")
@@ -3954,11 +3965,9 @@ fn expose_function_to_host_help_c_abi_gen_test<'a, 'ctx>(
             arguments_for_call.push(*arg);
         } else {
             match layout_interner.get_repr(*layout) {
-                LayoutRepr::Builtin(Builtin::List(_)) => {
-                    let list_type = arg_type
-                        .into_pointer_type()
-                        .get_element_type()
-                        .into_struct_type();
+                repr @ LayoutRepr::Builtin(Builtin::List(_)) => {
+                    let list_type = basic_type_from_layout(env, layout_interner, repr);
+
                     let loaded = env.builder.new_build_load(
                         list_type,
                         arg.into_pointer_value(),
@@ -5207,14 +5216,14 @@ fn build_proc_header<'a, 'ctx>(
     if false {
         let kind_id = Attribute::get_named_enum_kind_id("alwaysinline");
         debug_assert!(kind_id > 0);
-        let enum_attr = env.context.create_enum_attribute(kind_id, 1);
+        let enum_attr = env.context.create_enum_attribute(kind_id, 0);
         fn_val.add_attribute(AttributeLoc::Function, enum_attr);
     }
 
     if false {
         let kind_id = Attribute::get_named_enum_kind_id("noinline");
         debug_assert!(kind_id > 0);
-        let enum_attr = env.context.create_enum_attribute(kind_id, 1);
+        let enum_attr = env.context.create_enum_attribute(kind_id, 0);
         fn_val.add_attribute(AttributeLoc::Function, enum_attr);
     }
 
diff --git a/crates/compiler/gen_llvm/src/llvm/lowlevel.rs b/crates/compiler/gen_llvm/src/llvm/lowlevel.rs
index 63a9a15e740..285f4b929a8 100644
--- a/crates/compiler/gen_llvm/src/llvm/lowlevel.rs
+++ b/crates/compiler/gen_llvm/src/llvm/lowlevel.rs
@@ -1844,19 +1844,19 @@ fn throw_because_overflow<'ctx>(env: &Env<'_, 'ctx, '_>, message: &str) {
             // prevent inlining of this function
             let kind_id = Attribute::get_named_enum_kind_id("noinline");
             debug_assert!(kind_id > 0);
-            let enum_attr = env.context.create_enum_attribute(kind_id, 1);
+            let enum_attr = env.context.create_enum_attribute(kind_id, 0);
             function_value.add_attribute(AttributeLoc::Function, enum_attr);
 
             // calling this function is unlikely
             let kind_id = Attribute::get_named_enum_kind_id("cold");
             debug_assert!(kind_id > 0);
-            let enum_attr = env.context.create_enum_attribute(kind_id, 1);
+            let enum_attr = env.context.create_enum_attribute(kind_id, 0);
             function_value.add_attribute(AttributeLoc::Function, enum_attr);
 
             // this function never returns
             let kind_id = Attribute::get_named_enum_kind_id("noreturn");
             debug_assert!(kind_id > 0);
-            let enum_attr = env.context.create_enum_attribute(kind_id, 1);
+            let enum_attr = env.context.create_enum_attribute(kind_id, 0);
             function_value.add_attribute(AttributeLoc::Function, enum_attr);
 
             // Add a basic block for the entry point
diff --git a/crates/compiler/gen_llvm/src/llvm/struct_.rs b/crates/compiler/gen_llvm/src/llvm/struct_.rs
index 30da7eb55e0..64226445868 100644
--- a/crates/compiler/gen_llvm/src/llvm/struct_.rs
+++ b/crates/compiler/gen_llvm/src/llvm/struct_.rs
@@ -92,7 +92,15 @@ impl<'ctx> RocStruct<'ctx> {
                 index_struct_value(env, layout_interner, field_layouts, *argument, index)
             }
             (Self::ByReference(ptr), LayoutRepr::Struct(field_layouts)) => {
-                index_struct_ptr(env, layout_interner, field_layouts, *ptr, index)
+                let struct_type = basic_type_from_layout(env, layout_interner, struct_layout);
+                index_struct_ptr(
+                    env,
+                    layout_interner,
+                    struct_type.into_struct_type(),
+                    field_layouts,
+                    *ptr,
+                    index,
+                )
             }
             (other, layout) => {
                 unreachable!(
@@ -135,26 +143,26 @@ fn index_struct_value<'a, 'ctx>(
 fn index_struct_ptr<'a, 'ctx>(
     env: &Env<'a, 'ctx, '_>,
     layout_interner: &STLayoutInterner<'a>,
+    struct_type: StructType<'ctx>,
     field_layouts: &[InLayout<'a>],
     ptr: PointerValue<'ctx>,
     index: u64,
 ) -> BasicValueEnum<'ctx> {
     debug_assert!(!field_layouts.is_empty());
 
-    let field_value = get_field_from_ptr(
-        env,
-        ptr,
-        index as _,
-        env.arena
-            .alloc(format!("struct_field_access_record_{}", index)),
-    );
-
     let field_layout = field_layouts[index as usize];
+    let field_repr = layout_interner.get_repr(field_layout);
+
+    let name = format!("struct_field_access_record_{}", index);
+    let field_value = env
+        .builder
+        .new_build_struct_gep(struct_type, ptr, index as u32, &name)
+        .unwrap();
 
     load_roc_value(
         env,
         layout_interner,
-        layout_interner.get_repr(field_layout),
+        field_repr,
         field_value,
         "struct_field",
     )
@@ -171,15 +179,6 @@ fn get_field_from_value<'ctx>(
         .unwrap()
 }
 
-fn get_field_from_ptr<'ctx>(
-    env: &Env<'_, 'ctx, '_>,
-    ptr: PointerValue<'ctx>,
-    index: u32,
-    name: &str,
-) -> PointerValue<'ctx> {
-    env.builder.build_struct_gep(ptr, index, name).unwrap()
-}
-
 struct BuildStruct<'ctx> {
     struct_type: StructType<'ctx>,
     struct_val: StructValue<'ctx>,
diff --git a/crates/compiler/test_gen/src/helpers/llvm.rs b/crates/compiler/test_gen/src/helpers/llvm.rs
index 2ec40d96245..6ad7cc29a37 100644
--- a/crates/compiler/test_gen/src/helpers/llvm.rs
+++ b/crates/compiler/test_gen/src/helpers/llvm.rs
@@ -192,7 +192,7 @@ fn create_llvm_module<'a>(
 
     let kind_id = Attribute::get_named_enum_kind_id("alwaysinline");
     debug_assert!(kind_id > 0);
-    let attr = context.create_enum_attribute(kind_id, 1);
+    let attr = context.create_enum_attribute(kind_id, 0);
 
     for function in module.get_functions() {
         let name = function.get_name().to_str().unwrap();