diff options
| author | Eli Friedman <efriedma@codeaurora.org> | 2017-07-17 23:58:33 +0000 |
|---|---|---|
| committer | Eli Friedman <efriedma@codeaurora.org> | 2017-07-17 23:58:33 +0000 |
| commit | e737fc120e96fbdabab24060ec33567ea6c265db (patch) | |
| tree | 3b044878dbc48ff5ea9928b04d0435d8100120b5 /polly/test/ScopInfo | |
| parent | 7828c88525b4c306d165383b772dd91473a6f03c (diff) | |
| download | bcm5719-llvm-e737fc120e96fbdabab24060ec33567ea6c265db.tar.gz bcm5719-llvm-e737fc120e96fbdabab24060ec33567ea6c265db.zip | |
[Polly] [OptDiag] Updating Polly Diagnostics Remarks
Utilizing newer LLVM diagnostic remark API in order to enable use of
opt-viewer tool. Polly Diagnostic Remarks also now appear in YAML
remark file.
In this patch, I've added the OptimizationRemarkEmitter into certain
classes where remarks are being emitted and update the remark emit calls
itself. I also provide each remark a BasicBlock or Instruction from where
it is being called, in order to compute the hotness of the remark.
Patch by Tarun Rajendran!
Differential Revision: https://reviews.llvm.org/D35399
llvm-svn: 308233
Diffstat (limited to 'polly/test/ScopInfo')
| -rw-r--r-- | polly/test/ScopInfo/user_provided_non_dominating_assumptions.ll | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/polly/test/ScopInfo/user_provided_non_dominating_assumptions.ll b/polly/test/ScopInfo/user_provided_non_dominating_assumptions.ll index 1a91aab081c..4ca96ff5742 100644 --- a/polly/test/ScopInfo/user_provided_non_dominating_assumptions.ll +++ b/polly/test/ScopInfo/user_provided_non_dominating_assumptions.ll @@ -16,6 +16,41 @@ ; } ; } ; + + +; RUN: opt %loadPolly -pass-remarks-analysis="polly-scops" -polly-scops \ +; RUN: -polly-precise-inbounds -disable-output < %s 2>&1 -pass-remarks-output=%t.yaml +; RUN: cat %t.yaml | FileCheck -check-prefix=YAML %s +; YAML: --- !Analysis +; YAML: Pass: polly-scops +; YAML: Name: ScopEntry +; YAML: Function: f +; YAML: Args: +; YAML: - String: SCoP begins here. +; YAML: ... +; YAML: --- !Analysis +; YAML: Pass: polly-scops +; YAML: Name: UserAssumption +; YAML: Function: f +; YAML: Args: +; YAML: - String: 'Use user assumption: ' +; YAML: - String: '[i, N, M] -> { : N <= i or (N > i and N >= 0) }' +; YAML: ... +; YAML: --- !Analysis +; YAML: Pass: polly-scops +; YAML: Name: AssumpRestrict +; YAML: Function: f +; YAML: Args: +; YAML: - String: 'Inbounds assumption: [i, N, M] -> { : N <= i or (N > i and M <= 100) }' +; YAML: ... +; YAML: --- !Analysis +; YAML: Pass: polly-scops +; YAML: Name: ScopEnd +; YAML: Function: f +; YAML: Args: +; YAML: - String: SCoP ends here. +; YAML: ... + target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" define void @f(i32* noalias %A, i32* noalias %B, i32 %i, i32 %N, i32 %M, [100 x i32]* %C) { |
