| ; RUN: llc -march=mips < %s | FileCheck %s |
| |
| define double @foo(double %a, double %b) nounwind readnone { |
| entry: |
| ; CHECK: bc1f $BB0_2 |
| ; CHECK: nop |
| ; CHECK: # BB#1: |
| |
| %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: |
| ; CHECK: bc1t $BB1_2 |
| ; CHECK: nop |
| ; CHECK: # BB#1: |
| %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(...) |
