test/CodeGen/Mips/analyzebranch.ll

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