1; RUN: llc -march=mips < %s | FileCheck %s 2 3define double @foo(double %a, double %b) nounwind readnone { 4entry: 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 12if.else: ; preds = %entry 13 %cmp3 = fcmp ogt double %b, 0.000000e+00 14 br i1 %cmp3, label %if.end6, label %return 15 16if.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 22return: ; 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 27define void @f1(float %f) nounwind { 28entry: 29; CHECK: bc1t $BB1_2 30; CHECK: nop 31; CHECK: # BB#1: 32 %cmp = fcmp une float %f, 0.000000e+00 33 br i1 %cmp, label %if.then, label %if.end 34 35if.then: ; preds = %entry 36 tail call void @abort() noreturn 37 unreachable 38 39if.end: ; preds = %entry 40 tail call void (...)* @f2() nounwind 41 ret void 42} 43 44declare void @abort() noreturn nounwind 45 46declare void @f2(...) 47