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