mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-12-02 16:36:40 +00:00
7dcd99ba17
Summary: This patch improves Inliner to provide causes/reasons for negative inline decisions. 1. It adds one new message field to InlineCost to report causes for Always and Never instances. All Never and Always instantiations must provide a simple message. 2. Several functions that used to return the inlining results as boolean are changed to return InlineResult which carries the cause for negative decision. 3. Changed remark priniting and debug output messages to provide the additional messages and related inline cost. 4. Adjusted tests for changed printing. Patch by: yrouban (Yevgeny Rouban) Reviewers: craig.topper, sammccall, sgraenitz, NutshellySima, shchenz, chandlerc, apilipenko, javed.absar, tejohnson, dblaikie, sanjoy, eraman, xbolva00 Reviewed By: tejohnson, xbolva00 Subscribers: xbolva00, llvm-commits, arsenm, mehdi_amini, eraman, haicheng, steven_wu, dexonsmith Differential Revision: https://reviews.llvm.org/D49412 llvm-svn: 338969
119 lines
4.4 KiB
LLVM
119 lines
4.4 KiB
LLVM
; RUN: llvm-as < %s >%t.bc
|
|
; PR21108: Diagnostic handlers get pass remarks, even if they're not enabled.
|
|
|
|
; Confirm that there are -pass-remarks.
|
|
; RUN: llvm-lto -pass-remarks=inline \
|
|
; RUN: -exported-symbol _func2 -pass-remarks-analysis=loop-vectorize \
|
|
; RUN: -exported-symbol _main -o %t.o %t.bc 2>&1 | \
|
|
; RUN: FileCheck %s -allow-empty -check-prefix=REMARKS
|
|
; RUN: llvm-nm %t.o | FileCheck %s -check-prefix NM
|
|
|
|
; RUN: llvm-lto -pass-remarks=inline -use-diagnostic-handler \
|
|
; RUN: -exported-symbol _func2 -pass-remarks-analysis=loop-vectorize \
|
|
; RUN: -exported-symbol _main -o %t.o %t.bc 2>&1 | \
|
|
; RUN: FileCheck %s -allow-empty -check-prefix=REMARKS_DH
|
|
; RUN: llvm-nm %t.o | FileCheck %s -check-prefix NM
|
|
|
|
; Confirm that -pass-remarks are not printed by default.
|
|
; RUN: llvm-lto \
|
|
; RUN: -exported-symbol _func2 \
|
|
; RUN: -exported-symbol _main -o %t.o %t.bc 2>&1 | \
|
|
; RUN: FileCheck %s -allow-empty
|
|
; RUN: llvm-nm %t.o | FileCheck %s -check-prefix NM
|
|
|
|
; RUN: llvm-lto -use-diagnostic-handler \
|
|
; RUN: -exported-symbol _func2 \
|
|
; RUN: -exported-symbol _main -o %t.o %t.bc 2>&1 | \
|
|
; RUN: FileCheck %s -allow-empty
|
|
; RUN: llvm-nm %t.o | FileCheck %s -check-prefix NM
|
|
|
|
; Optimization records are collected regardless of the diagnostic handler
|
|
; RUN: rm -f %t.yaml
|
|
; RUN: llvm-lto -lto-pass-remarks-output=%t.yaml \
|
|
; RUN: -exported-symbol _func2 \
|
|
; RUN: -exported-symbol _main -o %t.o %t.bc 2>&1 | \
|
|
; RUN: FileCheck %s -allow-empty
|
|
; RUN: cat %t.yaml | FileCheck %s -check-prefix=YAML
|
|
|
|
; REMARKS: remark: {{.*}} foo inlined into main
|
|
; REMARKS: remark: {{.*}} loop not vectorized: cannot prove it is safe to reorder memory operations
|
|
; REMARKS_DH: llvm-lto: remark: {{.*}} foo inlined into main
|
|
; REMARKS_DH: llvm-lto: remark: {{.*}} loop not vectorized: cannot prove it is safe to reorder memory operations
|
|
; CHECK-NOT: remark:
|
|
; CHECK-NOT: llvm-lto:
|
|
; NM-NOT: foo
|
|
; NM: func2
|
|
; NM: main
|
|
|
|
; YAML: --- !Passed
|
|
; YAML-NEXT: Pass: inline
|
|
; YAML-NEXT: Name: Inlined
|
|
; YAML-NEXT: Function: main
|
|
; YAML-NEXT: Args:
|
|
; YAML-NEXT: - Callee: foo
|
|
; YAML-NEXT: - String: ' inlined into '
|
|
; YAML-NEXT: - Caller: main
|
|
; YAML-NEXT: - String: ' with '
|
|
; YAML-NEXT: - String: '(cost='
|
|
; YAML-NEXT: - Cost: '-15000'
|
|
; YAML-NEXT: - String: ', threshold='
|
|
; YAML-NEXT: - Threshold: '337'
|
|
; YAML-NEXT: - String: ')'
|
|
; YAML-NEXT: ...
|
|
|
|
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-apple-darwin"
|
|
|
|
declare i32 @bar()
|
|
|
|
define i32 @foo() {
|
|
%a = call i32 @bar()
|
|
ret i32 %a
|
|
}
|
|
|
|
define i32 @main() {
|
|
%i = call i32 @foo()
|
|
ret i32 %i
|
|
}
|
|
|
|
define i32 @func2(i32* %out, i32* %out2, i32* %A, i32* %B, i32* %C, i32* %D, i32* %E, i32* %F) {
|
|
entry:
|
|
br label %for.body
|
|
|
|
for.body: ; preds = %for.body, %entry
|
|
%i.037 = phi i64 [ 0, %entry ], [ %inc, %for.body ]
|
|
%arrayidx = getelementptr inbounds i32, i32* %A, i64 %i.037
|
|
%0 = load i32, i32* %arrayidx, align 4
|
|
%arrayidx1 = getelementptr inbounds i32, i32* %B, i64 %i.037
|
|
%1 = load i32, i32* %arrayidx1, align 4
|
|
%add = add nsw i32 %1, %0
|
|
%arrayidx2 = getelementptr inbounds i32, i32* %C, i64 %i.037
|
|
%2 = load i32, i32* %arrayidx2, align 4
|
|
%add3 = add nsw i32 %add, %2
|
|
%arrayidx4 = getelementptr inbounds i32, i32* %E, i64 %i.037
|
|
%3 = load i32, i32* %arrayidx4, align 4
|
|
%add5 = add nsw i32 %add3, %3
|
|
%arrayidx6 = getelementptr inbounds i32, i32* %F, i64 %i.037
|
|
%4 = load i32, i32* %arrayidx6, align 4
|
|
%add7 = add nsw i32 %add5, %4
|
|
%arrayidx8 = getelementptr inbounds i32, i32* %out, i64 %i.037
|
|
store i32 %add7, i32* %arrayidx8, align 4
|
|
%5 = load i32, i32* %arrayidx, align 4
|
|
%6 = load i32, i32* %arrayidx1, align 4
|
|
%add11 = add nsw i32 %6, %5
|
|
%7 = load i32, i32* %arrayidx2, align 4
|
|
%add13 = add nsw i32 %add11, %7
|
|
%8 = load i32, i32* %arrayidx4, align 4
|
|
%add15 = add nsw i32 %add13, %8
|
|
%9 = load i32, i32* %arrayidx6, align 4
|
|
%add17 = add nsw i32 %add15, %9
|
|
%arrayidx18 = getelementptr inbounds i32, i32* %out2, i64 %i.037
|
|
store i32 %add17, i32* %arrayidx18, align 4
|
|
%inc = add i64 %i.037, 1
|
|
%exitcond = icmp eq i64 %inc, 256
|
|
br i1 %exitcond, label %for.end, label %for.body
|
|
|
|
for.end: ; preds = %for.body
|
|
ret i32 undef
|
|
}
|