test/Transforms/LowerBitSets/simple.ll

   1 ; RUN: opt -S -lowerbitsets < %s | FileCheck %s
   2 ; RUN: opt -S -lowerbitsets -mtriple=x86_64-apple-macosx10.8.0 < %s | FileCheck -check-prefix=CHECK-DARWIN %s
   3 ; RUN: opt -S -O3 < %s | FileCheck -check-prefix=CHECK-NODISCARD %s
   4
   5 target datalayout = "e-p:32:32"
   6
   7 ; CHECK: [[G:@[^ ]*]] = private constant { i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] } { i32 1, [0 x i8] zeroinitializer, [63 x i32] zeroinitializer, [4 x i8] zeroinitializer, i32 3, [0 x i8] zeroinitializer, [2 x i32] [i32 4, i32 5] }
   8 @a = constant i32 1
   9 @b = constant [63 x i32] zeroinitializer
  10 @c = constant i32 3
  11 @d = constant [2 x i32] [i32 4, i32 5]
  12
  13 ; CHECK: [[BA:@[^ ]*]] = private constant [68 x i8] c"\03\01\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\02\00\01"
  14
  15 ; Offset 0, 4 byte alignment
  16 !0 = !{!"bitset1", i32* @a, i32 0}
  17 ; CHECK-NODISCARD-DAG: !{!"bitset1", i32* @a, i32 0}
  18 !1 = !{!"bitset1", [63 x i32]* @b, i32 0}
  19 ; CHECK-NODISCARD-DAG: !{!"bitset1", [63 x i32]* @b, i32 0}
  20 !2 = !{!"bitset1", [2 x i32]* @d, i32 4}
  21 ; CHECK-NODISCARD-DAG: !{!"bitset1", [2 x i32]* @d, i32 4}
  22
  23 ; Offset 4, 256 byte alignment
  24 !3 = !{!"bitset2", [63 x i32]* @b, i32 0}
  25 ; CHECK-NODISCARD-DAG: !{!"bitset2", [63 x i32]* @b, i32 0}
  26 !4 = !{!"bitset2", i32* @c, i32 0}
  27 ; CHECK-NODISCARD-DAG: !{!"bitset2", i32* @c, i32 0}
  28
  29 ; Offset 0, 4 byte alignment
  30 !5 = !{!"bitset3", i32* @a, i32 0}
  31 ; CHECK-NODISCARD-DAG: !{!"bitset3", i32* @a, i32 0}
  32 !6 = !{!"bitset3", i32* @c, i32 0}
  33 ; CHECK-NODISCARD-DAG: !{!"bitset3", i32* @c, i32 0}
  34
  35 ; Entries whose second operand is null (the result of a global being DCE'd)
  36 ; should be ignored.
  37 !7 = !{!"bitset2", null, i32 0}
  38
  39 !llvm.bitsets = !{ !0, !1, !2, !3, !4, !5, !6, !7 }
  40
  41 ; CHECK: @a = alias getelementptr inbounds ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }, { i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G]], i32 0, i32 0)
  42 ; CHECK: @b = alias getelementptr inbounds ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }, { i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G]], i32 0, i32 2)
  43 ; CHECK: @c = alias getelementptr inbounds ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }, { i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G]], i32 0, i32 4)
  44 ; CHECK: @d = alias getelementptr inbounds ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }, { i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G]], i32 0, i32 6)
  45
  46 ; CHECK-DARWIN: @aptr = constant i32* getelementptr inbounds ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }, { i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G:@[^ ]*]], i32 0, i32 0)
  47 @aptr = constant i32* @a
  48
  49 ; CHECK-DARWIN: @bptr = constant [63 x i32]* getelementptr inbounds ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }, { i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G]], i32 0, i32 2)
  50 @bptr = constant [63 x i32]* @b
  51
  52 ; CHECK-DARWIN: @cptr = constant i32* getelementptr inbounds ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }, { i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G]], i32 0, i32 4)
  53 @cptr = constant i32* @c
  54
  55 ; CHECK-DARWIN: @dptr = constant [2 x i32]* getelementptr inbounds ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }, { i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G]], i32 0, i32 6)
  56 @dptr = constant [2 x i32]* @d
  57
  58 ; CHECK-DARWIN: [[G]] = private constant
  59
  60 ; CHECK: @bits = private alias getelementptr inbounds ([68 x i8], [68 x i8]* [[BA]], i32 0, i32 0)
  61 ; CHECK: @bits1 = private alias getelementptr inbounds ([68 x i8], [68 x i8]* [[BA]], i32 0, i32 0)
  62
  63 declare i1 @llvm.bitset.test(i8* %ptr, metadata %bitset) nounwind readnone
  64
  65 ; CHECK: @foo(i32* [[A0:%[^ ]*]])
  66 define i1 @foo(i32* %p) {
  67   ; CHECK-NOT: llvm.bitset.test
  68
  69   ; CHECK: [[R0:%[^ ]*]] = bitcast i32* [[A0]] to i8*
  70   %pi8 = bitcast i32* %p to i8*
  71   ; CHECK: [[R1:%[^ ]*]] = ptrtoint i8* [[R0]] to i32
  72   ; CHECK: [[R2:%[^ ]*]] = sub i32 [[R1]], ptrtoint ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G]] to i32)
  73   ; CHECK: [[R3:%[^ ]*]] = lshr i32 [[R2]], 2
  74   ; CHECK: [[R4:%[^ ]*]] = shl i32 [[R2]], 30
  75   ; CHECK: [[R5:%[^ ]*]] = or i32 [[R3]], [[R4]]
  76   ; CHECK: [[R6:%[^ ]*]] = icmp ult i32 [[R5]], 68
  77   ; CHECK: br i1 [[R6]]
  78
  79   ; CHECK: [[R8:%[^ ]*]] = getelementptr i8, i8* @bits, i32 [[R5]]
  80   ; CHECK: [[R9:%[^ ]*]] = load i8, i8* [[R8]]
  81   ; CHECK: [[R10:%[^ ]*]] = and i8 [[R9]], 1
  82   ; CHECK: [[R11:%[^ ]*]] = icmp ne i8 [[R10]], 0
  83
  84   ; CHECK: [[R16:%[^ ]*]] = phi i1 [ false, {{%[^ ]*}} ], [ [[R11]], {{%[^ ]*}} ]
  85   %x = call i1 @llvm.bitset.test(i8* %pi8, metadata !"bitset1")
  86
  87   ; CHECK-NOT: llvm.bitset.test
  88   %y = call i1 @llvm.bitset.test(i8* %pi8, metadata !"bitset1")
  89
  90   ; CHECK: ret i1 [[R16]]
  91   ret i1 %x
  92 }
  93
  94 ; CHECK: @bar(i32* [[B0:%[^ ]*]])
  95 define i1 @bar(i32* %p) {
  96   ; CHECK: [[S0:%[^ ]*]] = bitcast i32* [[B0]] to i8*
  97   %pi8 = bitcast i32* %p to i8*
  98   ; CHECK: [[S1:%[^ ]*]] = ptrtoint i8* [[S0]] to i32
  99   ; CHECK: [[S2:%[^ ]*]] = sub i32 [[S1]], add (i32 ptrtoint ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G]] to i32), i32 4)
 100   ; CHECK: [[S3:%[^ ]*]] = lshr i32 [[S2]], 8
 101   ; CHECK: [[S4:%[^ ]*]] = shl i32 [[S2]], 24
 102   ; CHECK: [[S5:%[^ ]*]] = or i32 [[S3]], [[S4]]
 103   ; CHECK: [[S6:%[^ ]*]] = icmp ult i32 [[S5]], 2
 104   %x = call i1 @llvm.bitset.test(i8* %pi8, metadata !"bitset2")
 105
 106   ; CHECK: ret i1 [[S6]]
 107   ret i1 %x
 108 }
 109
 110 ; CHECK: @baz(i32* [[C0:%[^ ]*]])
 111 define i1 @baz(i32* %p) {
 112   ; CHECK: [[T0:%[^ ]*]] = bitcast i32* [[C0]] to i8*
 113   %pi8 = bitcast i32* %p to i8*
 114   ; CHECK: [[T1:%[^ ]*]] = ptrtoint i8* [[T0]] to i32
 115   ; CHECK: [[T2:%[^ ]*]] = sub i32 [[T1]], ptrtoint ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G]] to i32)
 116   ; CHECK: [[T3:%[^ ]*]] = lshr i32 [[T2]], 2
 117   ; CHECK: [[T4:%[^ ]*]] = shl i32 [[T2]], 30
 118   ; CHECK: [[T5:%[^ ]*]] = or i32 [[T3]], [[T4]]
 119   ; CHECK: [[T6:%[^ ]*]] = icmp ult i32 [[T5]], 66
 120   ; CHECK: br i1 [[T6]]
 121
 122   ; CHECK: [[T8:%[^ ]*]] = getelementptr i8, i8* @bits1, i32 [[T5]]
 123   ; CHECK: [[T9:%[^ ]*]] = load i8, i8* [[T8]]
 124   ; CHECK: [[T10:%[^ ]*]] = and i8 [[T9]], 2
 125   ; CHECK: [[T11:%[^ ]*]] = icmp ne i8 [[T10]], 0
 126
 127   ; CHECK: [[T16:%[^ ]*]] = phi i1 [ false, {{%[^ ]*}} ], [ [[T11]], {{%[^ ]*}} ]
 128   %x = call i1 @llvm.bitset.test(i8* %pi8, metadata !"bitset3")
 129   ; CHECK: ret i1 [[T16]]
 130   ret i1 %x
 131 }
 132
 133 ; CHECK-NOT: !llvm.bitsets