aboutsummaryrefslogtreecommitdiff
path: root/polly
diff options
context:
space:
mode:
authorPhilip Reames <preames@rivosinc.com>2023-10-31 09:33:07 -0700
committerGitHub <noreply@github.com>2023-10-31 09:33:07 -0700
commitf8742b8d6a3489dc8974f4166d413a66cb8d9c21 (patch)
treecd33bfb899226d1363d90de7dd727dd945cde072 /polly
parent6be0e979896f7dd610abf263f845c532f1be3762 (diff)
downloadllvm-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.ll2
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