test/Transforms/LowerTypeTests/simple.ll

   1 ; RUN: opt -S -lowertypetests < %s | FileCheck %s
   2 ; RUN: opt -S -lowertypetests -mtriple=x86_64-apple-macosx10.8.0 < %s | FileCheck %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, !type !0, !type !2
   9 @b = hidden constant [63 x i32] zeroinitializer, !type !0, !type !1
  10 @c = protected constant i32 3, !type !1, !type !2
  11 @d = constant [2 x i32] [i32 4, i32 5], !type !3
  12
  13 ; CHECK-NODISCARD: !type
  14 ; CHECK-NODISCARD: !type
  15 ; CHECK-NODISCARD: !type
  16 ; CHECK-NODISCARD: !type
  17 ; CHECK-NODISCARD: !type
  18 ; CHECK-NODISCARD: !type
  19 ; CHECK-NODISCARD: !type
  20
  21 ; 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"
  22
  23 ; Offset 0, 4 byte alignment
  24 !0 = !{i32 0, !"typeid1"}
  25 !3 = !{i32 4, !"typeid1"}
  26
  27 ; Offset 4, 256 byte alignment
  28 !1 = !{i32 0, !"typeid2"}
  29
  30 ; Offset 0, 4 byte alignment
  31 !2 = !{i32 0, !"typeid3"}
  32
  33 ; CHECK: @bits_use{{[0-9]*}} = private alias i8, i8* @bits{{[0-9]*}}
  34 ; CHECK: @bits_use.{{[0-9]*}} = private alias i8, i8* @bits{{[0-9]*}}
  35 ; CHECK: @bits_use.{{[0-9]*}} = private alias i8, i8* @bits{{[0-9]*}}
  36
  37 ; CHECK: @a = alias 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)
  38 ; CHECK: @b = hidden alias [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)
  39 ; CHECK: @c = protected alias 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)
  40 ; CHECK: @d = alias [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)
  41
  42 ; CHECK: @bits{{[0-9]*}} = private alias i8, getelementptr inbounds ([68 x i8], [68 x i8]* [[BA]], i32 0, i32 0)
  43 ; CHECK: @bits.{{[0-9]*}} = private alias i8, getelementptr inbounds ([68 x i8], [68 x i8]* [[BA]], i32 0, i32 0)
  44
  45 declare i1 @llvm.type.test(i8* %ptr, metadata %bitset) nounwind readnone
  46
  47 ; CHECK: @foo(i32* [[A0:%[^ ]*]])
  48 define i1 @foo(i32* %p) {
  49   ; CHECK-NOT: llvm.type.test
  50
  51   ; CHECK: [[R0:%[^ ]*]] = bitcast i32* [[A0]] to i8*
  52   %pi8 = bitcast i32* %p to i8*
  53   ; CHECK: [[R1:%[^ ]*]] = ptrtoint i8* [[R0]] to i32
  54   ; 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)
  55   ; CHECK: [[R3:%[^ ]*]] = lshr i32 [[R2]], 2
  56   ; CHECK: [[R4:%[^ ]*]] = shl i32 [[R2]], 30
  57   ; CHECK: [[R5:%[^ ]*]] = or i32 [[R3]], [[R4]]
  58   ; CHECK: [[R6:%[^ ]*]] = icmp ule i32 [[R5]], 67
  59   ; CHECK: br i1 [[R6]]
  60
  61   ; CHECK: [[R8:%[^ ]*]] = getelementptr i8, i8* @bits_use.{{[0-9]*}}, i32 [[R5]]
  62   ; CHECK: [[R9:%[^ ]*]] = load i8, i8* [[R8]]
  63   ; CHECK: [[R10:%[^ ]*]] = and i8 [[R9]], 1
  64   ; CHECK: [[R11:%[^ ]*]] = icmp ne i8 [[R10]], 0
  65
  66   ; CHECK: [[R16:%[^ ]*]] = phi i1 [ false, {{%[^ ]*}} ], [ [[R11]], {{%[^ ]*}} ]
  67   %x = call i1 @llvm.type.test(i8* %pi8, metadata !"typeid1")
  68
  69   ; CHECK-NOT: llvm.type.test
  70   %y = call i1 @llvm.type.test(i8* %pi8, metadata !"typeid1")
  71
  72   ; CHECK: ret i1 [[R16]]
  73   ret i1 %x
  74 }
  75
  76 ; CHECK: @bar(i32* [[B0:%[^ ]*]])
  77 define i1 @bar(i32* %p) {
  78   ; CHECK: [[S0:%[^ ]*]] = bitcast i32* [[B0]] to i8*
  79   %pi8 = bitcast i32* %p to i8*
  80   ; CHECK: [[S1:%[^ ]*]] = ptrtoint i8* [[S0]] to i32
  81   ; CHECK: [[S2:%[^ ]*]] = sub i32 [[S1]], ptrtoint (i8* getelementptr (i8, i8* bitcast ({ i32, [0 x i8], [63 x i32], [4 x i8], i32, [0 x i8], [2 x i32] }* [[G]] to i8*), i32 4) to i32)
  82   ; CHECK: [[S3:%[^ ]*]] = lshr i32 [[S2]], 8
  83   ; CHECK: [[S4:%[^ ]*]] = shl i32 [[S2]], 24
  84   ; CHECK: [[S5:%[^ ]*]] = or i32 [[S3]], [[S4]]
  85   ; CHECK: [[S6:%[^ ]*]] = icmp ule i32 [[S5]], 1
  86   %x = call i1 @llvm.type.test(i8* %pi8, metadata !"typeid2")
  87
  88   ; CHECK: ret i1 [[S6]]
  89   ret i1 %x
  90 }
  91
  92 ; CHECK: @baz(i32* [[C0:%[^ ]*]])
  93 define i1 @baz(i32* %p) {
  94   ; CHECK: [[T0:%[^ ]*]] = bitcast i32* [[C0]] to i8*
  95   %pi8 = bitcast i32* %p to i8*
  96   ; CHECK: [[T1:%[^ ]*]] = ptrtoint i8* [[T0]] to i32
  97   ; 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)
  98   ; CHECK: [[T3:%[^ ]*]] = lshr i32 [[T2]], 2
  99   ; CHECK: [[T4:%[^ ]*]] = shl i32 [[T2]], 30
 100   ; CHECK: [[T5:%[^ ]*]] = or i32 [[T3]], [[T4]]
 101   ; CHECK: [[T6:%[^ ]*]] = icmp ule i32 [[T5]], 65
 102   ; CHECK: br i1 [[T6]]
 103
 104   ; CHECK: [[T8:%[^ ]*]] = getelementptr i8, i8* @bits_use{{(\.[0-9]*)?}}, i32 [[T5]]
 105   ; CHECK: [[T9:%[^ ]*]] = load i8, i8* [[T8]]
 106   ; CHECK: [[T10:%[^ ]*]] = and i8 [[T9]], 2
 107   ; CHECK: [[T11:%[^ ]*]] = icmp ne i8 [[T10]], 0
 108
 109   ; CHECK: [[T16:%[^ ]*]] = phi i1 [ false, {{%[^ ]*}} ], [ [[T11]], {{%[^ ]*}} ]
 110   %x = call i1 @llvm.type.test(i8* %pi8, metadata !"typeid3")
 111   ; CHECK: ret i1 [[T16]]
 112   ret i1 %x
 113 }