test/CodeGen/X86/2007-06-14-branchfold.ll

   1 ; RUN: llc < %s -march=x86 -mcpu=i686 | not grep jmp
   2 ; check that branch folding understands FP_REG_KILL is not a branch
   3
   4 target triple = "i686-pc-linux-gnu"
   5   %struct.FRAME.c34003a = type { float, float }
   6 @report_E = global i8 0   ; <i8*> [#uses=0]
   7
   8 define void @main() {
   9 entry:
  10   %FRAME.31 = alloca %struct.FRAME.c34003a, align 8   ; <%struct.FRAME.c34003a*> [#uses=4]
  11   %tmp20 = call i32 @report__ident_int( i32 -50 )   ; <i32> [#uses=1]
  12   %tmp2021 = sitofp i32 %tmp20 to float   ; <float> [#uses=5]
  13   %tmp23 = fcmp ult float %tmp2021, 0xC7EFFFFFE0000000    ; <i1> [#uses=1]
  14   %tmp26 = fcmp ugt float %tmp2021, 0x47EFFFFFE0000000    ; <i1> [#uses=1]
  15   %bothcond = or i1 %tmp23, %tmp26    ; <i1> [#uses=1]
  16   br i1 %bothcond, label %bb, label %bb30
  17
  18 bb:   ; preds = %entry
  19   unwind
  20
  21 bb30:   ; preds = %entry
  22   %tmp35 = call i32 @report__ident_int( i32 50 )    ; <i32> [#uses=1]
  23   %tmp3536 = sitofp i32 %tmp35 to float   ; <float> [#uses=4]
  24   %tmp38 = fcmp ult float %tmp3536, 0xC7EFFFFFE0000000    ; <i1> [#uses=1]
  25   %tmp44 = fcmp ugt float %tmp3536, 0x47EFFFFFE0000000    ; <i1> [#uses=1]
  26   %bothcond226 = or i1 %tmp38, %tmp44   ; <i1> [#uses=1]
  27   br i1 %bothcond226, label %bb47, label %bb49
  28
  29 bb47:   ; preds = %bb30
  30   unwind
  31
  32 bb49:   ; preds = %bb30
  33   %tmp60 = fcmp ult float %tmp3536, %tmp2021    ; <i1> [#uses=1]
  34   %tmp60.not = xor i1 %tmp60, true    ; <i1> [#uses=1]
  35   %tmp65 = fcmp olt float %tmp2021, 0xC7EFFFFFE0000000    ; <i1> [#uses=1]
  36   %bothcond227 = and i1 %tmp65, %tmp60.not    ; <i1> [#uses=1]
  37   br i1 %bothcond227, label %cond_true68, label %cond_next70
  38
  39 cond_true68:    ; preds = %bb49
  40   unwind
  41
  42 cond_next70:    ; preds = %bb49
  43   %tmp71 = call i32 @report__ident_int( i32 -30 )   ; <i32> [#uses=1]
  44   %tmp7172 = sitofp i32 %tmp71 to float   ; <float> [#uses=3]
  45   %tmp74 = fcmp ult float %tmp7172, 0xC7EFFFFFE0000000    ; <i1> [#uses=1]
  46   %tmp80 = fcmp ugt float %tmp7172, 0x47EFFFFFE0000000    ; <i1> [#uses=1]
  47   %bothcond228 = or i1 %tmp74, %tmp80   ; <i1> [#uses=1]
  48   br i1 %bothcond228, label %bb83, label %bb85
  49
  50 bb83:   ; preds = %cond_next70
  51   unwind
  52
  53 bb85:   ; preds = %cond_next70
  54   %tmp90 = getelementptr %struct.FRAME.c34003a* %FRAME.31, i32 0, i32 1   ; <float*> [#uses=3]
  55   store float %tmp7172, float* %tmp90
  56   %tmp92 = call i32 @report__ident_int( i32 30 )    ; <i32> [#uses=1]
  57   %tmp9293 = sitofp i32 %tmp92 to float   ; <float> [#uses=7]
  58   %tmp95 = fcmp ult float %tmp9293, 0xC7EFFFFFE0000000    ; <i1> [#uses=1]
  59   %tmp101 = fcmp ugt float %tmp9293, 0x47EFFFFFE0000000   ; <i1> [#uses=1]
  60   %bothcond229 = or i1 %tmp95, %tmp101    ; <i1> [#uses=1]
  61   br i1 %bothcond229, label %bb104, label %bb106
  62
  63 bb104:    ; preds = %bb85
  64   unwind
  65
  66 bb106:    ; preds = %bb85
  67   %tmp111 = getelementptr %struct.FRAME.c34003a* %FRAME.31, i32 0, i32 0    ; <float*> [#uses=2]
  68   store float %tmp9293, float* %tmp111
  69   %tmp123 = load float* %tmp90    ; <float> [#uses=4]
  70   %tmp125 = fcmp ult float %tmp9293, %tmp123    ; <i1> [#uses=1]
  71   br i1 %tmp125, label %cond_next147, label %cond_true128
  72
  73 cond_true128:   ; preds = %bb106
  74   %tmp133 = fcmp olt float %tmp123, %tmp2021    ; <i1> [#uses=1]
  75   %tmp142 = fcmp ogt float %tmp9293, %tmp3536   ; <i1> [#uses=1]
  76   %bothcond230 = or i1 %tmp133, %tmp142   ; <i1> [#uses=1]
  77   br i1 %bothcond230, label %bb145, label %cond_next147
  78
  79 bb145:    ; preds = %cond_true128
  80   unwind
  81
  82 cond_next147:   ; preds = %cond_true128, %bb106
  83   %tmp157 = fcmp ugt float %tmp123, -3.000000e+01   ; <i1> [#uses=1]
  84   %tmp165 = fcmp ult float %tmp9293, -3.000000e+01    ; <i1> [#uses=1]
  85   %bothcond231 = or i1 %tmp157, %tmp165   ; <i1> [#uses=1]
  86   br i1 %bothcond231, label %bb168, label %bb169
  87
  88 bb168:    ; preds = %cond_next147
  89   unwind
  90
  91 bb169:    ; preds = %cond_next147
  92   %tmp176 = fcmp ugt float %tmp123, 3.000000e+01    ; <i1> [#uses=1]
  93   %tmp184 = fcmp ult float %tmp9293, 3.000000e+01   ; <i1> [#uses=1]
  94   %bothcond232 = or i1 %tmp176, %tmp184   ; <i1> [#uses=1]
  95   br i1 %bothcond232, label %bb187, label %bb188
  96
  97 bb187:    ; preds = %bb169
  98   unwind
  99
 100 bb188:    ; preds = %bb169
 101   %tmp192 = call fastcc float @c34003a__ident.154( %struct.FRAME.c34003a* %FRAME.31, float 3.000000e+01 )   ; <float> [#uses=2]
 102   %tmp194 = load float* %tmp90    ; <float> [#uses=1]
 103   %tmp196 = fcmp ugt float %tmp194, 0.000000e+00    ; <i1> [#uses=1]
 104   br i1 %tmp196, label %bb207, label %cond_next200
 105
 106 cond_next200:   ; preds = %bb188
 107   %tmp202 = load float* %tmp111   ; <float> [#uses=1]
 108   %tmp204 = fcmp ult float %tmp202, 0.000000e+00    ; <i1> [#uses=1]
 109   br i1 %tmp204, label %bb207, label %bb208
 110
 111 bb207:    ; preds = %cond_next200, %bb188
 112   unwind
 113
 114 bb208:    ; preds = %cond_next200
 115   %tmp212 = call fastcc float @c34003a__ident.154( %struct.FRAME.c34003a* %FRAME.31, float 0.000000e+00 )   ; <float> [#uses=1]
 116   %tmp214 = fcmp oge float %tmp212, %tmp192   ; <i1> [#uses=1]
 117   %tmp217 = fcmp oge float %tmp192, 1.000000e+02    ; <i1> [#uses=1]
 118   %tmp221 = or i1 %tmp214, %tmp217    ; <i1> [#uses=1]
 119   br i1 %tmp221, label %cond_true224, label %UnifiedReturnBlock
 120
 121 cond_true224:   ; preds = %bb208
 122   call void @abort( ) noreturn
 123   ret void
 124
 125 UnifiedReturnBlock:   ; preds = %bb208
 126   ret void
 127 }
 128
 129 declare fastcc float @c34003a__ident.154(%struct.FRAME.c34003a* %CHAIN.32, float %x)
 130
 131 declare i32 @report__ident_int(i32 %x)
 132
 133 declare void @abort() noreturn