commit | 268d81bfa6971db1f409953788993f1cec9da4bf | [log] [tgz] |
---|---|---|
author | Florian Hahn <flo@fhahn.com> | Tue Mar 07 17:10:34 2023 +0100 |
committer | Copybara-Service <copybara-worker@google.com> | Tue Mar 07 08:13:10 2023 -0800 |
tree | f56847712784c9fc2fd999182f5d292777a56f2b | |
parent | 26f64b690d1d217fd0b4e185b23b79088e099520 [diff] |
[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 GitOrigin-RevId: 7019624ee124c0560567923ecd808c2d36c40f14