xref: /llvm-project/llvm/test/Transforms/WholeProgramDevirt/vtable-decl.ll (revision 0ecf7965929c4477c8b9821c68e0ad66b012d8fe)
1; Check that we don't crash when processing declaration with type metadata
2; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s
3
4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
5target triple = "x86_64-none-linux-gnu"
6
7declare i1 @llvm.type.test(ptr, metadata)
8declare void @llvm.assume(i1)
9
10@_ZTVN3foo3barE = external dso_local unnamed_addr constant { [8 x ptr] }, align 8, !type !0
11
12define i1 @call1(ptr %obj) {
13  %vtable = load ptr, ptr %obj
14  %p = call i1 @llvm.type.test(ptr %vtable, metadata !"typeid")
15  call void @llvm.assume(i1 %p)
16  %fptr = load ptr, ptr %vtable
17  %result = call i1 %fptr(ptr %obj)
18  ret i1 %result
19}
20
21!0 = !{i64 16, !"_ZTSN3foo3barE"}
22