From f8742b8d6a3489dc8974f4166d413a66cb8d9c21 Mon Sep 17 00:00:00 2001 From: Philip Reames Date: Tue, 31 Oct 2023 09:33:07 -0700 Subject: [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. --- polly/test/CodeGen/partial_write_in_region_with_loop.ll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'polly') 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 -- cgit v1.1