| 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* align 1 bitcast (%struct.X* getelementptr inbounds (%struct.Y, %struct.Y* @g, i32 0, i32 1) to i8*), i64 24, 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* align 1 bitcast (%struct.X* getelementptr inbounds (%struct.Y, %struct.Y* @g, i32 0, i32 1) to i8*), i64 24, 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* align 1 bitcast (%struct.X* getelementptr inbounds (%struct.Y, %struct.Y* @g, i32 0, i32 1) to i8*), i8* {{.*}}, i64 24, 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* align 1 bitcast (%struct.X* getelementptr inbounds (%struct.Y, %struct.Y* @g, i32 0, i32 1) to i8*), i64 24, 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* align 1 bitcast (%struct.X* getelementptr inbounds (%struct.Y, %struct.Y* @g, i32 0, i32 1) to i8*), i8* align 4 %{{.*}}, i64 24, 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 | |
|---|