diff options
| author | Nikita Popov <npopov@redhat.com> | 2022-05-10 12:07:20 +0200 |
|---|---|---|
| committer | Nikita Popov <npopov@redhat.com> | 2022-06-01 10:46:06 +0200 |
| commit | 03aceab08bc9439e454d827bd1ffc94659c2c510 (patch) | |
| tree | 0605ec770621788ce1cafece84bedeb1a8b92883 /polly | |
| parent | 299baac64da32ed995098c43f99091dfd2694699 (diff) | |
| download | llvm-03aceab08bc9439e454d827bd1ffc94659c2c510.zip llvm-03aceab08bc9439e454d827bd1ffc94659c2c510.tar.gz llvm-03aceab08bc9439e454d827bd1ffc94659c2c510.tar.bz2 | |
[ValueTracking] Enable -branch-on-poison-as-ub by default
Now that SimpleLoopUnswitch and other transforms no longer introduce
branch on poison, enable the -branch-on-poison-as-ub option by
default. The practical impact of this is mostly better flag
preservation in SCEV, and some freeze instructions no longer being
necessary.
Differential Revision: https://reviews.llvm.org/D125299
Diffstat (limited to 'polly')
| -rw-r--r-- | polly/test/DeLICM/pr41656.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/test/DeLICM/pr41656.ll b/polly/test/DeLICM/pr41656.ll index e3e45ee..61f1a6f 100644 --- a/polly/test/DeLICM/pr41656.ll +++ b/polly/test/DeLICM/pr41656.ll @@ -82,7 +82,7 @@ attributes #2 = { nounwind } ; CHECK: Invalid Context: -; CHECK-NEXT: [call24] -> { : call24 <= 2 } +; CHECK-NEXT: [call24] -> { : false } ; CHECK: Defined Behavior Context: ; CHECK-NEXT: [call24] -> { : 3 <= call24 <= 2147483647 } |