diff options
Diffstat (limited to 'test/Transforms/LowerBitSets/layout.ll')
-rw-r--r-- | test/Transforms/LowerBitSets/layout.ll | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/test/Transforms/LowerBitSets/layout.ll b/test/Transforms/LowerBitSets/layout.ll new file mode 100644 index 0000000..a0c6e77 --- /dev/null +++ b/test/Transforms/LowerBitSets/layout.ll @@ -0,0 +1,35 @@ +; RUN: opt -S -lowerbitsets < %s | FileCheck %s + +target datalayout = "e-p:32:32" + +; Tests that this set of globals is laid out according to our layout algorithm +; (see GlobalLayoutBuilder in include/llvm/Transforms/IPO/LowerBitSets.h). +; The chosen layout in this case is a, e, b, d, c. + +; 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 } +@a = constant i32 1 +@b = constant i32 2 +@c = constant i32 3 +@d = constant i32 4 +@e = constant i32 5 + +!0 = !{!"bitset1", i32* @a, i32 0} +!1 = !{!"bitset1", i32* @b, i32 0} +!2 = !{!"bitset1", i32* @c, i32 0} + +!3 = !{!"bitset2", i32* @b, i32 0} +!4 = !{!"bitset2", i32* @d, i32 0} + +!5 = !{!"bitset3", i32* @a, i32 0} +!6 = !{!"bitset3", i32* @e, i32 0} + +!llvm.bitsets = !{ !0, !1, !2, !3, !4, !5, !6 } + +declare i1 @llvm.bitset.test(i8* %ptr, metadata %bitset) nounwind readnone + +define void @foo() { + %x = call i1 @llvm.bitset.test(i8* undef, metadata !"bitset1") + %y = call i1 @llvm.bitset.test(i8* undef, metadata !"bitset2") + %z = call i1 @llvm.bitset.test(i8* undef, metadata !"bitset3") + ret void +} |