312 lines
10 KiB
LLVM
312 lines
10 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc -mtriple=mips-unknown-linux-gnu -mcpu=mips32 < %s | FileCheck %s -check-prefixes=MIPS32
|
|
; RUN: llc -mtriple=mips-unknown-linux-gnu -mcpu=mips32r2 < %s | FileCheck %s -check-prefixes=MIPS32R2
|
|
; RUN: llc -mtriple=mips-unknown-linux-gnu -mcpu=mips32r6 < %s | FileCheck %s -check-prefixes=MIPS32r6
|
|
; RUN: llc -mtriple=mips64-unknown-linux-gnu -mcpu=mips4 < %s | FileCheck %s -check-prefixes=MIPS4
|
|
; RUN: llc -mtriple=mips64-unknown-linux-gnu -mcpu=mips64 < %s | FileCheck %s -check-prefixes=MIPS64
|
|
; RUN: llc -mtriple=mips64-unknown-linux-gnu -mcpu=mips64r2 < %s | FileCheck %s -check-prefixes=MIPS64R2
|
|
; RUN: llc -mtriple=mips64-unknown-linux-gnu -mcpu=mips64r6 < %s | FileCheck %s -check-prefixes=MIPS64R6
|
|
|
|
define double @foo(double %a, double %b) nounwind readnone {
|
|
; MIPS32-LABEL: foo:
|
|
; MIPS32: # %bb.0: # %entry
|
|
; MIPS32-NEXT: mtc1 $zero, $f2
|
|
; MIPS32-NEXT: mtc1 $zero, $f3
|
|
; MIPS32-NEXT: c.ule.d $f12, $f2
|
|
; MIPS32-NEXT: bc1f $BB0_2
|
|
; MIPS32-NEXT: mov.d $f0, $f12
|
|
; MIPS32-NEXT: # %bb.1: # %if.else
|
|
; MIPS32-NEXT: mtc1 $zero, $f0
|
|
; MIPS32-NEXT: mtc1 $zero, $f1
|
|
; MIPS32-NEXT: c.ule.d $f14, $f0
|
|
; MIPS32-NEXT: bc1t $BB0_3
|
|
; MIPS32-NEXT: nop
|
|
; MIPS32-NEXT: $BB0_2: # %if.end6
|
|
; MIPS32-NEXT: sub.d $f0, $f14, $f0
|
|
; MIPS32-NEXT: add.d $f0, $f0, $f0
|
|
; MIPS32-NEXT: $BB0_3: # %return
|
|
; MIPS32-NEXT: jr $ra
|
|
; MIPS32-NEXT: nop
|
|
;
|
|
; MIPS32R2-LABEL: foo:
|
|
; MIPS32R2: # %bb.0: # %entry
|
|
; MIPS32R2-NEXT: mov.d $f0, $f12
|
|
; MIPS32R2-NEXT: mtc1 $zero, $f2
|
|
; MIPS32R2-NEXT: mthc1 $zero, $f2
|
|
; MIPS32R2-NEXT: c.ule.d $f12, $f2
|
|
; MIPS32R2-NEXT: bc1f $BB0_2
|
|
; MIPS32R2-NEXT: nop
|
|
; MIPS32R2-NEXT: # %bb.1: # %if.else
|
|
; MIPS32R2-NEXT: mtc1 $zero, $f0
|
|
; MIPS32R2-NEXT: mthc1 $zero, $f0
|
|
; MIPS32R2-NEXT: c.ule.d $f14, $f0
|
|
; MIPS32R2-NEXT: bc1t $BB0_3
|
|
; MIPS32R2-NEXT: nop
|
|
; MIPS32R2-NEXT: $BB0_2: # %if.end6
|
|
; MIPS32R2-NEXT: sub.d $f0, $f14, $f0
|
|
; MIPS32R2-NEXT: add.d $f0, $f0, $f0
|
|
; MIPS32R2-NEXT: $BB0_3: # %return
|
|
; MIPS32R2-NEXT: jr $ra
|
|
; MIPS32R2-NEXT: nop
|
|
;
|
|
; MIPS32r6-LABEL: foo:
|
|
; MIPS32r6: # %bb.0: # %entry
|
|
; MIPS32r6-NEXT: mov.d $f0, $f12
|
|
; MIPS32r6-NEXT: mtc1 $zero, $f1
|
|
; MIPS32r6-NEXT: mthc1 $zero, $f1
|
|
; MIPS32r6-NEXT: cmp.lt.d $f1, $f1, $f12
|
|
; MIPS32r6-NEXT: mfc1 $1, $f1
|
|
; MIPS32r6-NEXT: andi $1, $1, 1
|
|
; MIPS32r6-NEXT: bnezc $1, $BB0_2
|
|
; MIPS32r6-NEXT: # %bb.1: # %if.else
|
|
; MIPS32r6-NEXT: mtc1 $zero, $f0
|
|
; MIPS32r6-NEXT: mthc1 $zero, $f0
|
|
; MIPS32r6-NEXT: cmp.ule.d $f1, $f14, $f0
|
|
; MIPS32r6-NEXT: mfc1 $1, $f1
|
|
; MIPS32r6-NEXT: andi $1, $1, 1
|
|
; MIPS32r6-NEXT: bnezc $1, $BB0_3
|
|
; MIPS32r6-NEXT: $BB0_2: # %if.end6
|
|
; MIPS32r6-NEXT: sub.d $f0, $f14, $f0
|
|
; MIPS32r6-NEXT: add.d $f0, $f0, $f0
|
|
; MIPS32r6-NEXT: $BB0_3: # %return
|
|
; MIPS32r6-NEXT: jrc $ra
|
|
;
|
|
; MIPS4-LABEL: foo:
|
|
; MIPS4: # %bb.0: # %entry
|
|
; MIPS4-NEXT: dmtc1 $zero, $f1
|
|
; MIPS4-NEXT: c.ule.d $f12, $f1
|
|
; MIPS4-NEXT: bc1f .LBB0_2
|
|
; MIPS4-NEXT: mov.d $f0, $f12
|
|
; MIPS4-NEXT: # %bb.1: # %if.else
|
|
; MIPS4-NEXT: dmtc1 $zero, $f0
|
|
; MIPS4-NEXT: c.ule.d $f13, $f0
|
|
; MIPS4-NEXT: bc1t .LBB0_3
|
|
; MIPS4-NEXT: nop
|
|
; MIPS4-NEXT: .LBB0_2: # %if.end6
|
|
; MIPS4-NEXT: sub.d $f0, $f13, $f0
|
|
; MIPS4-NEXT: add.d $f0, $f0, $f0
|
|
; MIPS4-NEXT: .LBB0_3: # %return
|
|
; MIPS4-NEXT: jr $ra
|
|
; MIPS4-NEXT: nop
|
|
;
|
|
; MIPS64-LABEL: foo:
|
|
; MIPS64: # %bb.0: # %entry
|
|
; MIPS64-NEXT: dmtc1 $zero, $f1
|
|
; MIPS64-NEXT: c.ule.d $f12, $f1
|
|
; MIPS64-NEXT: bc1f .LBB0_2
|
|
; MIPS64-NEXT: mov.d $f0, $f12
|
|
; MIPS64-NEXT: # %bb.1: # %if.else
|
|
; MIPS64-NEXT: dmtc1 $zero, $f0
|
|
; MIPS64-NEXT: c.ule.d $f13, $f0
|
|
; MIPS64-NEXT: bc1t .LBB0_3
|
|
; MIPS64-NEXT: nop
|
|
; MIPS64-NEXT: .LBB0_2: # %if.end6
|
|
; MIPS64-NEXT: sub.d $f0, $f13, $f0
|
|
; MIPS64-NEXT: add.d $f0, $f0, $f0
|
|
; MIPS64-NEXT: .LBB0_3: # %return
|
|
; MIPS64-NEXT: jr $ra
|
|
; MIPS64-NEXT: nop
|
|
;
|
|
; MIPS64R2-LABEL: foo:
|
|
; MIPS64R2: # %bb.0: # %entry
|
|
; MIPS64R2-NEXT: dmtc1 $zero, $f1
|
|
; MIPS64R2-NEXT: c.ule.d $f12, $f1
|
|
; MIPS64R2-NEXT: bc1f .LBB0_2
|
|
; MIPS64R2-NEXT: mov.d $f0, $f12
|
|
; MIPS64R2-NEXT: # %bb.1: # %if.else
|
|
; MIPS64R2-NEXT: dmtc1 $zero, $f0
|
|
; MIPS64R2-NEXT: c.ule.d $f13, $f0
|
|
; MIPS64R2-NEXT: bc1t .LBB0_3
|
|
; MIPS64R2-NEXT: nop
|
|
; MIPS64R2-NEXT: .LBB0_2: # %if.end6
|
|
; MIPS64R2-NEXT: sub.d $f0, $f13, $f0
|
|
; MIPS64R2-NEXT: add.d $f0, $f0, $f0
|
|
; MIPS64R2-NEXT: .LBB0_3: # %return
|
|
; MIPS64R2-NEXT: jr $ra
|
|
; MIPS64R2-NEXT: nop
|
|
;
|
|
; MIPS64R6-LABEL: foo:
|
|
; MIPS64R6: # %bb.0: # %entry
|
|
; MIPS64R6-NEXT: dmtc1 $zero, $f1
|
|
; MIPS64R6-NEXT: cmp.lt.d $f1, $f1, $f12
|
|
; MIPS64R6-NEXT: mfc1 $1, $f1
|
|
; MIPS64R6-NEXT: andi $1, $1, 1
|
|
; MIPS64R6-NEXT: bnez $1, .LBB0_2
|
|
; MIPS64R6-NEXT: mov.d $f0, $f12
|
|
; MIPS64R6-NEXT: # %bb.1: # %if.else
|
|
; MIPS64R6-NEXT: dmtc1 $zero, $f0
|
|
; MIPS64R6-NEXT: cmp.ule.d $f1, $f13, $f0
|
|
; MIPS64R6-NEXT: mfc1 $1, $f1
|
|
; MIPS64R6-NEXT: andi $1, $1, 1
|
|
; MIPS64R6-NEXT: bnezc $1, .LBB0_3
|
|
; MIPS64R6-NEXT: .LBB0_2: # %if.end6
|
|
; MIPS64R6-NEXT: sub.d $f0, $f13, $f0
|
|
; MIPS64R6-NEXT: add.d $f0, $f0, $f0
|
|
; MIPS64R6-NEXT: .LBB0_3: # %return
|
|
; MIPS64R6-NEXT: jrc $ra
|
|
entry:
|
|
%cmp = fcmp ogt double %a, 0.000000e+00
|
|
br i1 %cmp, label %if.end6, label %if.else
|
|
|
|
if.else: ; preds = %entry
|
|
%cmp3 = fcmp ogt double %b, 0.000000e+00
|
|
br i1 %cmp3, label %if.end6, label %return
|
|
|
|
if.end6: ; preds = %if.else, %entry
|
|
%c.0 = phi double [ %a, %entry ], [ 0.000000e+00, %if.else ]
|
|
%sub = fsub double %b, %c.0
|
|
%mul = fmul double %sub, 2.000000e+00
|
|
br label %return
|
|
|
|
return: ; preds = %if.else, %if.end6
|
|
%retval.0 = phi double [ %mul, %if.end6 ], [ 0.000000e+00, %if.else ]
|
|
ret double %retval.0
|
|
}
|
|
|
|
define void @f1(float %f) nounwind {
|
|
; MIPS32-LABEL: f1:
|
|
; MIPS32: # %bb.0: # %entry
|
|
; MIPS32-NEXT: addiu $sp, $sp, -24
|
|
; MIPS32-NEXT: sw $ra, 20($sp) # 4-byte Folded Spill
|
|
; MIPS32-NEXT: mtc1 $zero, $f0
|
|
; MIPS32-NEXT: c.eq.s $f12, $f0
|
|
; MIPS32-NEXT: bc1f $BB1_2
|
|
; MIPS32-NEXT: nop
|
|
; MIPS32-NEXT: # %bb.1: # %if.end
|
|
; MIPS32-NEXT: jal f2
|
|
; MIPS32-NEXT: nop
|
|
; MIPS32-NEXT: lw $ra, 20($sp) # 4-byte Folded Reload
|
|
; MIPS32-NEXT: jr $ra
|
|
; MIPS32-NEXT: addiu $sp, $sp, 24
|
|
; MIPS32-NEXT: $BB1_2: # %if.then
|
|
; MIPS32-NEXT: jal abort
|
|
; MIPS32-NEXT: nop
|
|
;
|
|
; MIPS32R2-LABEL: f1:
|
|
; MIPS32R2: # %bb.0: # %entry
|
|
; MIPS32R2-NEXT: addiu $sp, $sp, -24
|
|
; MIPS32R2-NEXT: sw $ra, 20($sp) # 4-byte Folded Spill
|
|
; MIPS32R2-NEXT: mtc1 $zero, $f0
|
|
; MIPS32R2-NEXT: c.eq.s $f12, $f0
|
|
; MIPS32R2-NEXT: bc1f $BB1_2
|
|
; MIPS32R2-NEXT: nop
|
|
; MIPS32R2-NEXT: # %bb.1: # %if.end
|
|
; MIPS32R2-NEXT: jal f2
|
|
; MIPS32R2-NEXT: nop
|
|
; MIPS32R2-NEXT: lw $ra, 20($sp) # 4-byte Folded Reload
|
|
; MIPS32R2-NEXT: jr $ra
|
|
; MIPS32R2-NEXT: addiu $sp, $sp, 24
|
|
; MIPS32R2-NEXT: $BB1_2: # %if.then
|
|
; MIPS32R2-NEXT: jal abort
|
|
; MIPS32R2-NEXT: nop
|
|
;
|
|
; MIPS32r6-LABEL: f1:
|
|
; MIPS32r6: # %bb.0: # %entry
|
|
; MIPS32r6-NEXT: addiu $sp, $sp, -24
|
|
; MIPS32r6-NEXT: sw $ra, 20($sp) # 4-byte Folded Spill
|
|
; MIPS32r6-NEXT: mtc1 $zero, $f0
|
|
; MIPS32r6-NEXT: cmp.eq.s $f0, $f12, $f0
|
|
; MIPS32r6-NEXT: mfc1 $1, $f0
|
|
; MIPS32r6-NEXT: andi $1, $1, 1
|
|
; MIPS32r6-NEXT: beqzc $1, $BB1_2
|
|
; MIPS32r6-NEXT: nop
|
|
; MIPS32r6-NEXT: # %bb.1: # %if.end
|
|
; MIPS32r6-NEXT: jal f2
|
|
; MIPS32r6-NEXT: nop
|
|
; MIPS32r6-NEXT: lw $ra, 20($sp) # 4-byte Folded Reload
|
|
; MIPS32r6-NEXT: jr $ra
|
|
; MIPS32r6-NEXT: addiu $sp, $sp, 24
|
|
; MIPS32r6-NEXT: $BB1_2: # %if.then
|
|
; MIPS32r6-NEXT: jal abort
|
|
; MIPS32r6-NEXT: nop
|
|
;
|
|
; MIPS4-LABEL: f1:
|
|
; MIPS4: # %bb.0: # %entry
|
|
; MIPS4-NEXT: daddiu $sp, $sp, -16
|
|
; MIPS4-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
|
|
; MIPS4-NEXT: mtc1 $zero, $f0
|
|
; MIPS4-NEXT: c.eq.s $f12, $f0
|
|
; MIPS4-NEXT: bc1f .LBB1_2
|
|
; MIPS4-NEXT: nop
|
|
; MIPS4-NEXT: # %bb.1: # %if.end
|
|
; MIPS4-NEXT: jal f2
|
|
; MIPS4-NEXT: nop
|
|
; MIPS4-NEXT: ld $ra, 8($sp) # 8-byte Folded Reload
|
|
; MIPS4-NEXT: jr $ra
|
|
; MIPS4-NEXT: daddiu $sp, $sp, 16
|
|
; MIPS4-NEXT: .LBB1_2: # %if.then
|
|
; MIPS4-NEXT: jal abort
|
|
; MIPS4-NEXT: nop
|
|
;
|
|
; MIPS64-LABEL: f1:
|
|
; MIPS64: # %bb.0: # %entry
|
|
; MIPS64-NEXT: daddiu $sp, $sp, -16
|
|
; MIPS64-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
|
|
; MIPS64-NEXT: mtc1 $zero, $f0
|
|
; MIPS64-NEXT: c.eq.s $f12, $f0
|
|
; MIPS64-NEXT: bc1f .LBB1_2
|
|
; MIPS64-NEXT: nop
|
|
; MIPS64-NEXT: # %bb.1: # %if.end
|
|
; MIPS64-NEXT: jal f2
|
|
; MIPS64-NEXT: nop
|
|
; MIPS64-NEXT: ld $ra, 8($sp) # 8-byte Folded Reload
|
|
; MIPS64-NEXT: jr $ra
|
|
; MIPS64-NEXT: daddiu $sp, $sp, 16
|
|
; MIPS64-NEXT: .LBB1_2: # %if.then
|
|
; MIPS64-NEXT: jal abort
|
|
; MIPS64-NEXT: nop
|
|
;
|
|
; MIPS64R2-LABEL: f1:
|
|
; MIPS64R2: # %bb.0: # %entry
|
|
; MIPS64R2-NEXT: daddiu $sp, $sp, -16
|
|
; MIPS64R2-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
|
|
; MIPS64R2-NEXT: mtc1 $zero, $f0
|
|
; MIPS64R2-NEXT: c.eq.s $f12, $f0
|
|
; MIPS64R2-NEXT: bc1f .LBB1_2
|
|
; MIPS64R2-NEXT: nop
|
|
; MIPS64R2-NEXT: # %bb.1: # %if.end
|
|
; MIPS64R2-NEXT: jal f2
|
|
; MIPS64R2-NEXT: nop
|
|
; MIPS64R2-NEXT: ld $ra, 8($sp) # 8-byte Folded Reload
|
|
; MIPS64R2-NEXT: jr $ra
|
|
; MIPS64R2-NEXT: daddiu $sp, $sp, 16
|
|
; MIPS64R2-NEXT: .LBB1_2: # %if.then
|
|
; MIPS64R2-NEXT: jal abort
|
|
; MIPS64R2-NEXT: nop
|
|
;
|
|
; MIPS64R6-LABEL: f1:
|
|
; MIPS64R6: # %bb.0: # %entry
|
|
; MIPS64R6-NEXT: daddiu $sp, $sp, -16
|
|
; MIPS64R6-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
|
|
; MIPS64R6-NEXT: mtc1 $zero, $f0
|
|
; MIPS64R6-NEXT: cmp.eq.s $f0, $f12, $f0
|
|
; MIPS64R6-NEXT: mfc1 $1, $f0
|
|
; MIPS64R6-NEXT: andi $1, $1, 1
|
|
; MIPS64R6-NEXT: beqzc $1, .LBB1_2
|
|
; MIPS64R6-NEXT: nop
|
|
; MIPS64R6-NEXT: # %bb.1: # %if.end
|
|
; MIPS64R6-NEXT: jal f2
|
|
; MIPS64R6-NEXT: nop
|
|
; MIPS64R6-NEXT: ld $ra, 8($sp) # 8-byte Folded Reload
|
|
; MIPS64R6-NEXT: jr $ra
|
|
; MIPS64R6-NEXT: daddiu $sp, $sp, 16
|
|
; MIPS64R6-NEXT: .LBB1_2: # %if.then
|
|
; MIPS64R6-NEXT: jal abort
|
|
; MIPS64R6-NEXT: nop
|
|
entry:
|
|
%cmp = fcmp une float %f, 0.000000e+00
|
|
br i1 %cmp, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @abort() noreturn
|
|
unreachable
|
|
|
|
if.end: ; preds = %entry
|
|
tail call void (...) @f2() nounwind
|
|
ret void
|
|
}
|
|
|
|
declare void @abort() noreturn nounwind
|
|
|
|
declare void @f2(...)
|