2011-04-01 17:39:08 +00:00
|
|
|
; RUN: llc -march=mips < %s | FileCheck %s
|
|
|
|
|
|
|
|
|
|
define double @foo(double %a, double %b) nounwind readnone {
|
|
|
|
|
entry:
|
2012-05-12 03:25:16 +00:00
|
|
|
; CHECK: bc1f $BB
|
2011-04-01 17:39:08 +00:00
|
|
|
; CHECK: nop
|
|
|
|
|
|
|
|
|
|
%cmp = fcmp ogt double %a, 0.000000e+00
|
|
|
|
|
br i1 %cmp, label %if.end6, label %if.else
|
|
|
|
|
|
|
|
|
|
if.else: ; preds = %entry
|
|
|
|
|
%cmp3 = fcmp ogt double %b, 0.000000e+00
|
|
|
|
|
br i1 %cmp3, label %if.end6, label %return
|
|
|
|
|
|
|
|
|
|
if.end6: ; preds = %if.else, %entry
|
|
|
|
|
%c.0 = phi double [ %a, %entry ], [ 0.000000e+00, %if.else ]
|
|
|
|
|
%sub = fsub double %b, %c.0
|
|
|
|
|
%mul = fmul double %sub, 2.000000e+00
|
|
|
|
|
br label %return
|
|
|
|
|
|
|
|
|
|
return: ; preds = %if.else, %if.end6
|
|
|
|
|
%retval.0 = phi double [ %mul, %if.end6 ], [ 0.000000e+00, %if.else ]
|
|
|
|
|
ret double %retval.0
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
define void @f1(float %f) nounwind {
|
|
|
|
|
entry:
|
2012-05-12 03:25:16 +00:00
|
|
|
; CHECK: bc1f $BB
|
2011-04-01 17:39:08 +00:00
|
|
|
; CHECK: nop
|
|
|
|
|
%cmp = fcmp une float %f, 0.000000e+00
|
|
|
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
|
|
|
|
|
|
if.then: ; preds = %entry
|
|
|
|
|
tail call void @abort() noreturn
|
|
|
|
|
unreachable
|
|
|
|
|
|
|
|
|
|
if.end: ; preds = %entry
|
|
|
|
|
tail call void (...)* @f2() nounwind
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
declare void @abort() noreturn nounwind
|
|
|
|
|
|
|
|
|
|
declare void @f2(...)
|
