[ValueTracking] Add tests for non-zero shl recurrences (NFC)

diff --git a/llvm/test/Analysis/ValueTracking/monotonic-phi.ll b/llvm/test/Analysis/ValueTracking/monotonic-phi.ll
index 218cc222026b0e90f9b4039832b46e02f0a4da45..43d39f50d3b0fcf34b992c87c38ea1977a056a65 100644 (file)
--- a/llvm/test/Analysis/ValueTracking/monotonic-phi.ll
+++ b/llvm/test/Analysis/ValueTracking/monotonic-phi.ll
@@ -182,7 +182,7 @@ exit:
   ret i1 %cmp
 }
 
-define i1 @test_mul_nsw(i8 %p, i8* %pq, i8 %n, i8 %r) {
+define i1 @test_mul_nsw(i8 %p, i8* %pq, i8 %n) {
 ; CHECK-LABEL: @test_mul_nsw(
 ; CHECK-NEXT:  entry:
 ; CHECK-NEXT:    br label [[LOOP:%.*]]
@@ -206,7 +206,7 @@ exit:
   ret i1 %cmp
 }
 
-define i1 @test_mul_may_wrap(i8 %p, i8* %pq, i8 %n, i8 %r) {
+define i1 @test_mul_may_wrap(i8 %p, i8* %pq, i8 %n) {
 ; CHECK-LABEL: @test_mul_may_wrap(
 ; CHECK-NEXT:  entry:
 ; CHECK-NEXT:    br label [[LOOP:%.*]]
@@ -231,7 +231,7 @@ exit:
   ret i1 %cmp
 }
 
-define i1 @test_mul_nuw(i8 %p, i8* %pq, i8 %n, i8 %r) {
+define i1 @test_mul_nuw(i8 %p, i8* %pq, i8 %n) {
 ; CHECK-LABEL: @test_mul_nuw(
 ; CHECK-NEXT:  entry:
 ; CHECK-NEXT:    br label [[LOOP:%.*]]
@@ -255,7 +255,7 @@ exit:
   ret i1 %cmp
 }
 
-define i1 @test_mul_zero_start(i8 %p, i8* %pq, i8 %n, i8 %r) {
+define i1 @test_mul_zero_start(i8 %p, i8* %pq, i8 %n) {
 ; CHECK-LABEL: @test_mul_zero_start(
 ; CHECK-NEXT:  entry:
 ; CHECK-NEXT:    br label [[LOOP:%.*]]
@@ -280,7 +280,7 @@ exit:
   ret i1 %cmp
 }
 
-define i1 @test_mul_nuw_negative_step(i8 %p, i8* %pq, i8 %n, i8 %r) {
+define i1 @test_mul_nuw_negative_step(i8 %p, i8* %pq, i8 %n) {
 ; CHECK-LABEL: @test_mul_nuw_negative_step(
 ; CHECK-NEXT:  entry:
 ; CHECK-NEXT:    br label [[LOOP:%.*]]
@@ -304,7 +304,7 @@ exit:
   ret i1 %cmp
 }
 
-define i1 @test_mul_nsw_negative_step(i8 %p, i8* %pq, i8 %n, i8 %r) {
+define i1 @test_mul_nsw_negative_step(i8 %p, i8* %pq, i8 %n) {
 ; CHECK-LABEL: @test_mul_nsw_negative_step(
 ; CHECK-NEXT:  entry:
 ; CHECK-NEXT:    br label [[LOOP:%.*]]
@@ -329,7 +329,7 @@ exit:
   ret i1 %cmp
 }
 
-define i1 @test_mul_nuw_negative_start(i8 %p, i8* %pq, i8 %n, i8 %r) {
+define i1 @test_mul_nuw_negative_start(i8 %p, i8* %pq, i8 %n) {
 ; CHECK-LABEL: @test_mul_nuw_negative_start(
 ; CHECK-NEXT:  entry:
 ; CHECK-NEXT:    br label [[LOOP:%.*]]
@@ -352,3 +352,128 @@ exit:
   %cmp = icmp eq i8 %A, 0
   ret i1 %cmp
 }
+
+define i1 @test_shl_nuw(i8 %p, i8* %pq, i8 %n) {
+; CHECK-LABEL: @test_shl_nuw(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       loop:
+; CHECK-NEXT:    [[A:%.*]] = phi i8 [ 1, [[ENTRY:%.*]] ], [ [[NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT:    [[NEXT]] = shl nuw i8 [[A]], 1
+; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 [[A]], [[N:%.*]]
+; CHECK-NEXT:    br i1 [[CMP1]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK:       exit:
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[A]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+entry:
+  br label %loop
+loop:
+  %A = phi i8 [ 1, %entry ], [ %next, %loop ]
+  %next = shl nuw i8 %A, 1
+  %cmp1 = icmp eq i8 %A, %n
+  br i1 %cmp1, label %exit, label %loop
+exit:
+  %cmp = icmp eq i8 %A, 0
+  ret i1 %cmp
+}
+
+define i1 @test_shl_nsw(i8 %p, i8* %pq, i8 %n) {
+; CHECK-LABEL: @test_shl_nsw(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       loop:
+; CHECK-NEXT:    [[A:%.*]] = phi i8 [ 1, [[ENTRY:%.*]] ], [ [[NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT:    [[NEXT]] = shl nsw i8 [[A]], 1
+; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 [[A]], [[N:%.*]]
+; CHECK-NEXT:    br i1 [[CMP1]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK:       exit:
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[A]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+entry:
+  br label %loop
+loop:
+  %A = phi i8 [ 1, %entry ], [ %next, %loop ]
+  %next = shl nsw i8 %A, 1
+  %cmp1 = icmp eq i8 %A, %n
+  br i1 %cmp1, label %exit, label %loop
+exit:
+  %cmp = icmp eq i8 %A, 0
+  ret i1 %cmp
+}
+
+define i1 @test_shl_dynamic_shift(i8 %p, i8* %pq, i8 %n, i8 %shift) {
+; CHECK-LABEL: @test_shl_dynamic_shift(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       loop:
+; CHECK-NEXT:    [[A:%.*]] = phi i8 [ 1, [[ENTRY:%.*]] ], [ [[NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT:    [[NEXT]] = shl nuw i8 [[A]], [[SHIFT:%.*]]
+; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 [[A]], [[N:%.*]]
+; CHECK-NEXT:    br i1 [[CMP1]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK:       exit:
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[A]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+entry:
+  br label %loop
+loop:
+  %A = phi i8 [ 1, %entry ], [ %next, %loop ]
+  %next = shl nuw i8 %A, %shift
+  %cmp1 = icmp eq i8 %A, %n
+  br i1 %cmp1, label %exit, label %loop
+exit:
+  %cmp = icmp eq i8 %A, 0
+  ret i1 %cmp
+}
+
+define i1 @test_shl_may_wrap(i8 %p, i8* %pq, i8 %n) {
+; CHECK-LABEL: @test_shl_may_wrap(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       loop:
+; CHECK-NEXT:    [[A:%.*]] = phi i8 [ 1, [[ENTRY:%.*]] ], [ [[NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT:    [[NEXT]] = shl i8 [[A]], 1
+; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 [[A]], [[N:%.*]]
+; CHECK-NEXT:    br i1 [[CMP1]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK:       exit:
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[A]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+entry:
+  br label %loop
+loop:
+  %A = phi i8 [ 1, %entry ], [ %next, %loop ]
+  %next = shl i8 %A, 1
+  %cmp1 = icmp eq i8 %A, %n
+  br i1 %cmp1, label %exit, label %loop
+exit:
+  %cmp = icmp eq i8 %A, 0
+  ret i1 %cmp
+}
+
+define i1 @test_shl_zero_start(i8 %p, i8* %pq, i8 %n) {
+; CHECK-LABEL: @test_shl_zero_start(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       loop:
+; CHECK-NEXT:    [[A:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT:    [[NEXT]] = shl nuw i8 [[A]], 1
+; CHECK-NEXT:    [[CMP1:%.*]] = icmp eq i8 [[A]], [[N:%.*]]
+; CHECK-NEXT:    br i1 [[CMP1]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK:       exit:
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[A]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+entry:
+  br label %loop
+loop:
+  %A = phi i8 [ 0, %entry ], [ %next, %loop ]
+  %next = shl nuw i8 %A, 1
+  %cmp1 = icmp eq i8 %A, %n
+  br i1 %cmp1, label %exit, label %loop
+exit:
+  %cmp = icmp eq i8 %A, 0
+  ret i1 %cmp
+}