1 // RUN: %clang_cc1 %s -triple x86_64-apple-macosx10.7.2 -emit-llvm -o - | FileCheck %s 2 3 struct X { int x[6]; }; 4 struct Y { char x[13]; struct X y; } __attribute((packed)); 5 struct Y g; 6 void f(struct X); 7 struct X foo(void); 8 9 // <rdar://problem/10463337> 10 struct X test1() { 11 // CHECK: @test1 12 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* bitcast (%struct.X* getelementptr inbounds (%struct.Y, %struct.Y* @g, i32 0, i32 1) to i8*), i64 24, i32 1, i1 false) 13 return g.y; 14 } 15 struct X test2() { 16 // CHECK: @test2 17 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* bitcast (%struct.X* getelementptr inbounds (%struct.Y, %struct.Y* @g, i32 0, i32 1) to i8*), i64 24, i32 1, i1 false) 18 struct X a = g.y; 19 return a; 20 } 21 22 void test3(struct X a) { 23 // CHECK: @test3 24 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* bitcast (%struct.X* getelementptr inbounds (%struct.Y, %struct.Y* @g, i32 0, i32 1) to i8*), i8* {{.*}}, i64 24, i32 1, i1 false) 25 g.y = a; 26 } 27 28 // <rdar://problem/10530444> 29 void test4() { 30 // CHECK: @test4 31 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* bitcast (%struct.X* getelementptr inbounds (%struct.Y, %struct.Y* @g, i32 0, i32 1) to i8*), i64 24, i32 1, i1 false) 32 f(g.y); 33 } 34 35 // PR12395 36 int test5() { 37 // CHECK: @test5 38 // CHECK: load i32, i32* getelementptr inbounds (%struct.Y, %struct.Y* @g, i32 0, i32 1, i32 0, i64 0), align 1 39 return g.y.x[0]; 40 } 41 42 // <rdar://problem/11220251> 43 void test6() { 44 // CHECK: @test6 45 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* bitcast (%struct.X* getelementptr inbounds (%struct.Y, %struct.Y* @g, i32 0, i32 1) to i8*), i8* %{{.*}}, i64 24, i32 1, i1 false) 46 g.y = foo(); 47 } 48 49 50 struct XBitfield { 51 unsigned b1 : 10; 52 unsigned b2 : 12; 53 unsigned b3 : 10; 54 }; 55 struct YBitfield { 56 char x; 57 struct XBitfield y; 58 } __attribute((packed)); 59 struct YBitfield gbitfield; 60 61 unsigned test7() { 62 // CHECK: @test7 63 // CHECK: load i32, i32* getelementptr inbounds (%struct.YBitfield, %struct.YBitfield* @gbitfield, i32 0, i32 1, i32 0), align 1 64 return gbitfield.y.b2; 65 } 66 67 void test8(unsigned x) { 68 // CHECK: @test8 69 // CHECK: load i32, i32* getelementptr inbounds (%struct.YBitfield, %struct.YBitfield* @gbitfield, i32 0, i32 1, i32 0), align 1 70 // CHECK: store i32 {{.*}}, i32* getelementptr inbounds (%struct.YBitfield, %struct.YBitfield* @gbitfield, i32 0, i32 1, i32 0), align 1 71 gbitfield.y.b2 = x; 72 } 73 74 struct TBitfield 75 { 76 long a; 77 char b; 78 unsigned c:15; 79 }; 80 struct TBitfield tbitfield; 81 82 unsigned test9() { 83 // CHECK: @test9 84 // CHECK: load i16, i16* getelementptr inbounds (%struct.TBitfield, %struct.TBitfield* @tbitfield, i32 0, i32 2), align 1 85 return tbitfield.c; 86 } 87 88 void test10(unsigned x) { 89 // CHECK: @test10 90 // CHECK: load i16, i16* getelementptr inbounds (%struct.TBitfield, %struct.TBitfield* @tbitfield, i32 0, i32 2), align 1 91 // CHECK: store i16 {{.*}}, i16* getelementptr inbounds (%struct.TBitfield, %struct.TBitfield* @tbitfield, i32 0, i32 2), align 1 92 tbitfield.c = x; 93 } 94 95