--- /dev/null
+; RUN: opt < %s -loop-reroll -S | FileCheck %s
+
+; Check whether rerolling is rejected if values of the base and root
+; instruction are used outside the loop block.
+
+; Only the base/root instructions except a loop increment instruction
+define void @test1() {
+entry:
+ br label %loop1
+
+loop1:
+;CHECK-LABEL: loop1:
+;CHECK-NEXT: %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop1 ]
+;CHECK-NEXT: %indvar.1 = add nsw i64 %indvar, 1
+
+ %indvar = phi i64 [ 0, %entry ], [ %indvar.next, %loop1 ]
+ %indvar.1 = add nsw i64 %indvar, 1
+ %indvar.next = add nsw i64 %indvar, 2
+ %cmp = icmp slt i64 %indvar.next, 200
+ br i1 %cmp, label %loop1, label %exit
+
+exit:
+ %var1 = phi i64 [ %indvar.1, %loop1 ]
+ %var2 = phi i64 [ %indvar, %loop1 ]
+ ret void
+}
+
+; Both the base/root instructions and reduction instructions
+define void @test2() {
+entry:
+ br label %loop2
+
+loop2:
+;CHECK-LABEL: loop2:
+;CHECK-NEXT: %indvar = phi i32 [ 0, %entry ], [ %indvar.next, %loop2 ]
+;CHECK-NEXT: %redvar = phi i32 [ 0, %entry ], [ %add.2, %loop2 ]
+;CHECK-NEXT: %indvar.1 = add nuw nsw i32 %indvar, 1
+;CHECK-NEXT: %indvar.2 = add nuw nsw i32 %indvar, 2
+
+ %indvar = phi i32 [ 0, %entry ], [ %indvar.next, %loop2 ]
+ %redvar = phi i32 [ 0, %entry ], [ %add.2, %loop2 ]
+ %indvar.1 = add nuw nsw i32 %indvar, 1
+ %indvar.2 = add nuw nsw i32 %indvar, 2
+ %mul.0 = mul nsw i32 %indvar, %indvar
+ %mul.1 = mul nsw i32 %indvar.1, %indvar.1
+ %mul.2 = mul nsw i32 %indvar.2, %indvar.2
+ %add.0 = add nsw i32 %redvar, %mul.0
+ %add.1 = add nsw i32 %add.0, %mul.1
+ %add.2 = add nsw i32 %add.1, %mul.2
+ %indvar.next = add nuw nsw i32 %indvar, 3
+ %cmp = icmp slt i32 %indvar.next, 300
+ br i1 %cmp, label %loop2, label %exit
+
+exit:
+ %a = phi i32 [ %indvar, %loop2 ]
+ %b = phi i32 [ %indvar.1, %loop2 ]
+ %c = phi i32 [ %indvar.2, %loop2 ]
+ %x = phi i32 [ %add.2, %loop2 ]
+ ret void
+}