1; RUN: opt -S -passes=lowertypetests %s | FileCheck %s 2; RUN: opt -S -passes=lowertypetests -mtriple=x86_64-apple-macosx10.8.0 %s | FileCheck %s 3; RUN: opt -S -O3 %s | FileCheck -check-prefix=CHECK-NODISCARD %s 4 5target 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, ptr @bits{{[0-9]*}} 34; CHECK: @bits_use.{{[0-9]*}} = private alias i8, ptr @bits{{[0-9]*}} 35; CHECK: @bits_use.{{[0-9]*}} = private alias i8, ptr @bits{{[0-9]*}} 36 37; CHECK: @a = alias i32, ptr [[G]] 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] }, ptr [[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] }, ptr [[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] }, ptr [[G]], i32 0, i32 6) 41 42; CHECK: @bits{{[0-9]*}} = private alias i8, ptr [[BA]] 43; CHECK: @bits.{{[0-9]*}} = private alias i8, ptr [[BA]] 44 45declare i1 @llvm.type.test(ptr %ptr, metadata %bitset) nounwind readnone 46 47; CHECK: @foo(ptr [[A0:%[^ ]*]]) 48define i1 @foo(ptr %p) { 49 ; CHECK-NOT: llvm.type.test 50 51 ; CHECK: [[R1:%[^ ]*]] = ptrtoint ptr %p to i32 52 ; CHECK: [[R2:%[^ ]*]] = sub i32 [[R1]], ptrtoint (ptr [[G]] to i32) 53 ; CHECK: [[R3:%[^ ]*]] = lshr i32 [[R2]], 2 54 ; CHECK: [[R4:%[^ ]*]] = shl i32 [[R2]], 30 55 ; CHECK: [[R5:%[^ ]*]] = or i32 [[R3]], [[R4]] 56 ; CHECK: [[R6:%[^ ]*]] = icmp ule i32 [[R5]], 67 57 ; CHECK: br i1 [[R6]] 58 59 ; CHECK: [[R8:%[^ ]*]] = getelementptr i8, ptr @bits_use.{{[0-9]*}}, i32 [[R5]] 60 ; CHECK: [[R9:%[^ ]*]] = load i8, ptr [[R8]] 61 ; CHECK: [[R10:%[^ ]*]] = and i8 [[R9]], 1 62 ; CHECK: [[R11:%[^ ]*]] = icmp ne i8 [[R10]], 0 63 64 ; CHECK: [[R16:%[^ ]*]] = phi i1 [ false, {{%[^ ]*}} ], [ [[R11]], {{%[^ ]*}} ] 65 %x = call i1 @llvm.type.test(ptr %p, metadata !"typeid1") 66 67 ; CHECK-NOT: llvm.type.test 68 %y = call i1 @llvm.type.test(ptr %p, metadata !"typeid1") 69 70 ; CHECK: ret i1 [[R16]] 71 ret i1 %x 72} 73 74; CHECK: @bar(ptr [[B0:%[^ ]*]]) 75define i1 @bar(ptr %p) { 76 ; CHECK: [[S1:%[^ ]*]] = ptrtoint ptr %p to i32 77 ; CHECK: [[S2:%[^ ]*]] = sub i32 [[S1]], ptrtoint (ptr getelementptr (i8, ptr [[G]], i32 4) to i32) 78 ; CHECK: [[S3:%[^ ]*]] = lshr i32 [[S2]], 8 79 ; CHECK: [[S4:%[^ ]*]] = shl i32 [[S2]], 24 80 ; CHECK: [[S5:%[^ ]*]] = or i32 [[S3]], [[S4]] 81 ; CHECK: [[S6:%[^ ]*]] = icmp ule i32 [[S5]], 1 82 %x = call i1 @llvm.type.test(ptr %p, metadata !"typeid2") 83 84 ; CHECK: ret i1 [[S6]] 85 ret i1 %x 86} 87 88; CHECK: @baz(ptr [[C0:%[^ ]*]]) 89define i1 @baz(ptr %p) { 90 ; CHECK: [[T1:%[^ ]*]] = ptrtoint ptr %p to i32 91 ; CHECK: [[T2:%[^ ]*]] = sub i32 [[T1]], ptrtoint (ptr [[G]] to i32) 92 ; CHECK: [[T3:%[^ ]*]] = lshr i32 [[T2]], 2 93 ; CHECK: [[T4:%[^ ]*]] = shl i32 [[T2]], 30 94 ; CHECK: [[T5:%[^ ]*]] = or i32 [[T3]], [[T4]] 95 ; CHECK: [[T6:%[^ ]*]] = icmp ule i32 [[T5]], 65 96 ; CHECK: br i1 [[T6]] 97 98 ; CHECK: [[T8:%[^ ]*]] = getelementptr i8, ptr @bits_use{{(\.[0-9]*)?}}, i32 [[T5]] 99 ; CHECK: [[T9:%[^ ]*]] = load i8, ptr [[T8]] 100 ; CHECK: [[T10:%[^ ]*]] = and i8 [[T9]], 2 101 ; CHECK: [[T11:%[^ ]*]] = icmp ne i8 [[T10]], 0 102 103 ; CHECK: [[T16:%[^ ]*]] = phi i1 [ false, {{%[^ ]*}} ], [ [[T11]], {{%[^ ]*}} ] 104 %x = call i1 @llvm.type.test(ptr %p, metadata !"typeid3") 105 ; CHECK: ret i1 [[T16]] 106 ret i1 %x 107} 108