1 ; RUN: llc -march=mips < %s | FileCheck %s 2 3 define double @foo(double %a, double %b) nounwind readnone { 4 entry: 5 ; CHECK: bc1f $BB0_2 6 ; CHECK: nop 7 ; CHECK: # BB#1: 8 9 %cmp = fcmp ogt double %a, 0.000000e+00 10 br i1 %cmp, label %if.end6, label %if.else 11 12 if.else: ; preds = %entry 13 %cmp3 = fcmp ogt double %b, 0.000000e+00 14 br i1 %cmp3, label %if.end6, label %return 15 16 if.end6: ; preds = %if.else, %entry 17 %c.0 = phi double [ %a, %entry ], [ 0.000000e+00, %if.else ] 18 %sub = fsub double %b, %c.0 19 %mul = fmul double %sub, 2.000000e+00 20 br label %return 21 22 return: ; preds = %if.else, %if.end6 23 %retval.0 = phi double [ %mul, %if.end6 ], [ 0.000000e+00, %if.else ] 24 ret double %retval.0 25 } 26 27 define void @f1(float %f) nounwind { 28 entry: 29 ; CHECK: bc1f $BB1_1 30 ; CHECK: nop 31 ; CHECK: # BB#2: 32 %cmp = fcmp une float %f, 0.000000e+00 33 br i1 %cmp, label %if.then, label %if.end 34 35 if.then: ; preds = %entry 36 tail call void @abort() noreturn 37 unreachable 38 39 if.end: ; preds = %entry 40 tail call void (...)* @f2() nounwind 41 ret void 42 } 43 44 declare void @abort() noreturn nounwind 45 46 declare void @f2(...) 47
