clang/test/CodeGenObjC/bitfield-access.m

   1 // RUN: %clang_cc1 -no-opaque-pointers -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 -no-opaque-pointers -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; }