Bump version to 19.1.0-rc3
[llvm-project.git] / llvm / test / Transforms / WholeProgramDevirt / bad-read-from-vtable.ll
blobbb4abe4564d4bc906cc43fd4a3d5ec700db9096a
1 ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
3 target datalayout = "e-p:64:64"
4 target triple = "x86_64-unknown-linux-gnu"
6 @vt1 = constant [2 x ptr] [ptr zeroinitializer, ptr @vf], !type !0
7 @vt2 = constant ptr @vf, !type !1
9 define void @vf(ptr %this) {
10   ret void
13 ; CHECK: define void @unaligned1
14 define 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
25 ; CHECK: define void @unaligned2
26 define 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
37 ; CHECK: define void @outofbounds
38 define 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
49 ; CHECK: define void @nonfunction
50 define 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
60 declare i1 @llvm.type.test(ptr, metadata)
61 declare void @llvm.assume(i1)
63 !0 = !{i32 0, !"typeid"}
64 !1 = !{i32 0, !"typeid2"}