[rebranch][test] IRGen: Adjust getelementptr checks that are now nuw

Per 7eca38ce76d5d1915f4ab7e665964062c0b37697 (llvm-project).

Author: AnthonyLatsis

test/AutoDiff/SIL/differentiability_witness_function_inst.sil

@@ -95,14 +95,14 @@ bb0:
 
 // IRGEN: [[PTR1:%.*]] = load ptr, ptr @fooWJrSUUpSr, align [[PTR_ALIGNMENT]]
 
-// IRGEN: [[PTR2:%.*]] = load ptr, ptr getelementptr inbounds (%swift.differentiability_witness, ptr @fooWJrSSUpSr, i32 0, i32 1), align [[PTR_ALIGNMENT]]
+// IRGEN: [[PTR2:%.*]] = load ptr, ptr getelementptr inbounds nuw (%swift.differentiability_witness, ptr @fooWJrSSUpSr, i32 0, i32 1), align [[PTR_ALIGNMENT]]
 
 // IRGEN: [[PTR3:%.*]] = load ptr, ptr @barWJrSUUpSUr, align [[PTR_ALIGNMENT]]
 
-// IRGEN: [[PTR4:%.*]] = load ptr, ptr getelementptr inbounds (%swift.differentiability_witness, ptr @barWJrSSUpSSr, i32 0, i32 1), align [[PTR_ALIGNMENT]]
+// IRGEN: [[PTR4:%.*]] = load ptr, ptr getelementptr inbounds nuw (%swift.differentiability_witness, ptr @barWJrSSUpSSr, i32 0, i32 1), align [[PTR_ALIGNMENT]]
 
 // IRGEN: [[PTR5:%.*]] = load ptr, ptr @generic16_Differentiation14DifferentiableRzlWJrSUpSr, align [[PTR_ALIGNMENT]]
 
-// IRGEN: [[PTR6:%.*]] = load ptr, ptr getelementptr inbounds (%swift.differentiability_witness, ptr @generics18AdditiveArithmeticRz16_Differentiation14DifferentiableRzlWJrSSpSr, i32 0, i32 1), align [[PTR_ALIGNMENT]]
+// IRGEN: [[PTR6:%.*]] = load ptr, ptr getelementptr inbounds nuw (%swift.differentiability_witness, ptr @generics18AdditiveArithmeticRz16_Differentiation14DifferentiableRzlWJrSSpSr, i32 0, i32 1), align [[PTR_ALIGNMENT]]
 
-// IRGEN: [[PTR7:%.*]] = load ptr, ptr getelementptr inbounds (%swift.differentiability_witness, ptr @generic16_Differentiation14DifferentiableRz13TangentVector{{.*}}WJrSSpSr, i32 0, i32 1), align [[PTR_ALIGNMENT]]
+// IRGEN: [[PTR7:%.*]] = load ptr, ptr getelementptr inbounds nuw (%swift.differentiability_witness, ptr @generic16_Differentiation14DifferentiableRz13TangentVector{{.*}}WJrSSpSr, i32 0, i32 1), align [[PTR_ALIGNMENT]]

test/DebugInfo/debug_scope_distinct.swift

@@ -12,14 +12,14 @@
 //
 // CHECK: %[[ARG0:.*]] = load {{.*}} %[[ARG_PTR]]
 // CHECK: #dbg_value({{.*}} %[[ARG0]], ![[VAR1:[0-9]+]], !DIExpression(DW_OP_LLVM_fragment, 0, 64), ![[LOC1:[0-9]+]]
-// CHECK: %[[ARG1_GEP:.*]] = getelementptr inbounds i8, ptr %[[ARG_PTR]], i64 8
+// CHECK: %[[ARG1_GEP:.*]] = getelementptr inbounds nuw i8, ptr %[[ARG_PTR]], i64 8
 // CHECK: %[[ARG1:.*]] = load {{.*}} %[[ARG1_GEP]]
 // CHECK: #dbg_value({{.*}} %[[ARG1]], ![[VAR1]], !DIExpression(DW_OP_LLVM_fragment, 64, 8), ![[LOC1]]
 //
