1; RUN: opt -S -passes=wholeprogramdevirt,verify -whole-program-visibility -pass-remarks=wholeprogramdevirt %s 2>&1 | FileCheck %s 2 3target datalayout = "e-p:64:64" 4target triple = "x86_64-unknown-linux-gnu" 5 6; CHECK: remark: <unknown>:0:0: single-impl: devirtualized a call to vf 7; CHECK: remark: <unknown>:0:0: devirtualized vf 8; CHECK-NOT: devirtualized 9 10@vt1 = constant [1 x ptr] [ptr @vf], !type !0 11@vt2 = constant [1 x ptr] [ptr @vf], !type !0 12 13define void @vf(ptr %this) { 14 ret void 15} 16 17; CHECK: define void @call 18define void @call(ptr %obj) { 19 %vtable = load ptr, ptr %obj 20 %pair = call {ptr, i1} @llvm.type.checked.load(ptr %vtable, i32 0, metadata !"typeid") 21 %fptr = extractvalue {ptr, i1} %pair, 0 22 %p = extractvalue {ptr, i1} %pair, 1 23 ; CHECK: br i1 true, 24 br i1 %p, label %cont, label %trap 25 26cont: 27 ; CHECK: call void @vf( 28 call void %fptr(ptr %obj) [ "ptrauth"(i32 5, i64 120) ] 29 ret void 30 31trap: 32 call void @llvm.trap() 33 unreachable 34} 35 36declare {ptr, i1} @llvm.type.checked.load(ptr, i32, metadata) 37declare void @llvm.trap() 38 39!0 = !{i32 0, !"typeid"} 40