diff options
author | Philip Reames <preames@rivosinc.com> | 2023-10-31 09:33:07 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-31 09:33:07 -0700 |
commit | f8742b8d6a3489dc8974f4166d413a66cb8d9c21 (patch) | |
tree | cd33bfb899226d1363d90de7dd727dd945cde072 /polly | |
parent | 6be0e979896f7dd610abf263f845c532f1be3762 (diff) | |
download | llvm-f8742b8d6a3489dc8974f4166d413a66cb8d9c21.zip llvm-f8742b8d6a3489dc8974f4166d413a66cb8d9c21.tar.gz llvm-f8742b8d6a3489dc8974f4166d413a66cb8d9c21.tar.bz2 |
[SCEV] Teach SCEVExpander to use zext nneg when possible (#70815)
zext nneg was recently added to the IR in #67982. Teaching SCEVExpander
to emit nneg when possible is valuable since SCEV may have proved
non-trivial facts about loop bounds which would otherwise be lost when
materializing the value.
Diffstat (limited to 'polly')
-rw-r--r-- | polly/test/CodeGen/partial_write_in_region_with_loop.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/test/CodeGen/partial_write_in_region_with_loop.ll b/polly/test/CodeGen/partial_write_in_region_with_loop.ll index 5af0985..48a9dbe 100644 --- a/polly/test/CodeGen/partial_write_in_region_with_loop.ll +++ b/polly/test/CodeGen/partial_write_in_region_with_loop.ll @@ -9,7 +9,7 @@ ; CHECK:polly.stmt.bb3: ; CHECK-NEXT: %polly.subregion.iv = phi i32 [ %polly.subregion.iv.inc, %polly.stmt.bb5.cont ], [ 0, %polly.stmt.bb3.entry ] ; CHECK-NEXT: %polly.j.0 = phi i64 [ %j.0.phiops.reload, %polly.stmt.bb3.entry ], [ %p_tmp10, %polly.stmt.bb5.cont ] -; CHECK-NEXT: %8 = zext i64 %polly.indvar to i65 +; CHECK-NEXT: %8 = zext nneg i64 %polly.indvar to i65 ; CHECK-NEXT: %9 = add nsw i64 %polly.indvar, -1 ; CHECK-NEXT: %10 = zext i64 %9 to i65 ; CHECK-NEXT: %11 = mul i65 %8, %10 |