mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-01 08:23:21 +01:00
065798cd82
checker. Amusingly, we already had tests that we should have rejects because they would be miscompiled in the testsuite. The remaining issue with this is that we don't check that the branch causes us to exit the loop if it fails, so we don't actually know if we remain in bounds. llvm-svn: 100284
93 lines
2.3 KiB
LLVM
93 lines
2.3 KiB
LLVM
; RUN: opt < %s -indvars -S | FileCheck %s
|
|
define void @test1() nounwind {
|
|
entry:
|
|
br label %bb
|
|
|
|
bb: ; preds = %bb, %entry
|
|
%x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2]
|
|
%0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0]
|
|
%1 = fadd double %x.0.reg2mem.0, 1.000000e+00 ; <double> [#uses=2]
|
|
%2 = fcmp olt double %1, 1.000000e+04 ; <i1> [#uses=1]
|
|
br i1 %2, label %bb, label %return
|
|
|
|
return: ; preds = %bb
|
|
ret void
|
|
; CHECK: @test1
|
|
; CHECK: icmp
|
|
}
|
|
|
|
declare i32 @foo(double)
|
|
|
|
define void @test2() nounwind {
|
|
entry:
|
|
br label %bb
|
|
|
|
bb: ; preds = %bb, %entry
|
|
%x.0.reg2mem.0 = phi double [ -10.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2]
|
|
%0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0]
|
|
%1 = fadd double %x.0.reg2mem.0, 2.000000e+00 ; <double> [#uses=2]
|
|
%2 = fcmp olt double %1, -1.000000e+00 ; <i1> [#uses=1]
|
|
br i1 %2, label %bb, label %return
|
|
|
|
return: ; preds = %bb
|
|
ret void
|
|
; CHECK: @test2
|
|
; CHECK: icmp
|
|
}
|
|
|
|
|
|
define void @test3() nounwind {
|
|
entry:
|
|
br label %bb
|
|
|
|
bb: ; preds = %bb, %entry
|
|
%x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ]
|
|
%0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind
|
|
%1 = fadd double %x.0.reg2mem.0, 1.000000e+00
|
|
%2 = fcmp olt double %1, -1.000000e+00
|
|
br i1 %2, label %bb, label %return
|
|
|
|
return:
|
|
ret void
|
|
; CHECK: @test3
|
|
; CHECK: fcmp
|
|
}
|
|
|
|
define void @test4() nounwind {
|
|
entry:
|
|
br label %bb
|
|
|
|
bb: ; preds = %bb, %entry
|
|
%x.0.reg2mem.0 = phi double [ 40.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2]
|
|
%0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0]
|
|
%1 = fadd double %x.0.reg2mem.0, -1.000000e+00 ; <double> [#uses=2]
|
|
%2 = fcmp olt double %1, 1.000000e+00 ; <i1> [#uses=1]
|
|
br i1 %2, label %bb, label %return
|
|
|
|
return:
|
|
ret void
|
|
; CHECK: @test4
|
|
; CHECK: fcmp
|
|
}
|
|
|
|
; PR6761
|
|
define void @test5() nounwind {
|
|
; <label>:0
|
|
br label %1
|
|
|
|
; <label>:1 ; preds = %1, %0
|
|
%2 = phi double [ 9.000000e+00, %0 ], [ %4, %1 ] ; <double> [#uses=1]
|
|
%3 = tail call i32 @foo(double 0.0) ; <i32> [#uses=0]
|
|
%4 = fadd double %2, -1.000000e+00 ; <double> [#uses=2]
|
|
%5 = fcmp ult double %4, 0.000000e+00 ; <i1> [#uses=1]
|
|
br i1 %5, label %exit, label %1
|
|
|
|
exit:
|
|
ret void
|
|
|
|
; CHECK: @test5
|
|
; CHECK: icmp eq i32 {{.*}}, 10
|
|
; CHECK-NEXT: br i1
|
|
}
|
|
|