1; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s 2 3target datalayout = "e-p:64:64" 4target triple = "x86_64-unknown-linux-gnu" 5 6@vt = constant ptr @vf, !type !0 7 8define void @vf(ptr %this) { 9 ret void 10} 11 12; CHECK: define void @call 13define void @call(ptr %obj) { 14 %vtable = load ptr, ptr %obj 15 %p = call i1 @llvm.type.test(ptr %vtable, metadata !"typeid") 16 call void @llvm.assume(i1 %p) 17 %fptr = load ptr, ptr %vtable 18 ; CHECK: call void @vf( 19 call void %fptr(ptr %obj) 20 ret void 21} 22 23@vt2 = constant i32 trunc (i64 sub (i64 ptrtoint (ptr dso_local_equivalent @vf to i64), i64 ptrtoint (ptr @vt2 to i64)) to i32), !type !1 24 25declare ptr @llvm.load.relative.i32(ptr, i32) 26 27; CHECK: define void @call2 28define void @call2(ptr %obj) { 29 %vtable = load ptr, ptr %obj 30 %p = call i1 @llvm.type.test(ptr %vtable, metadata !"typeid2") 31 call void @llvm.assume(i1 %p) 32 %fptr = call ptr @llvm.load.relative.i32(ptr %vtable, i32 0) 33 ; CHECK: call void @vf( 34 call void %fptr(ptr %obj) 35 ret void 36} 37 38declare i1 @llvm.type.test(ptr, metadata) 39declare void @llvm.assume(i1) 40 41!0 = !{i32 0, !"typeid"} 42!1 = !{i32 0, !"typeid2"} 43