Skip to content

Commit afe8b93

Browse files
serge-sans-pailleserge-sans-paille
committed
[clang] Avoid memcopy for small structure with padding under -ftrivial-auto-var-init (#71677)
Recommit of 0d2860b with extra test cases fixed.
1 parent 12563ea commit afe8b93

File tree

6 files changed

+55
-52
lines changed

6 files changed

+55
-52
lines changed

‎clang/lib/CodeGen/CGDecl.cpp‎

Lines changed: 15 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1244,29 +1244,24 @@ static void emitStoresForConstant(CodeGenModule &CGM, const VarDecl &D,
12441244
// If the initializer is small, use a handful of stores.
12451245
if (shouldSplitConstantStore(CGM, ConstantSize)) {
12461246
if (auto *STy = dyn_cast<llvm::StructType>(Ty)) {
1247-
// FIXME: handle the case when STy != Loc.getElementType().
1248-
if (STy == Loc.getElementType()) {
1249-
for (unsigned i = 0; i != constant->getNumOperands(); i++) {
1250-
Address EltPtr = Builder.CreateStructGEP(Loc, i);
1251-
emitStoresForConstant(
1252-
CGM, D, EltPtr, isVolatile, Builder,
1253-
cast<llvm::Constant>(Builder.CreateExtractValue(constant, i)),
1254-
IsAutoInit);
1255-
}
1256-
return;
1247+
const llvm::StructLayout *Layout =
1248+
CGM.getDataLayout().getStructLayout(STy);
1249+
for (unsigned i = 0; i != constant->getNumOperands(); i++) {
1250+
CharUnits CurOff = CharUnits::fromQuantity(Layout->getElementOffset(i));
1251+
Address EltPtr = Builder.CreateConstInBoundsByteGEP(
1252+
Loc.withElementType(CGM.Int8Ty), CurOff);
1253+
emitStoresForConstant(CGM, D, EltPtr, isVolatile, Builder,
1254+
constant->getAggregateElement(i), IsAutoInit);
12571255
}
1256+
return;
12581257
} else if (auto *ATy = dyn_cast<llvm::ArrayType>(Ty)) {
1259-
// FIXME: handle the case when ATy != Loc.getElementType().
1260-
if (ATy == Loc.getElementType()) {
1261-
for (unsigned i = 0; i != ATy->getNumElements(); i++) {
1262-
Address EltPtr = Builder.CreateConstArrayGEP(Loc, i);
1263-
emitStoresForConstant(
1264-
CGM, D, EltPtr, isVolatile, Builder,
1265-
cast<llvm::Constant>(Builder.CreateExtractValue(constant, i)),
1266-
IsAutoInit);
1267-
}
1268-
return;
1258+
for (unsigned i = 0; i != ATy->getNumElements(); i++) {
1259+
Address EltPtr = Builder.CreateConstGEP(
1260+
Loc.withElementType(ATy->getElementType()), i);
1261+
emitStoresForConstant(CGM, D, EltPtr, isVolatile, Builder,
1262+
constant->getAggregateElement(i), IsAutoInit);
12691263
}
1264+
return;
12701265
}
12711266
}
12721267

‎clang/test/CodeGen/aapcs-align.cpp‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -134,8 +134,8 @@ void g6() {
134134
f6m(1, 2, 3, 4, 5, s);
135135
}
136136
// CHECK: define{{.*}} void @g6
137-
// CHECK: call void @f6(i32 noundef 1, [4 x i32] [i32 6, i32 7, i32 0, i32 undef])
138-
// CHECK: call void @f6m(i32 noundef 1, i32 noundef 2, i32 noundef 3, i32 noundef 4, i32 noundef 5, [4 x i32] [i32 6, i32 7, i32 0, i32 undef])
137+
// CHECK: call void @f6(i32 noundef 1, [4 x i32] [i32 6, i32 7, i32 0, i32 0])
138+
// CHECK: call void @f6m(i32 noundef 1, i32 noundef 2, i32 noundef 3, i32 noundef 4, i32 noundef 5, [4 x i32] [i32 6, i32 7, i32 0, i32 0])
139139
// CHECK: declare void @f6(i32 noundef, [4 x i32])
140140
// CHECK: declare void @f6m(i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, [4 x i32])
141141
}

‎clang/test/CodeGen/aapcs64-align.cpp‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -75,8 +75,8 @@ void g4() {
7575
f4m(1, 2, 3, 4, 5, s);
7676
}
7777
// CHECK: define{{.*}} void @g4()
78-
// CHECK: call void @f4(i32 noundef 1, [2 x i64] [i64 30064771078, i64 0])
79-
// CHECK: void @f4m(i32 noundef 1, i32 noundef 2, i32 noundef 3, i32 noundef 4, i32 noundef 5, [2 x i64] [i64 30064771078, i64 0])
78+
// CHECK: call void @f4(i32 noundef 1, [2 x i64] %{{.*}})
79+
// CHECK: void @f4m(i32 noundef 1, i32 noundef 2, i32 noundef 3, i32 noundef 4, i32 noundef 5, [2 x i64] %{{.*}})
8080
// CHECK: declare void @f4(i32 noundef, [2 x i64])
8181
// CHECK: declare void @f4m(i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, [2 x i64])
8282

@@ -95,8 +95,8 @@ void f5m(int, int, int, int, int, P16);
9595
f5m(1, 2, 3, 4, 5, s);
9696
}
9797
// CHECK: define{{.*}} void @g5()
98-
// CHECK: call void @f5(i32 noundef 1, [2 x i64] [i64 30064771078, i64 0])
99-
// CHECK: void @f5m(i32 noundef 1, i32 noundef 2, i32 noundef 3, i32 noundef 4, i32 noundef 5, [2 x i64] [i64 30064771078, i64 0])
98+
// CHECK: call void @f5(i32 noundef 1, [2 x i64] %{{.*}})
99+
// CHECK: void @f5m(i32 noundef 1, i32 noundef 2, i32 noundef 3, i32 noundef 4, i32 noundef 5, [2 x i64] %{{.*}})
100100
// CHECK: declare void @f5(i32 noundef, [2 x i64])
101101
// CHECK: declare void @f5m(i32 noundef, i32 noundef, i32 noundef, i32 noundef, i32 noundef, [2 x i64])
102102

‎clang/test/CodeGenCXX/auto-var-init.cpp‎

Lines changed: 23 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -89,22 +89,14 @@ struct padded { char c; int i; };
8989
// PATTERN-O1-NOT: @__const.test_paddednullinit_custom.custom
9090
struct paddednullinit { char c = 0; int i = 0; };
9191
// PATTERN-O0: @__const.test_paddedpacked_uninit.uninit = private unnamed_addr constant %struct.paddedpacked <{ i8 [[I8]], i32 [[I32]] }>, align 1
92-
// PATTERN: @__const.test_paddedpacked_custom.custom = private unnamed_addr constant %struct.paddedpacked <{ i8 42, i32 13371337 }>, align 1
93-
// ZERO: @__const.test_paddedpacked_custom.custom = private unnamed_addr constant %struct.paddedpacked <{ i8 42, i32 13371337 }>, align 1
9492
struct paddedpacked { char c; int i; } __attribute__((packed));
9593
// PATTERN-O0: @__const.test_paddedpackedarray_uninit.uninit = private unnamed_addr constant %struct.paddedpackedarray { [2 x %struct.paddedpacked] [%struct.paddedpacked <{ i8 [[I8]], i32 [[I32]] }>, %struct.paddedpacked <{ i8 [[I8]], i32 [[I32]] }>] }, align 1
96-
// PATTERN: @__const.test_paddedpackedarray_custom.custom = private unnamed_addr constant %struct.paddedpackedarray { [2 x %struct.paddedpacked] [%struct.paddedpacked <{ i8 42, i32 13371337 }>, %struct.paddedpacked <{ i8 43, i32 13371338 }>] }, align 1
97-
// ZERO: @__const.test_paddedpackedarray_custom.custom = private unnamed_addr constant %struct.paddedpackedarray { [2 x %struct.paddedpacked] [%struct.paddedpacked <{ i8 42, i32 13371337 }>, %struct.paddedpacked <{ i8 43, i32 13371338 }>] }, align 1
9894
struct paddedpackedarray { struct paddedpacked p[2]; };
9995
// PATTERN-O0: @__const.test_unpackedinpacked_uninit.uninit = private unnamed_addr constant <{ { i8, [3 x i8], i32 }, i8 }> <{ { i8, [3 x i8], i32 } { i8 [[I8]], [3 x i8] c"\[[IC]]\[[IC]]\[[IC]]", i32 [[I32]] }, i8 [[I8]] }>, align 1
10096
struct unpackedinpacked { padded a; char b; } __attribute__((packed));
10197
// PATTERN-O0: @__const.test_paddednested_uninit.uninit = private unnamed_addr constant { { i8, [3 x i8], i32 }, { i8, [3 x i8], i32 } } { { i8, [3 x i8], i32 } { i8 [[I8]], [3 x i8] c"\[[IC]]\[[IC]]\[[IC]]", i32 [[I32]] }, { i8, [3 x i8], i32 } { i8 [[I8]], [3 x i8] c"\[[IC]]\[[IC]]\[[IC]]", i32 [[I32]] } }, align 4
102-
// PATTERN: @__const.test_paddednested_custom.custom = private unnamed_addr constant { { i8, [3 x i8], i32 }, { i8, [3 x i8], i32 } } { { i8, [3 x i8], i32 } { i8 42, [3 x i8] zeroinitializer, i32 13371337 }, { i8, [3 x i8], i32 } { i8 43, [3 x i8] zeroinitializer, i32 13371338 } }, align 4
103-
// ZERO: @__const.test_paddednested_custom.custom = private unnamed_addr constant { { i8, [3 x i8], i32 }, { i8, [3 x i8], i32 } } { { i8, [3 x i8], i32 } { i8 42, [3 x i8] zeroinitializer, i32 13371337 }, { i8, [3 x i8], i32 } { i8 43, [3 x i8] zeroinitializer, i32 13371338 } }, align 4
10498
struct paddednested { struct padded p1, p2; };
10599
// PATTERN-O0: @__const.test_paddedpackednested_uninit.uninit = private unnamed_addr constant %struct.paddedpackednested { %struct.paddedpacked <{ i8 [[I8]], i32 [[I32]] }>, %struct.paddedpacked <{ i8 [[I8]], i32 [[I32]] }> }, align 1
106-
// PATTERN: @__const.test_paddedpackednested_custom.custom = private unnamed_addr constant %struct.paddedpackednested { %struct.paddedpacked <{ i8 42, i32 13371337 }>, %struct.paddedpacked <{ i8 43, i32 13371338 }> }, align 1
107-
// ZERO: @__const.test_paddedpackednested_custom.custom = private unnamed_addr constant %struct.paddedpackednested { %struct.paddedpacked <{ i8 42, i32 13371337 }>, %struct.paddedpacked <{ i8 43, i32 13371338 }> }, align 1
108100
struct paddedpackednested { struct paddedpacked p1, p2; };
109101
// PATTERN-O0: @__const.test_bitfield_uninit.uninit = private unnamed_addr constant %struct.bitfield { i8 [[I8]], [3 x i8] c"\[[IC]]\[[IC]]\[[IC]]" }, align 4
110102
// PATTERN-O0: @__const.test_bitfield_custom.custom = private unnamed_addr constant %struct.bitfield { i8 20, [3 x i8] c"\[[IC]]\[[IC]]\[[IC]]" }, align 4
@@ -142,12 +134,8 @@ struct arraytail { int i; int arr[]; };
142134
// PATTERN-O1-NOT: @__const.test_bool4_custom.custom
143135
// ZERO-O1-NOT: @__const.test_bool4_custom.custom
144136

145-
// PATTERN: @__const.test_intptr4_custom.custom = private unnamed_addr constant [4 x ptr] [ptr inttoptr ([[IPTRT]] 572662306 to ptr), ptr inttoptr ([[IPTRT]] 572662306 to ptr), ptr inttoptr ([[IPTRT]] 572662306 to ptr), ptr inttoptr ([[IPTRT]] 572662306 to ptr)], align
146-
// ZERO: @__const.test_intptr4_custom.custom = private unnamed_addr constant [4 x ptr] [ptr inttoptr (i64 572662306 to ptr), ptr inttoptr (i64 572662306 to ptr), ptr inttoptr (i64 572662306 to ptr), ptr inttoptr (i64 572662306 to ptr)], align 16
147137
// PATTERN-O0: @__const.test_tailpad4_uninit.uninit = private unnamed_addr constant [4 x { i16, i8, [1 x i8] }] [{ i16, i8, [1 x i8] } { i16 [[I16]], i8 [[I8]], [1 x i8] c"\[[IC]]" }, { i16, i8, [1 x i8] } { i16 [[I16]], i8 [[I8]], [1 x i8] c"\[[IC]]" }, { i16, i8, [1 x i8] } { i16 [[I16]], i8 [[I8]], [1 x i8] c"\[[IC]]" }, { i16, i8, [1 x i8] } { i16 [[I16]], i8 [[I8]], [1 x i8] c"\[[IC]]" }], align
148138
// PATTERN-O1-NOT: @__const.test_tailpad4_uninit.uninit
149-
// PATTERN: @__const.test_tailpad4_custom.custom = private unnamed_addr constant [4 x { i16, i8, [1 x i8] }] [{ i16, i8, [1 x i8] } { i16 257, i8 1, [1 x i8] zeroinitializer }, { i16, i8, [1 x i8] } { i16 257, i8 1, [1 x i8] zeroinitializer }, { i16, i8, [1 x i8] } { i16 257, i8 1, [1 x i8] zeroinitializer }, { i16, i8, [1 x i8] } { i16 257, i8 1, [1 x i8] zeroinitializer }], align
150-
// ZERO: @__const.test_tailpad4_custom.custom = private unnamed_addr constant [4 x { i16, i8, [1 x i8] }] [{ i16, i8, [1 x i8] } { i16 257, i8 1, [1 x i8] zeroinitializer }, { i16, i8, [1 x i8] } { i16 257, i8 1, [1 x i8] zeroinitializer }, { i16, i8, [1 x i8] } { i16 257, i8 1, [1 x i8] zeroinitializer }, { i16, i8, [1 x i8] } { i16 257, i8 1, [1 x i8] zeroinitializer }], align 16
151139
struct tailpad { short s; char c; };
152140
// PATTERN-O0: @__const.test_atomicnotlockfree_uninit.uninit = private unnamed_addr constant %struct.notlockfree { [4 x i64] {{\[}}i64 [[I64]], i64 [[I64]], i64 [[I64]], i64 [[I64]]] }, align
153141
// PATTERN-O1-NOT: @__const.test_atomicnotlockfree_uninit.uninit
@@ -714,7 +702,8 @@ TEST_UNINIT(padded, padded);
714702
// CHECK-NEXT: call void @{{.*}}used{{.*}}%uninit)
715703
// PATTERN-LABEL: @test_padded_uninit()
716704
// PATTERN-O0: call void @llvm.memcpy{{.*}} @__const.test_padded_uninit.uninit{{.+}}), !annotation [[AUTO_INIT]]
717-
// PATTERN-O1: store i64 [[I64]], ptr %uninit, align 8, !annotation [[AUTO_INIT]]
705+
// PATTERN-O1: store i64 [[I64]], ptr %uninit, align 8
706+
// PATTERN-O1-NOT: !annotation
718707
// ZERO-LABEL: @test_padded_uninit()
719708
// ZERO-O0: call void @llvm.memset{{.*}}, i8 0,{{.+}}), !annotation [[AUTO_INIT]]
720709
// ZERO-O1: store i64 0, ptr %uninit, align 8, !annotation [[AUTO_INIT]]
@@ -740,7 +729,8 @@ TEST_UNINIT(paddednullinit, paddednullinit);
740729
// CHECK-NEXT: call void @{{.*}}used{{.*}}%uninit)
741730
// PATTERN-LABEL: @test_paddednullinit_uninit()
742731
// PATTERN-O0: call void @llvm.memcpy{{.*}} @__const.test_paddednullinit_uninit.uninit{{.+}}), !annotation [[AUTO_INIT]]
743-
// PATTERN-O1: store i64 [[I64]], ptr %uninit, align 8, !annotation [[AUTO_INIT]]
732+
// PATTERN-O1: store i64 [[I64]], ptr %uninit, align 8
733+
// PATTERN-O1-NOT: !annotation
744734
// ZERO-LABEL: @test_paddednullinit_uninit()
745735
// ZERO-O0: call void @llvm.memset{{.*}}, i8 0, {{.*}}, !annotation [[AUTO_INIT]]
746736
// ZERO-O1: store i64 0, ptr %uninit, align 8
@@ -778,9 +768,8 @@ TEST_UNINIT(paddedpacked, paddedpacked);
778768
// PATTERN-LABEL: @test_paddedpacked_uninit()
779769
// PATTERN-O0: call void @llvm.memcpy{{.*}} @__const.test_paddedpacked_uninit.uninit{{.+}}), !annotation [[AUTO_INIT]]
780770
// PATTERN-O1: store i8 [[I8]], ptr %uninit, align {{.+}}, !annotation [[AUTO_INIT]]
781-
// PATTERN-O1: %[[I:[^ ]*]] = getelementptr inbounds {{.*}}%uninit, i64 0, i32 1
771+
// PATTERN-O1: %[[I:[^ ]*]] = getelementptr inbounds {{.*}}%uninit, i64 1
782772
// PATTERN-O1: store i32 [[I32]], ptr %[[I]], align {{.+}}, !annotation [[AUTO_INIT]]
783-
784773
// ZERO-LABEL: @test_paddedpacked_uninit()
785774
// ZERO: call void @llvm.memset{{.*}}, i8 0,{{.+}}), !annotation [[AUTO_INIT]]
786775

@@ -1192,7 +1181,8 @@ TEST_UNINIT(atomicpadded, _Atomic(padded));
11921181
// CHECK-NEXT: call void @{{.*}}used{{.*}}%uninit)
11931182
// PATTERN-LABEL: @test_atomicpadded_uninit()
11941183
// PATTERN-O0: call void @llvm.memcpy{{.*}} @__const.test_atomicpadded_uninit.uninit{{.+}}), !annotation [[AUTO_INIT]]
1195-
// PATTERN-O1: store i64 [[IPTR]], ptr %uninit, align 8, !annotation [[AUTO_INIT]]
1184+
// PATTERN-O1: store i64 [[IPTR]], ptr %uninit, align 8
1185+
// PATTERN-O1-NOT: !annotation
11961186
// ZERO-LABEL: @test_atomicpadded_uninit()
11971187
// ZERO-O0: call void @llvm.memset{{.*}}, i8 0, {{.+}}), !annotation [[AUTO_INIT]]
11981188
// ZERO-O1: store i64 0, ptr %uninit, align 8, !annotation [[AUTO_INIT]]
@@ -1214,8 +1204,7 @@ TEST_UNINIT(complexfloat, _Complex float);
12141204
// PATTERN-LABEL: @test_complexfloat_uninit()
12151205
// PATTERN-O0: call void @llvm.memcpy{{.*}} @__const.test_complexfloat_uninit.uninit{{.+}}), !annotation [[AUTO_INIT]]
12161206
// PATTERN-O1: store float 0xFFFFFFFFE0000000, ptr %uninit, align {{.+}}, !annotation [[AUTO_INIT]]
1217-
1218-
// PATTERN-O1: %[[F2:[^ ]*]] = getelementptr inbounds {{.*}}%uninit, i64 0, i32 1
1207+
// PATTERN-O1: %[[F2:[^ ]*]] = getelementptr inbounds {{.*}}%uninit, i64 4
12191208
// PATTERN-O1: store float 0xFFFFFFFFE0000000, ptr %[[F2]], align {{.+}}, !annotation [[AUTO_INIT]]
12201209

12211210
// ZERO-LABEL: @test_complexfloat_uninit()
@@ -1314,7 +1303,9 @@ TEST_CUSTOM(semivolatile, semivolatile, { 0x44444444, 0x44444444 });
13141303
// CHECK-O0: call void @llvm.memcpy
13151304
// CHECK-NOT: !annotation
13161305
// CHECK-O0: call void @{{.*}}used{{.*}}%custom)
1317-
// CHECK-O1: store i64 4919131752989213764, ptr %custom, align 8
1306+
// CHECK-O1: store i32 1145324612, ptr %custom, align 4
1307+
// CHECK-O1-NEXT: %[[I:[^ ]*]] = getelementptr inbounds i8, ptr %custom, i64 4
1308+
// CHECK-O1-NEXT: store i32 1145324612, ptr %[[I]], align 4
13181309
// CHECK-NOT: !annotation
13191310

13201311
TEST_UNINIT(semivolatileinit, semivolatileinit);
@@ -1427,7 +1418,7 @@ TEST_CUSTOM(matching, matching, { .f = 0xf00f });
14271418
// CHECK-O0: call void @llvm.memcpy
14281419
// CHECK-NOT: !annotation
14291420
// CHECK-O0: call void @{{.*}}used{{.*}}%custom)
1430-
// CHECK-O1: store i32 1198526208, ptr {{.*}}, align 4
1421+
// CHECK-O1: store float 6.145500e+04, ptr {{.*}}, align 4
14311422
// CHECK-NOT: !annotation
14321423

14331424
TEST_UNINIT(matchingreverse, matchingreverse);
@@ -1506,8 +1497,16 @@ TEST_CUSTOM(unmatchedreverse, unmatchedreverse, { .c = 42 });
15061497
// CHECK-O0: call void @llvm.memcpy
15071498
// CHECK-NOT: !annotation
15081499
// CHECK-O0: call void @{{.*}}used{{.*}}%custom)
1509-
// PATTERN-O1: store i32 -1431655894, ptr {{.*}}, align 4
1510-
// ZERO-O1: store i32 42, ptr {{.*}}, align 4
1500+
// PATTERN-O1: store i8 42, ptr {{.*}}, align 4
1501+
// PATTERN-O1-NEXT: %[[I:[^ ]*]] = getelementptr inbounds i8, ptr %custom, i64 1
1502+
// PATTERN-O1-NEXT: store i8 -86, ptr %[[I]], align {{.*}}
1503+
// PATTERN-O1-NEXT: %[[I:[^ ]*]] = getelementptr inbounds i8, ptr %custom, i64 2
1504+
// PATTERN-O1-NEXT: store i8 -86, ptr %[[I]], align {{.*}}
1505+
// PATTERN-O1-NEXT: %[[I:[^ ]*]] = getelementptr inbounds i8, ptr %custom, i64 3
1506+
// PATTERN-O1-NEXT: store i8 -86, ptr %[[I]], align {{.*}}
1507+
// ZERO-O1: store i8 42, ptr {{.*}}, align 4
1508+
// ZERO-O1-NEXT: %[[I:[^ ]*]] = getelementptr inbounds i8, ptr %custom, i64 1
1509+
// ZERO-O1-NEXT: call void @llvm.memset.{{.*}}({{.*}}, i8 0, i64 3, {{.*}})
15111510

15121511
TEST_UNINIT(unmatchedfp, unmatchedfp);
15131512
// CHECK-LABEL: @test_unmatchedfp_uninit()
@@ -1532,7 +1531,7 @@ TEST_CUSTOM(unmatchedfp, unmatchedfp, { .d = 3.1415926535897932384626433 });
15321531
// CHECK-O0: call void @llvm.memcpy
15331532
// CHECK-NOT: !annotation
15341533
// CHECK-O0: call void @{{.*}}used{{.*}}%custom)
1535-
// CHECK-O1: store i64 4614256656552045848, ptr %custom, align 8
1534+
// CHECK-O1: store double 0x400921FB54442D18, ptr %custom, align 8
15361535
// CHECK-NOT: !annotation
15371536

15381537
TEST_UNINIT(emptyenum, emptyenum);

‎clang/test/CodeGenOpenCL/amdgpu-printf.cl‎

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,14 @@ __kernel void test_printf_int(int i) {
3030
// CHECK-NEXT: [[S:%.*]] = alloca [4 x i8], align 1, addrspace(5)
3131
// CHECK-NEXT: store i32 [[I:%.*]], ptr addrspace(5) [[I_ADDR]], align 4, !tbaa [[TBAA8]]
3232
// CHECK-NEXT: call void @llvm.lifetime.start.p5(i64 4, ptr addrspace(5) [[S]]) #[[ATTR5:[0-9]+]]
33-
// CHECK-NEXT: call void @llvm.memcpy.p5.p4.i64(ptr addrspace(5) align 1 [[S]], ptr addrspace(4) align 1 @__const.test_printf_str_int.s, i64 4, i1 false)
33+
// CHECK-NEXT: [[LOC0:%.*]] = getelementptr i8, ptr addrspace(5) [[S]], i64 0
34+
// CHECK-NEXT: store i8 102, ptr addrspace(5) [[LOC0]], align 1
35+
// CHECK-NEXT: [[LOC1:%.*]] = getelementptr i8, ptr addrspace(5) [[S]], i64 1
36+
// CHECK-NEXT: store i8 111, ptr addrspace(5) [[LOC1]], align 1
37+
// CHECK-NEXT: [[LOC2:%.*]] = getelementptr i8, ptr addrspace(5) [[S]], i64 2
38+
// CHECK-NEXT: store i8 111, ptr addrspace(5) [[LOC2]], align 1
39+
// CHECK-NEXT: [[LOC3:%.*]] = getelementptr i8, ptr addrspace(5) [[S]], i64 3
40+
// CHECK-NEXT: store i8 0, ptr addrspace(5) [[LOC3]], align 1
3441
// CHECK-NEXT: [[ARRAYDECAY:%.*]] = getelementptr inbounds [4 x i8], ptr addrspace(5) [[S]], i64 0, i64 0
3542
// CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr addrspace(5) [[I_ADDR]], align 4, !tbaa [[TBAA8]]
3643
// CHECK-NEXT: [[CALL:%.*]] = call i32 (ptr addrspace(4), ...) @printf(ptr addrspace(4) noundef @.str.2, ptr addrspace(5) noundef [[ARRAYDECAY]], i32 noundef [[TMP2]]) #[[ATTR4]]

‎clang/test/OpenMP/bug54082.c‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,9 @@ void foo() {
6969
// CHECK-NEXT: [[X_TRAITS:%.*]] = alloca [1 x %struct.omp_alloctrait_t], align 16
7070
// CHECK-NEXT: [[X_ALLOC:%.*]] = alloca i64, align 8
7171
// CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 16, ptr nonnull [[X_TRAITS]]) #[[ATTR5:[0-9]+]]
72-
// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(16) [[X_TRAITS]], ptr noundef nonnull align 16 dereferenceable(16) @__const.foo.x_traits, i64 16, i1 false)
72+
// CHECK-NEXT: store i32 2, ptr [[X_TRAITS]], align 16
73+
// CHECK-NEXT: [[LOC0:%.*]] = getelementptr inbounds i8, ptr [[X_TRAITS]], i64 8
74+
// CHECK-NEXT: store i64 64, ptr [[LOC0]], align 8
7375
// CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 8, ptr nonnull [[X_ALLOC]]) #[[ATTR5]]
7476
// CHECK-NEXT: [[CALL:%.*]] = call i64 @omp_init_allocator(i64 noundef 0, i32 noundef 1, ptr noundef nonnull [[X_TRAITS]]) #[[ATTR5]]
7577
// CHECK-NEXT: store i64 [[CALL]], ptr [[X_ALLOC]], align 8, !tbaa [[TBAA3:![0-9]+]]

0 commit comments

Comments
 (0)