2d28f7aa07
To be able to work accurately on the reference graph when taking decision about internalizing, promoting, renaming, etc. We need to have the alias information explicit. Differential Revision: http://reviews.llvm.org/D18836 From: Mehdi Amini <mehdi.amini@apple.com> llvm-svn: 266517
58 lines
1.8 KiB
LLVM
58 lines
1.8 KiB
LLVM
; RUN: opt -name-anon-functions -module-summary < %s | llvm-bcanalyzer -dump | FileCheck %s -check-prefix=BC
|
|
; Check for summary block/records.
|
|
|
|
; Check the value ids in the summary entries against the
|
|
; same in the ValueSumbolTable, to ensure the ordering is stable.
|
|
; Also check the linkage field on the summary entries.
|
|
; BC: <GLOBALVAL_SUMMARY_BLOCK
|
|
; BC-NEXT: <PERMODULE {{.*}} op0=1 op1=0
|
|
; BC-NEXT: <PERMODULE {{.*}} op0=2 op1=0
|
|
; BC-NEXT: <PERMODULE {{.*}} op0=3 op1=3
|
|
; BC-NEXT: <ALIAS {{.*}} op0=4 op1=0 op2=3
|
|
; BC-NEXT: </GLOBALVAL_SUMMARY_BLOCK
|
|
; BC-NEXT: <VALUE_SYMTAB
|
|
; BC-NEXT: <FNENTRY {{.*}} op0=3 {{.*}}> record string = 'anon.
|
|
; BC-NEXT: <FNENTRY {{.*}} op0=1 {{.*}}> record string = 'foo'
|
|
; BC-NEXT: <FNENTRY {{.*}} op0=2 {{.*}}> record string = 'bar'
|
|
; BC-NEXT: <FNENTRY {{.*}} op0=4 {{.*}}> record string = 'f'
|
|
|
|
; RUN: opt -name-anon-functions -module-summary < %s | llvm-dis | FileCheck %s
|
|
; Check that this round-trips correctly.
|
|
|
|
; ModuleID = '<stdin>'
|
|
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-unknown-linux-gnu"
|
|
|
|
; CHECK: define i32 @foo()
|
|
|
|
; Function Attrs: nounwind uwtable
|
|
define i32 @foo() #0 {
|
|
entry:
|
|
ret i32 1
|
|
}
|
|
|
|
; CHECK: define i32 @bar(i32 %x)
|
|
|
|
; Function Attrs: nounwind uwtable
|
|
define i32 @bar(i32 %x) #0 {
|
|
entry:
|
|
ret i32 %x
|
|
}
|
|
|
|
; FIXME: Anonymous function and alias not currently in summary until
|
|
; follow on fixes to rename anonymous functions and emit alias summary
|
|
; entries are committed.
|
|
; Check an anonymous function as well, since in that case only the alias
|
|
; ends up in the value symbol table and having a summary.
|
|
@f = alias void (), void ()* @0 ; <void ()*> [#uses=0]
|
|
@h = external global void ()* ; <void ()*> [#uses=0]
|
|
|
|
define internal void @0() nounwind {
|
|
entry:
|
|
store void()* @0, void()** @h
|
|
br label %return
|
|
|
|
return: ; preds = %entry
|
|
ret void
|
|
}
|