• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt -name-anon-functions -module-summary < %s | llvm-bcanalyzer -dump | FileCheck %s -check-prefix=BC
2; Check for summary block/records.
3
4; Check the value ids in the summary entries against the
5; same in the ValueSumbolTable, to ensure the ordering is stable.
6; Also check the linkage field on the summary entries.
7; BC: <GLOBALVAL_SUMMARY_BLOCK
8; BC-NEXT: <VERSION
9; BC-NEXT: <PERMODULE {{.*}} op0=1 op1=0
10; BC-NEXT: <PERMODULE {{.*}} op0=2 op1=0
11; BC-NEXT: <PERMODULE {{.*}} op0=3 op1=7
12; BC-NEXT: <ALIAS {{.*}} op0=4 op1=0 op2=3
13; BC-NEXT: </GLOBALVAL_SUMMARY_BLOCK
14; BC-NEXT: <VALUE_SYMTAB
15; BC-NEXT: <FNENTRY {{.*}} op0=3 {{.*}}> record string = 'anon.
16; BC-NEXT: <FNENTRY {{.*}} op0=1 {{.*}}> record string = 'foo'
17; BC-NEXT: <FNENTRY {{.*}} op0=2 {{.*}}> record string = 'bar'
18; BC-NEXT: <FNENTRY {{.*}} op0=4 {{.*}}> record string = 'f'
19
20; RUN: opt -name-anon-functions -module-summary < %s | llvm-dis | FileCheck %s
21; Check that this round-trips correctly.
22
23; ModuleID = '<stdin>'
24target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
25target triple = "x86_64-unknown-linux-gnu"
26
27; CHECK: define i32 @foo()
28
29; Function Attrs: nounwind uwtable
30define i32 @foo() #0 {
31entry:
32  ret i32 1
33}
34
35; CHECK: define i32 @bar(i32 %x)
36
37; Function Attrs: nounwind uwtable
38define i32 @bar(i32 %x) #0 {
39entry:
40  ret i32 %x
41}
42
43; FIXME: Anonymous function and alias not currently in summary until
44; follow on fixes to rename anonymous functions and emit alias summary
45; entries are committed.
46; Check an anonymous function as well, since in that case only the alias
47; ends up in the value symbol table and having a summary.
48@f = alias void (), void ()* @0   ; <void ()*> [#uses=0]
49@h = external global void ()*     ; <void ()*> [#uses=0]
50
51define internal void @0() nounwind {
52entry:
53  store void()* @0, void()** @h
54        br label %return
55
56return:         ; preds = %entry
57        ret void
58}
59