1*9880d681SAndroid Build Coastguard Worker; RUN: opt -S -wholeprogramdevirt %s | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; Test that we correctly expand the llvm.type.checked.load intrinsic in cases 4*9880d681SAndroid Build Coastguard Worker; where we cannot devirtualize. 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-p:64:64" 7*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-unknown-linux-gnu" 8*9880d681SAndroid Build Coastguard Worker 9*9880d681SAndroid Build Coastguard Worker@vt1 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf1 to i8*)], !type !0 10*9880d681SAndroid Build Coastguard Worker@vt2 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf2 to i8*)], !type !0 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Workerdefine void @vf1(i8* %this) { 13*9880d681SAndroid Build Coastguard Worker ret void 14*9880d681SAndroid Build Coastguard Worker} 15*9880d681SAndroid Build Coastguard Worker 16*9880d681SAndroid Build Coastguard Workerdefine void @vf2(i8* %this) { 17*9880d681SAndroid Build Coastguard Worker ret void 18*9880d681SAndroid Build Coastguard Worker} 19*9880d681SAndroid Build Coastguard Worker 20*9880d681SAndroid Build Coastguard Worker; CHECK: define void @call 21*9880d681SAndroid Build Coastguard Workerdefine void @call(i8* %obj) { 22*9880d681SAndroid Build Coastguard Worker %vtableptr = bitcast i8* %obj to [1 x i8*]** 23*9880d681SAndroid Build Coastguard Worker %vtable = load [1 x i8*]*, [1 x i8*]** %vtableptr 24*9880d681SAndroid Build Coastguard Worker %vtablei8 = bitcast [1 x i8*]* %vtable to i8* 25*9880d681SAndroid Build Coastguard Worker %pair = call {i8*, i1} @llvm.type.checked.load(i8* %vtablei8, i32 0, metadata !"typeid") 26*9880d681SAndroid Build Coastguard Worker %p = extractvalue {i8*, i1} %pair, 1 27*9880d681SAndroid Build Coastguard Worker ; CHECK: [[TT:%[^ ]*]] = call i1 @llvm.type.test(i8* [[VT:%[^,]*]], metadata !"typeid") 28*9880d681SAndroid Build Coastguard Worker ; CHECK: br i1 [[TT]], 29*9880d681SAndroid Build Coastguard Worker br i1 %p, label %cont, label %trap 30*9880d681SAndroid Build Coastguard Worker 31*9880d681SAndroid Build Coastguard Workercont: 32*9880d681SAndroid Build Coastguard Worker ; CHECK: [[GEP:%[^ ]*]] = getelementptr i8, i8* [[VT]], i32 0 33*9880d681SAndroid Build Coastguard Worker ; CHECK: [[BC:%[^ ]*]] = bitcast i8* [[GEP]] to i8** 34*9880d681SAndroid Build Coastguard Worker ; CHECK: [[LOAD:%[^ ]*]] = load i8*, i8** [[BC]] 35*9880d681SAndroid Build Coastguard Worker ; CHECK: [[FPC:%[^ ]*]] = bitcast i8* [[LOAD]] to void (i8*)* 36*9880d681SAndroid Build Coastguard Worker ; CHECK: call void [[FPC]] 37*9880d681SAndroid Build Coastguard Worker %fptr = extractvalue {i8*, i1} %pair, 0 38*9880d681SAndroid Build Coastguard Worker %fptr_casted = bitcast i8* %fptr to void (i8*)* 39*9880d681SAndroid Build Coastguard Worker call void %fptr_casted(i8* %obj) 40*9880d681SAndroid Build Coastguard Worker ret void 41*9880d681SAndroid Build Coastguard Worker 42*9880d681SAndroid Build Coastguard Workertrap: 43*9880d681SAndroid Build Coastguard Worker call void @llvm.trap() 44*9880d681SAndroid Build Coastguard Worker unreachable 45*9880d681SAndroid Build Coastguard Worker} 46*9880d681SAndroid Build Coastguard Worker 47*9880d681SAndroid Build Coastguard Worker; CHECK: define { i8*, i1 } @ret 48*9880d681SAndroid Build Coastguard Workerdefine {i8*, i1} @ret(i8* %vtablei8) { 49*9880d681SAndroid Build Coastguard Worker ; CHECK: [[GEP2:%[^ ]*]] = getelementptr i8, i8* [[VT2:%[^,]*]], i32 1 50*9880d681SAndroid Build Coastguard Worker ; CHECK: [[BC2:%[^ ]*]] = bitcast i8* [[GEP2]] to i8** 51*9880d681SAndroid Build Coastguard Worker ; CHECK: [[LOAD2:%[^ ]*]] = load i8*, i8** [[BC2]] 52*9880d681SAndroid Build Coastguard Worker ; CHECK: [[TT2:%[^ ]*]] = call i1 @llvm.type.test(i8* [[VT2]], metadata !"typeid") 53*9880d681SAndroid Build Coastguard Worker ; CHECK: [[I1:%[^ ]*]] = insertvalue { i8*, i1 } undef, i8* [[LOAD2]], 0 54*9880d681SAndroid Build Coastguard Worker ; CHECK: [[I2:%[^ ]*]] = insertvalue { i8*, i1 } %5, i1 [[TT2]], 1 55*9880d681SAndroid Build Coastguard Worker %pair = call {i8*, i1} @llvm.type.checked.load(i8* %vtablei8, i32 1, metadata !"typeid") 56*9880d681SAndroid Build Coastguard Worker ; CHECK: ret { i8*, i1 } [[I2]] 57*9880d681SAndroid Build Coastguard Worker ret {i8*, i1} %pair 58*9880d681SAndroid Build Coastguard Worker} 59*9880d681SAndroid Build Coastguard Worker 60*9880d681SAndroid Build Coastguard Workerdeclare {i8*, i1} @llvm.type.checked.load(i8*, i32, metadata) 61*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.trap() 62*9880d681SAndroid Build Coastguard Worker 63*9880d681SAndroid Build Coastguard Worker!0 = !{i32 0, !"typeid"} 64