1; RUN: opt -S -lowerbitsets < %s | FileCheck %s
2
3target 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
28declare i1 @llvm.bitset.test(i8* %ptr, metadata %bitset) nounwind readnone
29
30define 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