61 lines
1.8 KiB
LLVM
61 lines
1.8 KiB
LLVM
; 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
|
|
}
|