test/Transforms/LowerBitSets/layout.ll

   1 ; RUN: opt -S -lowerbitsets < %s | FileCheck %s
   2
   3 target datalayout = "e-p:32:32"
   4
   5 ; Tests that this set of globals is laid out according to our layout algorithm
   6 ; (see GlobalLayoutBuilder in include/llvm/Transforms/IPO/LowerBitSets.h).
   7 ; The chosen layout in this case is a, e, b, d, c.
   8
   9 ; CHECK: private constant { i32, [0 x i8], i32, [0 x i8], i32, [0 x i8], i32, [0 x i8], i32 } { i32 1, [0 x i8] zeroinitializer, i32 5, [0 x i8] zeroinitializer, i32 2, [0 x i8] zeroinitializer, i32 4, [0 x i8] zeroinitializer, i32 3 }
  10 @a = constant i32 1
  11 @b = constant i32 2
  12 @c = constant i32 3
  13 @d = constant i32 4
  14 @e = constant i32 5
  15
  16 !0 = !{!"bitset1", i32* @a, i32 0}
  17 !1 = !{!"bitset1", i32* @b, i32 0}
  18 !2 = !{!"bitset1", i32* @c, i32 0}
  19
  20 !3 = !{!"bitset2", i32* @b, i32 0}
  21 !4 = !{!"bitset2", i32* @d, i32 0}
  22
  23 !5 = !{!"bitset3", i32* @a, i32 0}
  24 !6 = !{!"bitset3", i32* @e, i32 0}
  25
  26 !llvm.bitsets = !{ !0, !1, !2, !3, !4, !5, !6 }
  27
  28 declare i1 @llvm.bitset.test(i8* %ptr, metadata %bitset) nounwind readnone
  29
  30 define void @foo() {
  31   %x = call i1 @llvm.bitset.test(i8* undef, metadata !"bitset1")
  32   %y = call i1 @llvm.bitset.test(i8* undef, metadata !"bitset2")
  33   %z = call i1 @llvm.bitset.test(i8* undef, metadata !"bitset3")
  34   ret void
  35 }