John McCall | 260611a | 2012-06-20 06:18:46 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple i386-apple-darwin10 -fobjc-runtime=macosx-fragile-10.5 -emit-llvm -o %t1 %s |
Daniel Dunbar | 49a4b28 | 2011-04-28 21:23:38 +0000 | [diff] [blame] | 2 | // RUN: FileCheck -check-prefix=CHECK-I386 < %t1 %s |
| 3 | |
John McCall | 260611a | 2012-06-20 06:18:46 +0000 | [diff] [blame] | 4 | // RUN: %clang_cc1 -triple armv6-apple-darwin10 -fobjc-runtime=macosx-fragile-10.5 -target-abi apcs-gnu -emit-llvm -o %t2 %s |
Daniel Dunbar | 49a4b28 | 2011-04-28 21:23:38 +0000 | [diff] [blame] | 5 | // RUN: FileCheck -check-prefix=CHECK-ARM < %t2 %s |
Daniel Dunbar | c5c446c | 2010-09-02 23:53:31 +0000 | [diff] [blame] | 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: define i32 @f0( |
Chandler Carruth | 72d2dab | 2012-12-06 11:14:44 +0000 | [diff] [blame] | 18 | // CHECK-I386: [[t0_0:%.*]] = load i8* {{.*}}, align 1 |
| 19 | // CHECK-I386: lshr i8 [[t0_0]], 7 |
Daniel Dunbar | c5c446c | 2010-09-02 23:53:31 +0000 | [diff] [blame] | 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: define i32 @f1( |
| 28 | // CHECK-ARM: [[t1_ptr:%.*]] = getelementptr |
Chandler Carruth | 72d2dab | 2012-12-06 11:14:44 +0000 | [diff] [blame] | 29 | // CHECK-ARM: [[t1_base:%.*]] = bitcast i8* [[t1_ptr]] to i40* |
| 30 | // CHECK-ARM: [[t1_0:%.*]] = load 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 |
Daniel Dunbar | c5c446c | 2010-09-02 23:53:31 +0000 | [diff] [blame] | 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; } |