1*9880d681SAndroid Build Coastguard Worker; RUN: opt -S -wholeprogramdevirt -pass-remarks=wholeprogramdevirt %s 2>&1 | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-p:64:64" 4*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-unknown-linux-gnu" 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Worker; CHECK: remark: <unknown>:0:0: devirtualized call 7*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: devirtualized call 8*9880d681SAndroid Build Coastguard Worker 9*9880d681SAndroid Build Coastguard Worker@vt1 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf to i8*)], !type !0 10*9880d681SAndroid Build Coastguard Worker@vt2 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf to i8*)], !type !0 11*9880d681SAndroid Build Coastguard Worker 12*9880d681SAndroid Build Coastguard Workerdefine void @vf(i8* %this) { 13*9880d681SAndroid Build Coastguard Worker ret void 14*9880d681SAndroid Build Coastguard Worker} 15*9880d681SAndroid Build Coastguard Worker 16*9880d681SAndroid Build Coastguard Worker; CHECK: define void @call 17*9880d681SAndroid Build Coastguard Workerdefine void @call(i8* %obj) { 18*9880d681SAndroid Build Coastguard Worker %vtableptr = bitcast i8* %obj to [1 x i8*]** 19*9880d681SAndroid Build Coastguard Worker %vtable = load [1 x i8*]*, [1 x i8*]** %vtableptr 20*9880d681SAndroid Build Coastguard Worker %vtablei8 = bitcast [1 x i8*]* %vtable to i8* 21*9880d681SAndroid Build Coastguard Worker %pair = call {i8*, i1} @llvm.type.checked.load(i8* %vtablei8, i32 0, metadata !"typeid") 22*9880d681SAndroid Build Coastguard Worker %fptr = extractvalue {i8*, i1} %pair, 0 23*9880d681SAndroid Build Coastguard Worker %p = extractvalue {i8*, i1} %pair, 1 24*9880d681SAndroid Build Coastguard Worker ; CHECK: br i1 true, 25*9880d681SAndroid Build Coastguard Worker br i1 %p, label %cont, label %trap 26*9880d681SAndroid Build Coastguard Worker 27*9880d681SAndroid Build Coastguard Workercont: 28*9880d681SAndroid Build Coastguard Worker %fptr_casted = bitcast i8* %fptr to void (i8*)* 29*9880d681SAndroid Build Coastguard Worker ; CHECK: call void @vf( 30*9880d681SAndroid Build Coastguard Worker call void %fptr_casted(i8* %obj) 31*9880d681SAndroid Build Coastguard Worker ret void 32*9880d681SAndroid Build Coastguard Worker 33*9880d681SAndroid Build Coastguard Workertrap: 34*9880d681SAndroid Build Coastguard Worker call void @llvm.trap() 35*9880d681SAndroid Build Coastguard Worker unreachable 36*9880d681SAndroid Build Coastguard Worker} 37*9880d681SAndroid Build Coastguard Worker 38*9880d681SAndroid Build Coastguard Workerdeclare {i8*, i1} @llvm.type.checked.load(i8*, i32, metadata) 39*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.trap() 40*9880d681SAndroid Build Coastguard Worker 41*9880d681SAndroid Build Coastguard Worker!0 = !{i32 0, !"typeid"} 42