[llvm] 3abdd40 - [SCCP][NFC] Precommit test

[via llvm-commits]

Author: luxufan
Date: 2023-06-10T15:37:09+08:00
New Revision: 3abdd401292d5404636669ee5f970445265d42a5

URL: https://github.com/llvm/llvm-project/commit/3abdd401292d5404636669ee5f970445265d42a5
DIFF: https://github.com/llvm/llvm-project/commit/3abdd401292d5404636669ee5f970445265d42a5.diff

LOG: [SCCP][NFC] Precommit test

Added: 
    

Modified: 
    llvm/test/Transforms/SCCP/intrinsics.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/SCCP/intrinsics.ll b/llvm/test/Transforms/SCCP/intrinsics.ll
index 2fd33dc97c756..6a86337a5e0a9 100644
--- a/llvm/test/Transforms/SCCP/intrinsics.ll
+++ b/llvm/test/Transforms/SCCP/intrinsics.ll
@@ -10,7 +10,7 @@ declare void @use_vec(<2 x i1>)
 
 define void @abs1(ptr %p) {
 ; CHECK-LABEL: @abs1(
-; CHECK-NEXT:    [[X:%.*]] = load i8, ptr [[P:%.*]], align 1, [[RNG0:!range !.*]]
+; CHECK-NEXT:    [[X:%.*]] = load i8, ptr [[P:%.*]], align 1, !range [[RNG0:![0-9]+]]
 ; CHECK-NEXT:    [[ABS:%.*]] = call i8 @llvm.abs.i8(i8 [[X]], i1 false)
 ; CHECK-NEXT:    call void @use(i1 true)
 ; CHECK-NEXT:    call void @use(i1 true)
@@ -62,8 +62,8 @@ define void @abs2_vec(<2 x i8> %x) {
 
 define void @umax1(ptr %p1, ptr %p2) {
 ; CHECK-LABEL: @umax1(
-; CHECK-NEXT:    [[X1:%.*]] = load i8, ptr [[P1:%.*]], align 1, [[RNG1:!range !.*]]
-; CHECK-NEXT:    [[X2:%.*]] = load i8, ptr [[P2:%.*]], align 1, [[RNG2:!range !.*]]
+; CHECK-NEXT:    [[X1:%.*]] = load i8, ptr [[P1:%.*]], align 1, !range [[RNG1:![0-9]+]]
+; CHECK-NEXT:    [[X2:%.*]] = load i8, ptr [[P2:%.*]], align 1, !range [[RNG2:![0-9]+]]
 ; CHECK-NEXT:    [[M:%.*]] = call i8 @llvm.umax.i8(i8 [[X1]], i8 [[X2]])
 ; CHECK-NEXT:    call void @use(i1 true)
 ; CHECK-NEXT:    call void @use(i1 true)
@@ -98,3 +98,28 @@ define void @umax2(i8 %x) {
   call void @use(i1 %cmp)
   ret void
 }
+
+define i8 @umax_including_undef(i1 %c.1, i1 %c.2) {
+; CHECK-LABEL: @umax_including_undef(
+; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[TRUE:%.*]], label [[FALSE:%.*]]
+; CHECK:       true:
+; CHECK-NEXT:    br label [[EXIT:%.*]]
+; CHECK:       false:
+; CHECK-NEXT:    br label [[EXIT]]
+; CHECK:       exit:
+; CHECK-NEXT:    [[P_UMAX:%.*]] = call i8 @llvm.umax.i8(i8 3, i8 1)
+; CHECK-NEXT:    ret i8 [[P_UMAX]]
+;
+  br i1 %c.1, label %true, label %false
+
+true:
+  br label %exit
+
+false:
+  br label %exit
+
+exit:
+  %p = phi i8 [ 3, %true], [ undef, %false ]
+  %p_umax = call i8 @llvm.umax.i8(i8 %p, i8 1)
+  ret i8 %p_umax
+}