xref: /llvm-project/llvm/test/Transforms/WholeProgramDevirt/virtual-const-prop-multiple-assumes.ll (revision 0ecf7965929c4477c8b9821c68e0ad66b012d8fe) 
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@vt2 = constant [3 x ptr] [
7ptr @vf1i1,
8ptr @vf0i1,
9ptr @vf2i32
10], !type !0
11
12define i1 @vf0i1(ptr %this) readnone {
13  ret i1 0
14}
15
16define i1 @vf1i1(ptr %this) readnone {
17  ret i1 1
18}
19
20define i32 @vf2i32(ptr %this) readnone {
21  ret i32 2
22}
23
24; CHECK: define i1 @call1(
25define i1 @call1(ptr %obj) {
26  %vtable = load ptr, ptr %obj
27  %p = call i1 @llvm.type.test(ptr %vtable, metadata !"typeid")
28  call void @llvm.assume(i1 %p)
29  %p2 = call i1 @llvm.type.test(ptr %vtable, metadata !"typeid")
30  call void @llvm.assume(i1 %p2)
31  %fptr = load ptr, ptr %vtable
32  %result = call i1 %fptr(ptr %obj)
33  ret i1 %result
34}
35
36declare i1 @llvm.type.test(ptr, metadata)
37declare void @llvm.assume(i1)
38
39!0 = !{i32 0, !"typeid"}