-// CHECK: %[[ARG2_GEP:.*]] = getelementptr inbounds i8, ptr %[[ARG_PTR]], i64 32
+// CHECK: %[[ARG2_GEP:.*]] = getelementptr inbounds nuw i8, ptr %[[ARG_PTR]], i64 32
 // CHECK: %[[ARG2:.*]] = load {{.*}} %[[ARG2_GEP]]
 // CHECK: #dbg_value({{.*}} %[[ARG2]], ![[VAR1]], !DIExpression(DW_OP_LLVM_fragment, 0, 64), ![[LOC2:[0-9]+]]
-// CHECK: %[[ARG3_GEP:.*]] = getelementptr inbounds i8, ptr %[[ARG_PTR]], i64 40
+// CHECK: %[[ARG3_GEP:.*]] = getelementptr inbounds nuw i8, ptr %[[ARG_PTR]], i64 40
 // CHECK: %[[ARG3:.*]] = load {{.*}} %[[ARG3_GEP]]
 // CHECK: #dbg_value({{.*}} %[[ARG3]], ![[VAR1]], !DIExpression(DW_OP_LLVM_fragment, 64, 8), ![[LOC2]]
 

test/DebugInfo/shadowcopy-linetable.swift

@@ -24,7 +24,7 @@ func foo(_ x: inout Int64) {
   // IRCHECK-NEXT: call void @llvm.memset.{{.*}}(ptr align {{(4|8)}} %[[X]], i8 0
   // IRCHECK: store ptr %0, ptr %[[X]], align {{(4|8)}}
   // IRCHECK-SAME: !dbg ![[LOC0:.*]]
-  // IRCHECK-NEXT: %[[VALUE:.*]] = getelementptr inbounds %Ts5Int64V, ptr %0, i32 0, i32 0,
+  // IRCHECK-NEXT: %[[VALUE:.*]] = getelementptr inbounds nuw %Ts5Int64V, ptr %0, i32 0, i32 0,
   // IRCHECK-SAME: !dbg ![[LOCLOAD:.*]]
   // IRCHECK-NEXT: load i64, ptr %[[VALUE]], align {{(4|8)}}
   // IRCHECK-SAME: !dbg ![[LOCLOAD]]

test/Distributed/distributed_actor_accessor_thunks_64bit.swift

@@ -119,12 +119,12 @@ public distributed actor MyOtherActor {
 // CHECK: call swiftcc void @"$s27FakeDistributedActorSystems0A17InvocationDecoderC18decodeNextArgumentxyKSeRzSERzlF"(ptr noalias sret(%swift.opaque) [[ARG_0_VALUE_BUF]], ptr %arg_type, ptr [[ENCODABLE_WITNESS]], ptr [[DECODABLE_WITNESS]], ptr swiftself [[DECODER]], ptr noalias captures(none) swifterror dereferenceable(8) %swifterror)
 
 // CHECK: store ptr null, ptr %swifterror
-// CHECK-NEXT: %._value = getelementptr inbounds %TSi, ptr [[ARG_0_VALUE_BUF]], i32 0, i32 0
+// CHECK-NEXT: %._value = getelementptr inbounds nuw %TSi, ptr [[ARG_0_VALUE_BUF]], i32 0, i32 0
 // CHECK-NEXT: [[ARG_VAL:%.*]] = load i64, ptr %._value
 
 /// Setup task context for async call to `simple1` thunk
 
-// CHECK-DIRECT: [[CONTEXT_SIZE:%.*]] = load i32, ptr getelementptr inbounds (%swift.async_func_pointer, ptr @"$s27distributed_actor_accessors7MyActorC7simple1yySiYaKFTETu", i32 0, i32 1)
+// CHECK-DIRECT: [[CONTEXT_SIZE:%.*]] = load i32, ptr getelementptr inbounds nuw (%swift.async_func_pointer, ptr @"$s27distributed_actor_accessors7MyActorC7simple1yySiYaKFTETu", i32 0, i32 1)
 // CHECK-INDIRECT: [[ADDR:%[0-9]+]] = load ptr, ptr inttoptr (i64 and (i64 ptrtoint (ptr @"$s27distributed_actor_accessors7MyActorC7simple1yySiYaKFTETu" to i64), i64 -2) to ptr)
 // CHECK-INDIRECT-NEXT: [[SELECT:%[0-9]+]] = select i1 true, ptr @"$s27distributed_actor_accessors7MyActorC7simple1yySiYaKFTETu", ptr [[ADDR]]
 // CHECK-INDIRECT-NEXT: [[LOAD:%[0-9]+]] = getelementptr inbounds %swift.async_func_pointer, ptr [[SELECT]], i32 0, i32 1
@@ -156,7 +156,7 @@ public distributed actor MyOtherActor {
 
 /// Setup task context for async call to `simple2` thunk
 
-// CHECK-DIRECT: [[CONTEXT_SIZE:%.*]] = load i32, ptr getelementptr inbounds (%swift.async_func_pointer, ptr @"$s27distributed_actor_accessors7MyActorC7simple2ySSSiYaKFTETu", i32 0, i32 1)
+// CHECK-DIRECT: [[CONTEXT_SIZE:%.*]] = load i32, ptr getelementptr inbounds nuw (%swift.async_func_pointer, ptr @"$s27distributed_actor_accessors7MyActorC7simple2ySSSiYaKFTETu", i32 0, i32 1)
 // CHECK-INDIRECT: [[ADDR:%[0-9]+]] = load ptr, ptr inttoptr (i64 and (i64 ptrtoint (ptr @"$s27distributed_actor_accessors7MyActorC7simple2ySSSiYaKFTETu" to i64), i64 -2) to ptr), align 8
 // CHECK-INDIRECT-NEXT: [[SELECT:%[0-9]+]] = select i1 true, ptr @"$s27distributed_actor_accessors7MyActorC7simple2ySSSiYaKFTETu", ptr [[ADDR]]
 // CHECK-INDIRECT-NEXT: [[LOAD:%[0-9]+]] = getelementptr inbounds %swift.async_func_pointer, ptr [[SELECT]], i32 0, i32 1
@@ -199,7 +199,7 @@ public distributed actor MyOtherActor {
 
 // CHECK: [[ARG_SIZE:%.*]] = and i64 {{.*}}, -16
 // CHECK: [[ARG_BUF:%.*]] = call swiftcc ptr @swift_task_alloc(i64 [[ARG_SIZE]])
-// CHECK: %._guts = getelementptr inbounds %TSS, ptr [[ARG_BUF]], i32 0, i32 0
+// CHECK: %._guts = getelementptr inbounds nuw %TSS, ptr [[ARG_BUF]], i32 0, i32 0
 
 // CHECK: [[STR_SIZE:%.*]] = load i64, ptr %._guts._object._countAndFlagsBits._value
 // CHECK: [[STR_VAL:%.*]] = load ptr, ptr %._guts._object._object
@@ -210,7 +210,7 @@ public distributed actor MyOtherActor {
 // CHECK-INDIRECT-NEXT: [[SELECT:%[0-9]+]] = select i1 true, ptr @"$s27distributed_actor_accessors7MyActorC7simple3ySiSSYaKFTETu", ptr [[ADDR]]
 // CHECK-INDIRECT-NEXT: [[LOAD:%[0-9]+]] = getelementptr inbounds %swift.async_func_pointer, ptr [[SELECT]], i32 0, i32 1
 // CHECK-INDIRECT-NEXT: [[CONTEXT_SIZE:%.*]] = load i32, ptr [[LOAD]]
-// CHECK-DIRECT: [[CONTEXT_SIZE:%.*]] = load i32, ptr getelementptr inbounds (%swift.async_func_pointer, ptr @"$s27distributed_actor_accessors7MyActorC7simple3ySiSSYaKFTETu", i32 0, i32 1)
+// CHECK-DIRECT: [[CONTEXT_SIZE:%.*]] = load i32, ptr getelementptr inbounds nuw (%swift.async_func_pointer, ptr @"$s27distributed_actor_accessors7MyActorC7simple3ySiSSYaKFTETu", i32 0, i32 1)
 // CHECK-NEXT: [[CONTEXT_SIZE_64:%.*]] = zext i32 [[CONTEXT_SIZE]] to i64
 // CHECK-NEXT: [[THUNK_ASYNC_CONTEXT:%.*]] = call swiftcc ptr @swift_task_alloc(i64 [[CONTEXT_SIZE_64]])
 
@@ -227,7 +227,7 @@ public distributed actor MyOtherActor {
 // CHECK-NEXT: [[CALLER_ASYNC_CTXT:%.*]] = load ptr, ptr [[TASK_REF]]
 // CHECK-NEXT:  store ptr [[CALLER_ASYNC_CTXT]], ptr
 // CHECK: [[INT_RES:%.*]] = extractvalue { ptr, i64, ptr } [[THUNK_RESULT]], 1
-// CHECK: %._value = getelementptr inbounds %TSi, ptr [[RESULT_BUFF]], i32 0, i32 0
+// CHECK: %._value = getelementptr inbounds nuw %TSi, ptr [[RESULT_BUFF]], i32 0, i32 0
 // CHECK: store i64 [[INT_RES]], ptr %._value
 // CHECK: {{.*}} = call i1 (ptr, i1, ...) @llvm.coro.end.async({{.*}}, ptr {{.*}}, ptr {{.*}})
 
@@ -258,7 +258,7 @@ public distributed actor MyOtherActor {
 // CHECK: [[ARG_1_SIZE:%.*]] = and i64 {{.*}}, -16
 // CHECK-NEXT: [[ARG_1_BUF:%.*]] = call swiftcc ptr @swift_task_alloc(i64 [[ARG_1_SIZE]])
 
-// CHECK: %._value = getelementptr inbounds %TSi, ptr [[ARG_1_BUF]], i32 0, i32 0
+// CHECK: %._value = getelementptr inbounds nuw %TSi, ptr [[ARG_1_BUF]], i32 0, i32 0
 // CHECK-NEXT: [[NATIVE_INT_VAL:%.*]] = load i64, ptr %._value
 
 /// Call distributed thunk with extracted arguments.
@@ -287,7 +287,7 @@ public distributed actor MyOtherActor {
 // CHECK: [[ARG_0_SIZE:%.*]] = and i64 {{.*}}, -16
 // CHECK-NEXT: [[ARG_0_BUF:%.*]] = call swiftcc ptr @swift_task_alloc(i64 [[ARG_0_SIZE]])
 
-// CHECK: %._buffer = getelementptr inbounds %TSa, ptr [[ARG_0_BUF]], i32 0, i32 0
+// CHECK: %._buffer = getelementptr inbounds nuw %TSa, ptr [[ARG_0_BUF]], i32 0, i32 0
 // CHECK: [[NATIVE_ARR_VAL:%.*]] = load ptr, ptr %._buffer._storage
 
 /// -> Obj
@@ -302,9 +302,9 @@ public distributed actor MyOtherActor {
 // CHECK: [[ARG_2_SIZE:%.*]] = and i64 {{.*}}, -16
 // CHECK-NEXT: [[ARG_2_BUF:%.*]] = call swiftcc ptr @swift_task_alloc(i64 [[ARG_2_SIZE]])
 
-// CHECK: [[NATIVE_OPT_VAL_0_PTR:%.*]] = getelementptr inbounds { i64, i64 }, ptr [[ARG_2_BUF]], i32 0, i32 0
+// CHECK: [[NATIVE_OPT_VAL_0_PTR:%.*]] = getelementptr inbounds nuw { i64, i64 }, ptr [[ARG_2_BUF]], i32 0, i32 0
 // CHECK-NEXT: [[NATIVE_OPT_VAL_0:%.*]] = load i64, ptr [[NATIVE_OPT_VAL_0_PTR]]
-// CHECK-NEXT: [[NATIVE_OPT_VAL_1_PTR:%.*]] = getelementptr inbounds { i64, i64 }, ptr [[ARG_2_BUF]], i32 0, i32 1
+// CHECK-NEXT: [[NATIVE_OPT_VAL_1_PTR:%.*]] = getelementptr inbounds nuw { i64, i64 }, ptr [[ARG_2_BUF]], i32 0, i32 1
 // CHECK-NEXT: [[NATIVE_OPT_VAL_1:%.*]] = load i64, ptr [[NATIVE_OPT_VAL_1_PTR]]
 
 /// -> LargeStruct (passed indirectly)
@@ -335,8 +335,8 @@ public distributed actor MyOtherActor {
 // CHECK: [[ARG_1_SIZE:%.*]] = and i64 {{.*}}, -16
 // CHECK-NEXT: [[ARG_1_BUF:%.*]] = call swiftcc ptr @swift_task_alloc(i64 [[ARG_1_SIZE]])
 
-// CHECK: %._buffer = getelementptr inbounds %TSa, ptr [[ARG_1_BUF]], i32 0, i32 0
-// CHECK-NEXT: %._buffer._storage = getelementptr inbounds [[ARRAY_TYPE:%.*]], ptr %._buffer, i32 0, i32 0
+// CHECK: %._buffer = getelementptr inbounds nuw %TSa, ptr [[ARG_1_BUF]], i32 0, i32 0
+// CHECK-NEXT: %._buffer._storage = getelementptr inbounds nuw [[ARRAY_TYPE:%.*]], ptr %._buffer, i32 0, i32 0
 // CHECK: [[TYPED_ARG_1:%.*]] = load ptr, ptr %._buffer._storage
 
 /// ---> Load generic argument substitutions from the caller-provided buffer
@@ -380,7 +380,7 @@ public distributed actor MyOtherActor {
 // CHECK-NEXT: {{.*}} = call ptr @llvm.coro.begin(token {{%.*}}, ptr null)
 // CHECK-NEXT: store ptr {{.*}}, ptr {{.*}}
 // CHECK-NEXT: store ptr null, ptr %swifterror
-// CHECK-DIRECT-NEXT: {{.*}} = load i32, ptr getelementptr inbounds (%swift.async_func_pointer, ptr @"$s27distributed_actor_accessors12MyOtherActorC5emptyyyYaKFTETu", i32 0, i32 1)
+// CHECK-DIRECT-NEXT: {{.*}} = load i32, ptr getelementptr inbounds nuw (%swift.async_func_pointer, ptr @"$s27distributed_actor_accessors12MyOtherActorC5emptyyyYaKFTETu", i32 0, i32 1)
 // CHECK-INDIRECT-NEXT: [[ADDR:%[0-9]+]] = load ptr, ptr inttoptr (i64 and (i64 ptrtoint (ptr @"$s27distributed_actor_accessors12MyOtherActorC5emptyyyYaKFTETu" to i64), i64 -2) to ptr), align 8
 // CHECK-INDIRECT-NEXT: [[SELECT:%[0-9]+]] = select i1 true, ptr @"$s27distributed_actor_accessors12MyOtherActorC5emptyyyYaKFTETu", ptr [[ADDR]]
 // CHECK-INDIRECT-NEXT: [[LOAD:%[0-9]+]] = getelementptr inbounds %swift.async_func_pointer, ptr [[SELECT]], i32 0, i32 1

test/Distributed/distributed_actor_to_actor.swift

@@ -32,7 +32,7 @@ func getAnyActor(distributedActor: isolated some DistributedActor) -> any Actor
 
 // CHECK-IR-LABEL: define {{.*}} @"$s021distributed_actor_to_B011getAnyActor0aF0ScA_pxYi_t11Distributed0gF0RzlF
 // CHECK-IR: %conditional.requirement.buffer = alloca [1 x ptr]
-// CHECK-IR: [[CONDITIONAL_REQ_GEP:%[0-9]+]] = getelementptr inbounds [1 x ptr], ptr %conditional.requirement.buffer, i32 0, i32 0
+// CHECK-IR: [[CONDITIONAL_REQ_GEP:%[0-9]+]] = getelementptr inbounds nuw [1 x ptr], ptr %conditional.requirement.buffer, i32 0, i32 0
 // CHECK-IR-NEXT: [[SELF_DA_REQ:%.*]] = getelementptr inbounds ptr, ptr [[CONDITIONAL_REQ_GEP]], i32 0
 // CHECK-IR-NEXT: store ptr %"some DistributedActor.DistributedActor", ptr [[SELF_DA_REQ]]
 // CHECK-IR-NEXT: call ptr @swift_getWitnessTable(ptr @"$sxScA11DistributedMc{{(.ptrauth)?}}", ptr %"some DistributedActor", ptr [[CONDITIONAL_REQ_GEP]])

test/IRGen/abitypes_objc.swift

@@ -567,35 +567,35 @@ class Foo {
 // We need to allocate enough memory on the stack to hold the argument value we load.
 // arm64-ios: define swiftcc void @"$s8abitypes14testBOOLStructyyF"()
 // arm64-ios:  [[COERCED:%.*]] = alloca i64
-// arm64-ios:  [[PTR0:%.*]] = getelementptr inbounds %TSo14FiveByteStructV, ptr [[COERCED]], {{i.*}} 0, {{i.*}} 0
-// arm64-ios:  [[PTR1:%.*]] = getelementptr inbounds %T10ObjectiveC8ObjCBoolV, ptr [[PTR0]], {{i.*}} 0, {{i.*}} 0
-// arm64-ios:  [[PTR2:%.*]] = getelementptr inbounds %TSb, ptr [[PTR1]], {{i.*}} 0, {{i.*}} 0
+// arm64-ios:  [[PTR0:%.*]] = getelementptr inbounds nuw %TSo14FiveByteStructV, ptr [[COERCED]], {{i.*}} 0, {{i.*}} 0
+// arm64-ios:  [[PTR1:%.*]] = getelementptr inbounds nuw %T10ObjectiveC8ObjCBoolV, ptr [[PTR0]], {{i.*}} 0, {{i.*}} 0
+// arm64-ios:  [[PTR2:%.*]] = getelementptr inbounds nuw %TSb, ptr [[PTR1]], {{i.*}} 0, {{i.*}} 0
 // arm64-ios:  store i8 0, ptr [[PTR2]], align 8
 // arm64-ios:  [[ARG:%.*]] = load i64, ptr [[COERCED]]
 // arm64-ios:  call void @objc_msgSend(ptr {{.*}}, ptr {{.*}}, i64 [[ARG]])
 //
 // arm64e-ios: define swiftcc void @"$s8abitypes14testBOOLStructyyF"()
 // arm64e-ios:  [[COERCED:%.*]] = alloca i64
-// arm64e-ios:  [[PTR0:%.*]] = getelementptr inbounds %TSo14FiveByteStructV, ptr [[COERCED]], {{i.*}} 0, {{i.*}} 0
-// arm64e-ios:  [[PTR1:%.*]] = getelementptr inbounds %T10ObjectiveC8ObjCBoolV, ptr [[PTR0]], {{i.*}} 0, {{i.*}} 0
-// arm64e-ios:  [[PTR2:%.*]] = getelementptr inbounds %TSb, ptr [[PTR1]], {{i.*}} 0, {{i.*}} 0
+// arm64e-ios:  [[PTR0:%.*]] = getelementptr inbounds nuw %TSo14FiveByteStructV, ptr [[COERCED]], {{i.*}} 0, {{i.*}} 0
+// arm64e-ios:  [[PTR1:%.*]] = getelementptr inbounds nuw %T10ObjectiveC8ObjCBoolV, ptr [[PTR0]], {{i.*}} 0, {{i.*}} 0
+// arm64e-ios:  [[PTR2:%.*]] = getelementptr inbounds nuw %TSb, ptr [[PTR1]], {{i.*}} 0, {{i.*}} 0
 // arm64e-ios:  store i8 0, ptr [[PTR2]], align 8
 // arm64e-ios:  [[ARG:%.*]] = load i64, ptr [[COERCED]]
 // arm64e-ios:  call void @objc_msgSend(ptr {{.*}}, ptr {{.*}}, i64 [[ARG]])
 // arm64-macosx: define swiftcc void @"$s8abitypes14testBOOLStructyyF"()
 // arm64-macosx:  [[COERCED:%.*]] = alloca i64
-// arm64-macosx:  [[PTR0:%.*]] = getelementptr inbounds %TSo14FiveByteStructV, ptr [[COERCED]], {{i.*}} 0, {{i.*}} 0
-// arm64-macosx:  [[PTR1:%.*]] = getelementptr inbounds %T10ObjectiveC8ObjCBoolV, ptr [[PTR0]], {{i.*}} 0, {{i.*}} 0
-// arm64-macosx:  [[PTR2:%.*]] = getelementptr inbounds %TSb, ptr [[PTR1]], {{i.*}} 0, {{i.*}} 0
+// arm64-macosx:  [[PTR0:%.*]] = getelementptr inbounds nuw %TSo14FiveByteStructV, ptr [[COERCED]], {{i.*}} 0, {{i.*}} 0
+// arm64-macosx:  [[PTR1:%.*]] = getelementptr inbounds nuw %T10ObjectiveC8ObjCBoolV, ptr [[PTR0]], {{i.*}} 0, {{i.*}} 0
+// arm64-macosx:  [[PTR2:%.*]] = getelementptr inbounds nuw %TSb, ptr [[PTR1]], {{i.*}} 0, {{i.*}} 0
 // arm64-macosx:  store i8 0, ptr [[PTR2]], align 8
 // arm64-macosx:  [[ARG:%.*]] = load i64, ptr [[COERCED]]
 // arm64-macosx:  call void @objc_msgSend(ptr {{.*}}, ptr {{.*}}, i64 [[ARG]])
 //
 // arm64-watchos: define swiftcc void @"$s8abitypes14testBOOLStructyyF"()
 // arm64-watchos:  [[COERCED:%.*]] = alloca i64
-// arm64-watchos:  [[PTR0:%.*]] = getelementptr inbounds %TSo14FiveByteStructV, ptr [[COERCED]], {{i.*}} 0, {{i.*}} 0
-// arm64-watchos:  [[PTR1:%.*]] = getelementptr inbounds %T10ObjectiveC8ObjCBoolV, ptr [[PTR0]], {{i.*}} 0, {{i.*}} 0
-// arm64-watchos:  [[PTR2:%.*]] = getelementptr inbounds %TSb, ptr [[PTR1]], {{i.*}} 0, {{i.*}} 0
+// arm64-watchos:  [[PTR0:%.*]] = getelementptr inbounds nuw %TSo14FiveByteStructV, ptr [[COERCED]], {{i.*}} 0, {{i.*}} 0
+// arm64-watchos:  [[PTR1:%.*]] = getelementptr inbounds nuw %T10ObjectiveC8ObjCBoolV, ptr [[PTR0]], {{i.*}} 0, {{i.*}} 0
+// arm64-watchos:  [[PTR2:%.*]] = getelementptr inbounds nuw %TSb, ptr [[PTR1]], {{i.*}} 0, {{i.*}} 0
 // arm64-watchos:  store i8 0, ptr [[PTR2]], align 8
 // arm64-watchos:  [[ARG:%.*]] = load i64, ptr [[COERCED]]
 // arm64-watchos:  call void @objc_msgSend(ptr {{.*}}, ptr {{.*}}, i64 [[ARG]])

test/IRGen/access_markers.sil

@@ -26,14 +26,14 @@ bb0(%0 : @guaranteed $A):
   // CHECK:      [[SCRATCH1:%.*]] = alloca [[BUFFER:.* x i8.]], align
   // CHECK:      [[SCRATCH2:%.*]] = alloca [[BUFFER]], align
 
-  // CHECK:      [[PROPERTY:%.*]] = getelementptr inbounds [[C]], ptr %0, i32 0, i32 1
+  // CHECK:      [[PROPERTY:%.*]] = getelementptr inbounds nuw [[C]], ptr %0, i32 0, i32 1
   %2 = ref_element_addr %0 : $A, #A.property
 
   // CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 {{.*}}, ptr [[SCRATCH1]])
   // CHECK-NEXT: call void @swift_beginAccess(ptr [[PROPERTY]], ptr [[SCRATCH1]], [[SIZE:i(32|64)]] 33, ptr null)
   %3 = begin_access [modify] [dynamic] %2 : $*Int64
 
-  // CHECK-NEXT: getelementptr inbounds %Ts5Int64V, ptr [[PROPERTY]], i32 0, i32 0
+  // CHECK-NEXT: getelementptr inbounds nuw %Ts5Int64V, ptr [[PROPERTY]], i32 0, i32 0
   // CHECK-NEXT: load i64, ptr
   %4 = load [trivial] %3 : $*Int64
 
@@ -45,7 +45,7 @@ bb0(%0 : @guaranteed $A):
   // CHECK-NEXT: call void @swift_beginAccess(ptr [[PROPERTY]], ptr [[SCRATCH2]], [[SIZE]] 32, ptr null)
   %6 = begin_access [read] [dynamic] %2 : $*Int64
 
-  // CHECK-NEXT: getelementptr inbounds %Ts5Int64V, ptr [[PROPERTY]], i32 0, i32 0
+  // CHECK-NEXT: getelementptr inbounds nuw %Ts5Int64V, ptr [[PROPERTY]], i32 0, i32 0
   // CHECK-NEXT: load i64, ptr
   %7 = load [trivial] %6 : $*Int64
 
@@ -65,7 +65,7 @@ bb0(%0 : $A):
   // CHECK:      [[SCRATCH:%.*]] = alloca [[BUFFER:.* x i8.]], align
   %1 = alloc_stack $Builtin.UnsafeValueBuffer
 
-  // CHECK:      [[PROPERTY:%.*]] = getelementptr inbounds [[C]], ptr %0, i32 0, i32 1
+  // CHECK:      [[PROPERTY:%.*]] = getelementptr inbounds nuw [[C]], ptr %0, i32 0, i32 1
   %2 = ref_element_addr %0 : $A, #A.property
 
   // CHECK-NEXT: call void @swift_beginAccess(ptr [[PROPERTY]], ptr [[SCRATCH]], [[SIZE]] 33, ptr null)
@@ -131,7 +131,7 @@ bb0(%0 : $A):
 sil @testNontracking : $(@guaranteed A) -> () {
 bb0(%0 : $A):
   %1 = alloc_stack $Int64
-  // CHECK:      [[PROPERTY:%.*]] = getelementptr inbounds [[C]], ptr %0, i32 0, i32 1
+  // CHECK:      [[PROPERTY:%.*]] = getelementptr inbounds nuw [[C]], ptr %0, i32 0, i32 1
   %2 = ref_element_addr %0 : $A, #A.property
   // CHECK: call void @swift_beginAccess(ptr %{{.*}}, ptr %{{.*}}, [[SIZE]] 0, ptr null)
   %3 = begin_access [read] [dynamic] [no_nested_conflict] %2 : $*Int64

test/IRGen/access_markers_pc.sil

@@ -21,7 +21,7 @@ sil_vtable A {}
 // CHECK-LABEL: define {{.*}}void @testUnpairedExternal(
 sil @testUnpairedExternal : $(@guaranteed A, @inout Builtin.UnsafeValueBuffer) -> () {
 bb0(%0 : $A, %1 : $*Builtin.UnsafeValueBuffer):
-  // CHECK:      [[PROPERTY:%.*]] = getelementptr inbounds [[C]], ptr %0, i32 0, i32 1
+  // CHECK:      [[PROPERTY:%.*]] = getelementptr inbounds nuw [[C]], ptr %0, i32 0, i32 1
   %2 = ref_element_addr %0 : $A, #A.property
 
   // CHECK-NEXT: [[PC:%.*]] = call ptr @llvm.returnaddress(i32 0)

test/IRGen/actor_class.swift

@@ -41,8 +41,8 @@ public actor MyClass {
 }
 
 // CHECK-LABEL: define {{.*}}@"$s11actor_class7MyClassC1xSivg"
-// CHECK: [[T0:%.*]] = getelementptr inbounds %T11actor_class7MyClassC, ptr %0, i32 0, i32 2
-// CHECK: [[T1:%.*]] = getelementptr inbounds %TSi, ptr [[T0]], i32 0, i32 0
+// CHECK: [[T0:%.*]] = getelementptr inbounds nuw %T11actor_class7MyClassC, ptr %0, i32 0, i32 2
+// CHECK: [[T1:%.*]] = getelementptr inbounds nuw %TSi, ptr [[T0]], i32 0, i32 0
 // CHECK: load [[INT]], ptr [[T1]], align
 
 // CHECK-LABEL: define {{.*}}swiftcc ptr @"$s11actor_class7MyClassCACycfc"