test/CodeGenObjC/bitfield-access.m

   1 // 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: }
  20 int 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* %{{.*}} 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
  43 int f1(I1 *a) { return a->y; }