diff options
author | Florian Hahn <flo@fhahn.com> | 2023-03-07 17:10:34 +0100 |
---|---|---|
committer | Florian Hahn <flo@fhahn.com> | 2023-03-07 17:10:34 +0100 |
commit | 7019624ee124c0560567923ecd808c2d36c40f14 (patch) | |
tree | 2e44b34da8d9e91341331468884f8f3657a6160a /polly | |
parent | 38b9fb5a129db3e086610d53b534833273c5b4d0 (diff) | |
download | llvm-7019624ee124c0560567923ecd808c2d36c40f14.tar.gz |
[SCEV] Strengthen nowrap flags via ranges for ARs on construction.
At the moment, proveNoWrapViaConstantRanges is only used when creating
SCEV[Zero,Sign]ExtendExprs. We can get significant improvements by
strengthening flags after creating the AddRec.
I'll also share a follow-up patch that removes the code to strengthen
flags when creating SCEV[Zero,Sign]ExtendExprs. Modifying AddRecs while
creating those can lead to surprising changes.
Compile-time looks neutral:
https://llvm-compile-time-tracker.com/compare.php?from=94676cf8a13c511a9acfc24ed53c98964a87bde3&to=aced434e8b103109104882776824c4136c90030d&stat=instructions:u
Reviewed By: mkazantsev, nikic
Differential Revision: https://reviews.llvm.org/D144050
Diffstat (limited to 'polly')
-rw-r--r-- | polly/test/ScopInfo/20111108-Parameter-not-detected.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/test/ScopInfo/20111108-Parameter-not-detected.ll b/polly/test/ScopInfo/20111108-Parameter-not-detected.ll index f295c8a57dca..f80177cb90e7 100644 --- a/polly/test/ScopInfo/20111108-Parameter-not-detected.ll +++ b/polly/test/ScopInfo/20111108-Parameter-not-detected.ll @@ -50,7 +50,7 @@ for.end7: ; preds = %for.cond ret i32 0 } -; CHECK: p0: {0,+,1}<%for.cond> +; CHECK: p0: {0,+,1}<nuw><nsw><%for.cond> ; ; CHECK: Statements { ; CHECK-NEXT: Stmt_if_then |