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@vt1 = constant [2 x ptr] [ptr zeroinitializer, ptr @vf], !type !0 7@vt2 = constant ptr @vf, !type !1 8 9define void @vf(ptr %this) { 10 ret void 11} 12 13; CHECK: define void @unaligned1 14define void @unaligned1(ptr %obj) { 15 %vtable = load ptr, ptr %obj 16 %p = call i1 @llvm.type.test(ptr %vtable, metadata !"typeid") 17 call void @llvm.assume(i1 %p) 18 %fptrptr = getelementptr i8, ptr %vtable, i32 1 19 %fptr = load ptr, ptr %fptrptr 20 ; CHECK: call void % 21 call void %fptr(ptr %obj) 22 ret void 23} 24 25; CHECK: define void @unaligned2 26define void @unaligned2(ptr %obj) { 27 %vtable = load ptr, ptr %obj 28 %p = call i1 @llvm.type.test(ptr %vtable, metadata !"typeid2") 29 call void @llvm.assume(i1 %p) 30 %fptrptr = getelementptr i8, ptr %vtable, i32 1 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 @outofbounds 38define void @outofbounds(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 16 43 %fptr = load ptr, ptr %fptrptr 44 ; CHECK: call void % 45 call void %fptr(ptr %obj) 46 ret void 47} 48 49; CHECK: define void @nonfunction 50define void @nonfunction(ptr %obj) { 51 %vtable = load ptr, ptr %obj 52 %p = call i1 @llvm.type.test(ptr %vtable, metadata !"typeid") 53 call void @llvm.assume(i1 %p) 54 %fptr = load ptr, ptr %vtable 55 ; CHECK: call void % 56 call void %fptr(ptr %obj) 57 ret void 58} 59 60declare i1 @llvm.type.test(ptr, metadata) 61declare void @llvm.assume(i1) 62 63!0 = !{i32 0, !"typeid"} 64!1 = !{i32 0, !"typeid2"} 65