1; -stats requires asserts
2; REQUIRES: asserts
3
4; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt -stats %s 2>&1 | FileCheck %s
5
6target datalayout = "e-p:64:64"
7target triple = "x86_64-unknown-linux-gnu"
8
9; CHECK: remark: devirt-single.cc:30:32: single-impl: devirtualized a call to vf
10; CHECK: remark: devirt-single.cc:13:0: devirtualized vf
11; CHECK-NOT: devirtualized
12
13@vt1 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf to i8*)], !type !8
14@vt2 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf to i8*)], !type !8
15
16define void @vf(i8* %this) #0 !dbg !7 {
17  ret void
18}
19
20; CHECK: define void @call
21define void @call(i8* %obj) #1 !dbg !5 {
22  %vtableptr = bitcast i8* %obj to [1 x i8*]**
23  %vtable = load [1 x i8*]*, [1 x i8*]** %vtableptr
24  %vtablei8 = bitcast [1 x i8*]* %vtable to i8*
25  %p = call i1 @llvm.type.test(i8* %vtablei8, metadata !"typeid")
26  call void @llvm.assume(i1 %p)
27  %fptrptr = getelementptr [1 x i8*], [1 x i8*]* %vtable, i32 0, i32 0
28  %fptr = load i8*, i8** %fptrptr
29  %fptr_casted = bitcast i8* %fptr to void (i8*)*
30  ; CHECK: call void @vf(
31  call void %fptr_casted(i8* %obj), !dbg !6
32  ret void
33}
34
35declare i1 @llvm.type.test(i8*, metadata)
36declare void @llvm.assume(i1)
37
38!llvm.dbg.cu = !{!0}
39!llvm.module.flags = !{!2, !3}
40!llvm.ident = !{!4}
41
42!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 4.0.0 (trunk 278098)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug)
43!1 = !DIFile(filename: "devirt-single.cc", directory: ".")
44!2 = !{i32 2, !"Dwarf Version", i32 4}
45!3 = !{i32 2, !"Debug Info Version", i32 3}
46!4 = !{!"clang version 4.0.0 (trunk 278098)"}
47!5 = distinct !DISubprogram(name: "call", linkageName: "_Z4callPv", scope: !1, file: !1, line: 29, isLocal: false, isDefinition: true, scopeLine: 9, flags: DIFlagPrototyped, isOptimized: false, unit: !0)
48!6 = !DILocation(line: 30, column: 32, scope: !5)
49!7 = distinct !DISubprogram(name: "vf", linkageName: "_ZN3vt12vfEv", scope: !1, file: !1, line: 13, isLocal: false, isDefinition: true, scopeLine: 13, flags: DIFlagPrototyped, isOptimized: false, unit: !0)
50!8 = !{i32 0, !"typeid"}
51
52; CHECK: 1 wholeprogramdevirt - Number of whole program devirtualization targets
53; CHECK: 1 wholeprogramdevirt - Number of single implementation devirtualizations
54