Home | History | Annotate | Download | only in Mips 
      1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
      2 ; RUN: llc -mtriple=mips-unknown-linux-gnu -mcpu=mips32   < %s | FileCheck %s -check-prefixes=MIPS32
      3 ; RUN: llc -mtriple=mips-unknown-linux-gnu -mcpu=mips32r2 < %s | FileCheck %s -check-prefixes=MIPS32R2
      4 ; RUN: llc -mtriple=mips-unknown-linux-gnu -mcpu=mips32r6 < %s | FileCheck %s -check-prefixes=MIPS32r6
      5 ; RUN: llc -mtriple=mips64-unknown-linux-gnu -mcpu=mips4    < %s | FileCheck %s -check-prefixes=MIPS4
      6 ; RUN: llc -mtriple=mips64-unknown-linux-gnu -mcpu=mips64   < %s | FileCheck %s -check-prefixes=MIPS64
      7 ; RUN: llc -mtriple=mips64-unknown-linux-gnu -mcpu=mips64r2 < %s | FileCheck %s -check-prefixes=MIPS64R2
      8 ; RUN: llc -mtriple=mips64-unknown-linux-gnu -mcpu=mips64r6 < %s | FileCheck %s -check-prefixes=MIPS64R6
      9 
     10 define double @foo(double %a, double %b) nounwind readnone {
     11 ; MIPS32-LABEL: foo:
     12 ; MIPS32:       # %bb.0: # %entry
     13 ; MIPS32-NEXT:    mtc1 $zero, $f2
     14 ; MIPS32-NEXT:    mtc1 $zero, $f3
     15 ; MIPS32-NEXT:    c.ule.d $f12, $f2
     16 ; MIPS32-NEXT:    bc1f $BB0_2
     17 ; MIPS32-NEXT:    mov.d $f0, $f12
     18 ; MIPS32-NEXT:  # %bb.1: # %if.else
     19 ; MIPS32-NEXT:    mtc1 $zero, $f0
     20 ; MIPS32-NEXT:    mtc1 $zero, $f1
     21 ; MIPS32-NEXT:    c.ule.d $f14, $f0
     22 ; MIPS32-NEXT:    bc1t $BB0_3
     23 ; MIPS32-NEXT:    nop
     24 ; MIPS32-NEXT:  $BB0_2: # %if.end6
     25 ; MIPS32-NEXT:    sub.d $f0, $f14, $f0
     26 ; MIPS32-NEXT:    add.d $f0, $f0, $f0
     27 ; MIPS32-NEXT:  $BB0_3: # %return
     28 ; MIPS32-NEXT:    jr $ra
     29 ; MIPS32-NEXT:    nop
     30 ;
     31 ; MIPS32R2-LABEL: foo:
     32 ; MIPS32R2:       # %bb.0: # %entry
     33 ; MIPS32R2-NEXT:    mov.d $f0, $f12
     34 ; MIPS32R2-NEXT:    mtc1 $zero, $f2
     35 ; MIPS32R2-NEXT:    mthc1 $zero, $f2
     36 ; MIPS32R2-NEXT:    c.ule.d $f12, $f2
     37 ; MIPS32R2-NEXT:    bc1f $BB0_2
     38 ; MIPS32R2-NEXT:    nop
     39 ; MIPS32R2-NEXT:  # %bb.1: # %if.else
     40 ; MIPS32R2-NEXT:    mtc1 $zero, $f0
     41 ; MIPS32R2-NEXT:    mthc1 $zero, $f0
     42 ; MIPS32R2-NEXT:    c.ule.d $f14, $f0
     43 ; MIPS32R2-NEXT:    bc1t $BB0_3
     44 ; MIPS32R2-NEXT:    nop
     45 ; MIPS32R2-NEXT:  $BB0_2: # %if.end6
     46 ; MIPS32R2-NEXT:    sub.d $f0, $f14, $f0
     47 ; MIPS32R2-NEXT:    add.d $f0, $f0, $f0
     48 ; MIPS32R2-NEXT:  $BB0_3: # %return
     49 ; MIPS32R2-NEXT:    jr $ra
     50 ; MIPS32R2-NEXT:    nop
     51 ;
     52 ; MIPS32r6-LABEL: foo:
     53 ; MIPS32r6:       # %bb.0: # %entry
     54 ; MIPS32r6-NEXT:    mov.d $f0, $f12
     55 ; MIPS32r6-NEXT:    mtc1 $zero, $f1
     56 ; MIPS32r6-NEXT:    mthc1 $zero, $f1
     57 ; MIPS32r6-NEXT:    cmp.lt.d $f1, $f1, $f12
     58 ; MIPS32r6-NEXT:    mfc1 $1, $f1
     59 ; MIPS32r6-NEXT:    andi $1, $1, 1
     60 ; MIPS32r6-NEXT:    bnezc $1, $BB0_2
     61 ; MIPS32r6-NEXT:  # %bb.1: # %if.else
     62 ; MIPS32r6-NEXT:    mtc1 $zero, $f0
     63 ; MIPS32r6-NEXT:    mthc1 $zero, $f0
     64 ; MIPS32r6-NEXT:    cmp.ule.d $f1, $f14, $f0
     65 ; MIPS32r6-NEXT:    mfc1 $1, $f1
     66 ; MIPS32r6-NEXT:    andi $1, $1, 1
     67 ; MIPS32r6-NEXT:    bnezc $1, $BB0_3
     68 ; MIPS32r6-NEXT:  $BB0_2: # %if.end6
     69 ; MIPS32r6-NEXT:    sub.d $f0, $f14, $f0
     70 ; MIPS32r6-NEXT:    add.d $f0, $f0, $f0
     71 ; MIPS32r6-NEXT:  $BB0_3: # %return
     72 ; MIPS32r6-NEXT:    jrc $ra
     73 ;
     74 ; MIPS4-LABEL: foo:
     75 ; MIPS4:       # %bb.0: # %entry
     76 ; MIPS4-NEXT:    dmtc1 $zero, $f1
     77 ; MIPS4-NEXT:    c.ule.d $f12, $f1
     78 ; MIPS4-NEXT:    bc1f .LBB0_2
     79 ; MIPS4-NEXT:    mov.d $f0, $f12
     80 ; MIPS4-NEXT:  # %bb.1: # %if.else
     81 ; MIPS4-NEXT:    dmtc1 $zero, $f0
     82 ; MIPS4-NEXT:    c.ule.d $f13, $f0
     83 ; MIPS4-NEXT:    bc1t .LBB0_3
     84 ; MIPS4-NEXT:    nop
     85 ; MIPS4-NEXT:  .LBB0_2: # %if.end6
     86 ; MIPS4-NEXT:    sub.d $f0, $f13, $f0
     87 ; MIPS4-NEXT:    add.d $f0, $f0, $f0
     88 ; MIPS4-NEXT:  .LBB0_3: # %return
     89 ; MIPS4-NEXT:    jr $ra
     90 ; MIPS4-NEXT:    nop
     91 ;
     92 ; MIPS64-LABEL: foo:
     93 ; MIPS64:       # %bb.0: # %entry
     94 ; MIPS64-NEXT:    dmtc1 $zero, $f1
     95 ; MIPS64-NEXT:    c.ule.d $f12, $f1
     96 ; MIPS64-NEXT:    bc1f .LBB0_2
     97 ; MIPS64-NEXT:    mov.d $f0, $f12
     98 ; MIPS64-NEXT:  # %bb.1: # %if.else
     99 ; MIPS64-NEXT:    dmtc1 $zero, $f0
    100 ; MIPS64-NEXT:    c.ule.d $f13, $f0
    101 ; MIPS64-NEXT:    bc1t .LBB0_3
    102 ; MIPS64-NEXT:    nop
    103 ; MIPS64-NEXT:  .LBB0_2: # %if.end6
    104 ; MIPS64-NEXT:    sub.d $f0, $f13, $f0
    105 ; MIPS64-NEXT:    add.d $f0, $f0, $f0
    106 ; MIPS64-NEXT:  .LBB0_3: # %return
    107 ; MIPS64-NEXT:    jr $ra
    108 ; MIPS64-NEXT:    nop
    109 ;
    110 ; MIPS64R2-LABEL: foo:
    111 ; MIPS64R2:       # %bb.0: # %entry
    112 ; MIPS64R2-NEXT:    dmtc1 $zero, $f1
    113 ; MIPS64R2-NEXT:    c.ule.d $f12, $f1
    114 ; MIPS64R2-NEXT:    bc1f .LBB0_2
    115 ; MIPS64R2-NEXT:    mov.d $f0, $f12
    116 ; MIPS64R2-NEXT:  # %bb.1: # %if.else
    117 ; MIPS64R2-NEXT:    dmtc1 $zero, $f0
    118 ; MIPS64R2-NEXT:    c.ule.d $f13, $f0
    119 ; MIPS64R2-NEXT:    bc1t .LBB0_3
    120 ; MIPS64R2-NEXT:    nop
    121 ; MIPS64R2-NEXT:  .LBB0_2: # %if.end6
    122 ; MIPS64R2-NEXT:    sub.d $f0, $f13, $f0
    123 ; MIPS64R2-NEXT:    add.d $f0, $f0, $f0
    124 ; MIPS64R2-NEXT:  .LBB0_3: # %return
    125 ; MIPS64R2-NEXT:    jr $ra
    126 ; MIPS64R2-NEXT:    nop
    127 ;
    128 ; MIPS64R6-LABEL: foo:
    129 ; MIPS64R6:       # %bb.0: # %entry
    130 ; MIPS64R6-NEXT:    dmtc1 $zero, $f1
    131 ; MIPS64R6-NEXT:    cmp.lt.d $f1, $f1, $f12
    132 ; MIPS64R6-NEXT:    mfc1 $1, $f1
    133 ; MIPS64R6-NEXT:    andi $1, $1, 1
    134 ; MIPS64R6-NEXT:    bnez $1, .LBB0_2
    135 ; MIPS64R6-NEXT:    mov.d	$f0, $f12
    136 ; MIPS64R6-NEXT:  # %bb.1: # %if.else
    137 ; MIPS64R6-NEXT:    dmtc1 $zero, $f0
    138 ; MIPS64R6-NEXT:    cmp.ule.d $f1, $f13, $f0
    139 ; MIPS64R6-NEXT:    mfc1 $1, $f1
    140 ; MIPS64R6-NEXT:    andi $1, $1, 1
    141 ; MIPS64R6-NEXT:    bnezc $1, .LBB0_3
    142 ; MIPS64R6-NEXT:  .LBB0_2: # %if.end6
    143 ; MIPS64R6-NEXT:    sub.d $f0, $f13, $f0
    144 ; MIPS64R6-NEXT:    add.d $f0, $f0, $f0
    145 ; MIPS64R6-NEXT:  .LBB0_3: # %return
    146 ; MIPS64R6-NEXT:    jrc $ra
    147 entry:
    148   %cmp = fcmp ogt double %a, 0.000000e+00
    149   br i1 %cmp, label %if.end6, label %if.else
    150 
    151 if.else:                                          ; preds = %entry
    152   %cmp3 = fcmp ogt double %b, 0.000000e+00
    153   br i1 %cmp3, label %if.end6, label %return
    154 
    155 if.end6:                                          ; preds = %if.else, %entry
    156   %c.0 = phi double [ %a, %entry ], [ 0.000000e+00, %if.else ]
    157   %sub = fsub double %b, %c.0
    158   %mul = fmul double %sub, 2.000000e+00
    159   br label %return
    160 
    161 return:                                           ; preds = %if.else, %if.end6
    162   %retval.0 = phi double [ %mul, %if.end6 ], [ 0.000000e+00, %if.else ]
    163   ret double %retval.0
    164 }
    165 
    166 define void @f1(float %f) nounwind {
    167 ; MIPS32-LABEL: f1:
    168 ; MIPS32:       # %bb.0: # %entry
    169 ; MIPS32-NEXT:    addiu $sp, $sp, -24
    170 ; MIPS32-NEXT:    sw $ra, 20($sp) # 4-byte Folded Spill
    171 ; MIPS32-NEXT:    mtc1 $zero, $f0
    172 ; MIPS32-NEXT:    c.eq.s $f12, $f0
    173 ; MIPS32-NEXT:    bc1f $BB1_2
    174 ; MIPS32-NEXT:    nop
    175 ; MIPS32-NEXT:  # %bb.1: # %if.end
    176 ; MIPS32-NEXT:    jal f2
    177 ; MIPS32-NEXT:    nop
    178 ; MIPS32-NEXT:    lw $ra, 20($sp) # 4-byte Folded Reload
    179 ; MIPS32-NEXT:    jr $ra
    180 ; MIPS32-NEXT:    addiu $sp, $sp, 24
    181 ; MIPS32-NEXT:  $BB1_2: # %if.then
    182 ; MIPS32-NEXT:    jal abort
    183 ; MIPS32-NEXT:    nop
    184 ;
    185 ; MIPS32R2-LABEL: f1:
    186 ; MIPS32R2:       # %bb.0: # %entry
    187 ; MIPS32R2-NEXT:    addiu $sp, $sp, -24
    188 ; MIPS32R2-NEXT:    sw $ra, 20($sp) # 4-byte Folded Spill
    189 ; MIPS32R2-NEXT:    mtc1 $zero, $f0
    190 ; MIPS32R2-NEXT:    c.eq.s $f12, $f0
    191 ; MIPS32R2-NEXT:    bc1f $BB1_2
    192 ; MIPS32R2-NEXT:    nop
    193 ; MIPS32R2-NEXT:  # %bb.1: # %if.end
    194 ; MIPS32R2-NEXT:    jal f2
    195 ; MIPS32R2-NEXT:    nop
    196 ; MIPS32R2-NEXT:    lw $ra, 20($sp) # 4-byte Folded Reload
    197 ; MIPS32R2-NEXT:    jr $ra
    198 ; MIPS32R2-NEXT:    addiu $sp, $sp, 24
    199 ; MIPS32R2-NEXT:  $BB1_2: # %if.then
    200 ; MIPS32R2-NEXT:    jal abort
    201 ; MIPS32R2-NEXT:    nop
    202 ;
    203 ; MIPS32r6-LABEL: f1:
    204 ; MIPS32r6:       # %bb.0: # %entry
    205 ; MIPS32r6-NEXT:    addiu $sp, $sp, -24
    206 ; MIPS32r6-NEXT:    sw $ra, 20($sp) # 4-byte Folded Spill
    207 ; MIPS32r6-NEXT:    mtc1 $zero, $f0
    208 ; MIPS32r6-NEXT:    cmp.eq.s $f0, $f12, $f0
    209 ; MIPS32r6-NEXT:    mfc1 $1, $f0
    210 ; MIPS32r6-NEXT:    andi $1, $1, 1
    211 ; MIPS32r6-NEXT:    beqzc $1, $BB1_2
    212 ; MIPS32r6-NEXT:    nop
    213 ; MIPS32r6-NEXT:  # %bb.1: # %if.end
    214 ; MIPS32r6-NEXT:    jal f2
    215 ; MIPS32r6-NEXT:    nop
    216 ; MIPS32r6-NEXT:    lw $ra, 20($sp) # 4-byte Folded Reload
    217 ; MIPS32r6-NEXT:    jr $ra
    218 ; MIPS32r6-NEXT:    addiu $sp, $sp, 24
    219 ; MIPS32r6-NEXT:  $BB1_2: # %if.then
    220 ; MIPS32r6-NEXT:    jal abort
    221 ; MIPS32r6-NEXT:    nop
    222 ;
    223 ; MIPS4-LABEL: f1:
    224 ; MIPS4:       # %bb.0: # %entry
    225 ; MIPS4-NEXT:    daddiu $sp, $sp, -16
    226 ; MIPS4-NEXT:    sd $ra, 8($sp) # 8-byte Folded Spill
    227 ; MIPS4-NEXT:    mtc1 $zero, $f0
    228 ; MIPS4-NEXT:    c.eq.s $f12, $f0
    229 ; MIPS4-NEXT:    bc1f .LBB1_2
    230 ; MIPS4-NEXT:    nop
    231 ; MIPS4-NEXT:  # %bb.1: # %if.end
    232 ; MIPS4-NEXT:    jal f2
    233 ; MIPS4-NEXT:    nop
    234 ; MIPS4-NEXT:    ld $ra, 8($sp) # 8-byte Folded Reload
    235 ; MIPS4-NEXT:    jr $ra
    236 ; MIPS4-NEXT:    daddiu $sp, $sp, 16
    237 ; MIPS4-NEXT:  .LBB1_2: # %if.then
    238 ; MIPS4-NEXT:    jal abort
    239 ; MIPS4-NEXT:    nop
    240 ;
    241 ; MIPS64-LABEL: f1:
    242 ; MIPS64:       # %bb.0: # %entry
    243 ; MIPS64-NEXT:    daddiu $sp, $sp, -16
    244 ; MIPS64-NEXT:    sd $ra, 8($sp) # 8-byte Folded Spill
    245 ; MIPS64-NEXT:    mtc1 $zero, $f0
    246 ; MIPS64-NEXT:    c.eq.s $f12, $f0
    247 ; MIPS64-NEXT:    bc1f .LBB1_2
    248 ; MIPS64-NEXT:    nop
    249 ; MIPS64-NEXT:  # %bb.1: # %if.end
    250 ; MIPS64-NEXT:    jal f2
    251 ; MIPS64-NEXT:    nop
    252 ; MIPS64-NEXT:    ld $ra, 8($sp) # 8-byte Folded Reload
    253 ; MIPS64-NEXT:    jr $ra
    254 ; MIPS64-NEXT:    daddiu $sp, $sp, 16
    255 ; MIPS64-NEXT:  .LBB1_2: # %if.then
    256 ; MIPS64-NEXT:    jal abort
    257 ; MIPS64-NEXT:    nop
    258 ;
    259 ; MIPS64R2-LABEL: f1:
    260 ; MIPS64R2:       # %bb.0: # %entry
    261 ; MIPS64R2-NEXT:    daddiu $sp, $sp, -16
    262 ; MIPS64R2-NEXT:    sd $ra, 8($sp) # 8-byte Folded Spill
    263 ; MIPS64R2-NEXT:    mtc1 $zero, $f0
    264 ; MIPS64R2-NEXT:    c.eq.s $f12, $f0
    265 ; MIPS64R2-NEXT:    bc1f .LBB1_2
    266 ; MIPS64R2-NEXT:    nop
    267 ; MIPS64R2-NEXT:  # %bb.1: # %if.end
    268 ; MIPS64R2-NEXT:    jal f2
    269 ; MIPS64R2-NEXT:    nop
    270 ; MIPS64R2-NEXT:    ld $ra, 8($sp) # 8-byte Folded Reload
    271 ; MIPS64R2-NEXT:    jr $ra
    272 ; MIPS64R2-NEXT:    daddiu $sp, $sp, 16
    273 ; MIPS64R2-NEXT:  .LBB1_2: # %if.then
    274 ; MIPS64R2-NEXT:    jal abort
    275 ; MIPS64R2-NEXT:    nop
    276 ;
    277 ; MIPS64R6-LABEL: f1:
    278 ; MIPS64R6:       # %bb.0: # %entry
    279 ; MIPS64R6-NEXT:    daddiu $sp, $sp, -16
    280 ; MIPS64R6-NEXT:    sd $ra, 8($sp) # 8-byte Folded Spill
    281 ; MIPS64R6-NEXT:    mtc1 $zero, $f0
    282 ; MIPS64R6-NEXT:    cmp.eq.s $f0, $f12, $f0
    283 ; MIPS64R6-NEXT:    mfc1 $1, $f0
    284 ; MIPS64R6-NEXT:    andi $1, $1, 1
    285 ; MIPS64R6-NEXT:    beqzc $1, .LBB1_2
    286 ; MIPS64R6-NEXT:    nop
    287 ; MIPS64R6-NEXT:  # %bb.1: # %if.end
    288 ; MIPS64R6-NEXT:    jal f2
    289 ; MIPS64R6-NEXT:    nop
    290 ; MIPS64R6-NEXT:    ld $ra, 8($sp) # 8-byte Folded Reload
    291 ; MIPS64R6-NEXT:    jr $ra
    292 ; MIPS64R6-NEXT:    daddiu $sp, $sp, 16
    293 ; MIPS64R6-NEXT:  .LBB1_2: # %if.then
    294 ; MIPS64R6-NEXT:    jal abort
    295 ; MIPS64R6-NEXT:    nop
    296 entry:
    297   %cmp = fcmp une float %f, 0.000000e+00
    298   br i1 %cmp, label %if.then, label %if.end
    299 
    300 if.then:                                          ; preds = %entry
    301   tail call void @abort() noreturn
    302   unreachable
    303 
    304 if.end:                                           ; preds = %entry
    305   tail call void (...) @f2() nounwind
    306   ret void
    307 }
    308 
    309 declare void @abort() noreturn nounwind
    310 
    311 declare void @f2(...)
    312