diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2020-10-12 11:00:52 +0300 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2020-10-12 11:04:03 +0300 |
| commit | 1c021c64caef83cccb719c9bf0a2554faa6563af (patch) | |
| tree | 9838ab889be47b38cd937b828f5678f3e3a4fea6 /polly | |
| parent | c5ba0d33cc060cc06a28a5d9101060afd1c0ee9a (diff) | |
| download | llvm-1c021c64caef83cccb719c9bf0a2554faa6563af.zip llvm-1c021c64caef83cccb719c9bf0a2554faa6563af.tar.gz llvm-1c021c64caef83cccb719c9bf0a2554faa6563af.tar.bz2 | |
[SCEV] Model ptrtoint(SCEVUnknown) cast not as unknown, but as zext/trunc/self of SCEVUnknown
While we indeed can't treat them as no-ops, i believe we can/should
do better than just modelling them as `unknown`. `inttoptr` story
is complicated, but for `ptrtoint`, it seems straight-forward
to model it just as a zext-or-trunc of unknown.
This may be important now that we track towards
making inttoptr/ptrtoint casts not no-op,
and towards preventing folding them into loads/etc
(see D88979/D88789/D88788)
Reviewed By: mkazantsev
Differential Revision: https://reviews.llvm.org/D88806
Diffstat (limited to 'polly')
| -rw-r--r-- | polly/test/Isl/CodeGen/scev_looking_through_bitcasts.ll | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/polly/test/Isl/CodeGen/scev_looking_through_bitcasts.ll b/polly/test/Isl/CodeGen/scev_looking_through_bitcasts.ll index 1012e23..321e98a 100644 --- a/polly/test/Isl/CodeGen/scev_looking_through_bitcasts.ll +++ b/polly/test/Isl/CodeGen/scev_looking_through_bitcasts.ll @@ -32,6 +32,5 @@ bitmap_element_allocate.exit: ; CHECK: polly.stmt.cond.end73.i: -; CHECK-NEXT: %0 = bitcast %structty** %b.s2a to i8** -; CHECK-NEXT: store i8* undef, i8** %0 +; CHECK-NEXT: store %structty* undef, %structty** %b.s2a ; CHECK-NEXT: br label %polly.exiting |