1 | // RUN: %clang_cc1 -triple i386-apple-darwin10 -fobjc-runtime=macosx-fragile-10.5 -emit-llvm -o %t1 %s |
2 | // RUN: FileCheck -check-prefix=CHECK-I386 < %t1 %s |
3 | |
4 | // RUN: %clang_cc1 -triple armv6-apple-darwin10 -fobjc-runtime=macosx-fragile-10.5 -target-abi apcs-gnu -emit-llvm -o %t2 %s |
5 | // RUN: FileCheck -check-prefix=CHECK-ARM < %t2 %s |
6 | |
7 | @interface I0 { |
8 | @public |
9 | unsigned x:15; |
10 | unsigned y: 1; |
11 | } |
12 | @end |
13 | |
14 | // Check that we don't try to use an i32 load here, which would reach beyond the |
15 | // end of the structure. |
16 | // |
17 | // CHECK-I386-LABEL: define i32 @f0( |
18 | // CHECK-I386: [[t0_0:%.*]] = load i8, i8* {{.*}}, align 1 |
19 | // CHECK-I386: lshr i8 [[t0_0]], 7 |
20 | // CHECK-I386: } |
21 | int f0(I0 *a) { |
22 | return a->y; |
23 | } |
24 | |
25 | // Check that we can handled straddled loads. |
26 | // |
27 | // CHECK-ARM-LABEL: define i32 @f1( |
28 | // CHECK-ARM: [[t1_ptr:%.*]] = getelementptr |
29 | // CHECK-ARM: [[t1_base:%.*]] = bitcast i8* [[t1_ptr]] to i40* |
30 | // CHECK-ARM: [[t1_0:%.*]] = load i40, i40* [[t1_base]], align 1 |
31 | // CHECK-ARM: [[t1_1:%.*]] = lshr i40 [[t1_0]], 1 |
32 | // CHECK-ARM: [[t1_2:%.*]] = and i40 [[t1_1]], |
33 | // CHECK-ARM: trunc i40 [[t1_2]] to i32 |
34 | // CHECK-ARM: } |
35 | @interface I1 { |
36 | @public |
37 | unsigned x: 1; |
38 | unsigned y:32; |
39 | } |
40 | @end |
41 | |
42 | int f1(I1 *a) { return a->y; } |
43 | |