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 } 36