|  | // RUN: %clang_cc1 %s -triple x86_64-apple-macosx10.7.2 -emit-llvm -o - | FileCheck %s | 
|  |  | 
|  | struct X { int x[6]; }; | 
|  | struct Y { char x[13]; struct X y; } __attribute((packed)); | 
|  | struct Y g; | 
|  | void f(struct X); | 
|  | struct X foo(void); | 
|  |  | 
|  | // <rdar://problem/10463337> | 
|  | struct X test1() { | 
|  | // CHECK: @test1 | 
|  | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* bitcast (%struct.X* getelementptr inbounds (%struct.Y* @g, i32 0, i32 1) to i8*), i64 24, i32 1, i1 false) | 
|  | return g.y; | 
|  | } | 
|  | struct X test2() { | 
|  | // CHECK: @test2 | 
|  | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* bitcast (%struct.X* getelementptr inbounds (%struct.Y* @g, i32 0, i32 1) to i8*), i64 24, i32 1, i1 false) | 
|  | struct X a = g.y; | 
|  | return a; | 
|  | } | 
|  |  | 
|  | void test3(struct X a) { | 
|  | // CHECK: @test3 | 
|  | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* bitcast (%struct.X* getelementptr inbounds (%struct.Y* @g, i32 0, i32 1) to i8*), i8* {{.*}}, i64 24, i32 1, i1 false) | 
|  | g.y = a; | 
|  | } | 
|  |  | 
|  | // <rdar://problem/10530444> | 
|  | void test4() { | 
|  | // CHECK: @test4 | 
|  | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* bitcast (%struct.X* getelementptr inbounds (%struct.Y* @g, i32 0, i32 1) to i8*), i64 24, i32 1, i1 false) | 
|  | f(g.y); | 
|  | } | 
|  |  | 
|  | // PR12395 | 
|  | int test5() { | 
|  | // CHECK: @test5 | 
|  | // CHECK: load i32* getelementptr inbounds (%struct.Y* @g, i32 0, i32 1, i32 0, i64 0), align 1 | 
|  | return g.y.x[0]; | 
|  | } | 
|  |  | 
|  | // <rdar://problem/11220251> | 
|  | void test6() { | 
|  | // CHECK: @test6 | 
|  | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* bitcast (%struct.X* getelementptr inbounds (%struct.Y* @g, i32 0, i32 1) to i8*), i8* %{{.*}}, i64 24, i32 1, i1 false) | 
|  | g.y = foo(); | 
|  | } | 
|  |  | 
|  |  | 
|  | struct XBitfield { | 
|  | unsigned b1 : 10; | 
|  | unsigned b2 : 12; | 
|  | unsigned b3 : 10; | 
|  | }; | 
|  | struct YBitfield { | 
|  | char x; | 
|  | struct XBitfield y; | 
|  | } __attribute((packed)); | 
|  | struct YBitfield gbitfield; | 
|  |  | 
|  | unsigned test7() { | 
|  | // CHECK: @test7 | 
|  | // CHECK: load i32* bitcast (%struct.XBitfield* getelementptr inbounds (%struct.YBitfield* @gbitfield, i32 0, i32 1) to i32*), align 4 | 
|  | return gbitfield.y.b2; | 
|  | } |