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%vtTy = type { ptr } 7 8@vt = constant %vtTy { ptr @vf }, !type !0 9 10define void @vf(ptr %this) { 11 ret void 12} 13 14; CHECK: define void @call 15define void @call(ptr %obj) { 16 %vtable = load ptr, ptr %obj 17 %p = call i1 @llvm.type.test(ptr %vtable, metadata !"typeid") 18 call void @llvm.assume(i1 %p) 19 %fptr = load ptr, ptr %vtable 20 ; CHECK: call void @vf( 21 call void %fptr(ptr %obj) 22 ret void 23} 24 25; CHECK: define void @call_oob 26define void @call_oob(ptr %obj) { 27 %vtable = load ptr, ptr %obj 28 %p = call i1 @llvm.type.test(ptr %vtable, metadata !"typeid") 29 call void @llvm.assume(i1 %p) 30 %fptrptr = getelementptr [1 x ptr], ptr %vtable, i32 0, i32 4 31 %fptr = load ptr, ptr %fptrptr 32 ; CHECK: call void % 33 call void %fptr(ptr %obj) 34 ret void 35} 36 37; CHECK: define void @call_unaligned 38define void @call_unaligned(ptr %obj) { 39 %vtable = load ptr, ptr %obj 40 %p = call i1 @llvm.type.test(ptr %vtable, metadata !"typeid") 41 call void @llvm.assume(i1 %p) 42 %fptrptr = getelementptr i8, ptr %vtable, i32 1 43 %fptr = load ptr, ptr %fptrptr 44 ; CHECK: call void % 45 call void %fptr(ptr %obj) 46 ret void 47} 48 49declare i1 @llvm.type.test(ptr, metadata) 50declare void @llvm.assume(i1) 51 52!0 = !{i32 0, !"typeid"} 53