[llvm] 5799d13 - [CVP] Add test for incorrect use of range with undef (NFC)

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2023-12-12T11:26:00+01:00
New Revision: 5799d1310759bf71edb62e050e2ed884c8f575f0

URL: https://github.com/llvm/llvm-project/commit/5799d1310759bf71edb62e050e2ed884c8f575f0
DIFF: https://github.com/llvm/llvm-project/commit/5799d1310759bf71edb62e050e2ed884c8f575f0.diff

LOG: [CVP] Add test for incorrect use of range with undef (NFC)

Added: 
    

Modified: 
    llvm/test/Transforms/CorrelatedValuePropagation/add.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/CorrelatedValuePropagation/add.ll b/llvm/test/Transforms/CorrelatedValuePropagation/add.ll
index d2b543168253a4..0768408563f5c1 100644
--- a/llvm/test/Transforms/CorrelatedValuePropagation/add.ll
+++ b/llvm/test/Transforms/CorrelatedValuePropagation/add.ll
@@ -527,6 +527,42 @@ exit:
   ret i32 %acc.curr
 }
 
+; FIXME: This is a miscompile.
+define i32 @test_undef_range(i32 %x) {
+; CHECK-LABEL: define i32 @test_undef_range(
+; CHECK-SAME: i32 [[X:%.*]]) {
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    switch i32 [[X]], label [[JOIN:%.*]] [
+; CHECK-NEXT:      i32 1, label [[CASE1:%.*]]
+; CHECK-NEXT:      i32 2, label [[CASE2:%.*]]
+; CHECK-NEXT:    ]
+; CHECK:       case1:
+; CHECK-NEXT:    br label [[JOIN]]
+; CHECK:       case2:
+; CHECK-NEXT:    br label [[JOIN]]
+; CHECK:       join:
+; CHECK-NEXT:    [[PHI:%.*]] = phi i32 [ 1, [[CASE1]] ], [ 2, [[CASE2]] ], [ undef, [[ENTRY:%.*]] ]
+; CHECK-NEXT:    [[ADD:%.*]] = add nuw nsw i32 [[PHI]], 1
+; CHECK-NEXT:    ret i32 [[ADD]]
+;
+entry:
+  switch i32 %x, label %join [
+  i32 1, label %case1
+  i32 2, label %case2
+  ]
+
+case1:
+  br label %join
+
+case2:
+  br label %join
+
+join:
+  %phi = phi i32 [ 1, %case1 ], [ 2, %case2 ], [ undef, %entry ]
+  %add = add i32 %phi, 1
+  ret i32 %add
+}
+
 ;.
 ; CHECK: [[RNG0]] = !{i32 0, i32 2147483647}
 ;.