mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-28 19:31:58 +00:00
fe2b8b1960
Summary: ... and after all that refactoring, it's possible to distinguish softfloat floating point values from integers so this patch no longer breaks softfloat to do it. Remove direct handling of i32's in the N32/N64 ABI by promoting them to i64. This more closely reflects the ABI documentation and also fixes problems with stack arguments on big-endian targets. We now rely on signext/zeroext annotations (already generated by clang) and the Assert[SZ]ext nodes to avoid the introduction of unnecessary sign/zero extends. It was not possible to convert three tests to use signext/zeroext. These tests are bswap.ll, ctlz-v.ll, ctlz-v.ll. It's not possible to put signext on a vector type so we just accept the sign extends here for now. These tests don't pass the vectors the same way clang does (clang puts multiple elements in the same argument, these map 1 element to 1 argument) so we don't need to worry too much about it. With this patch, all known N32/N64 bugs should be fixed and we now pass the first 10,000 tests generated by ABITest.py. Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D6117 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@221534 91177308-0d34-0410-b5e6-96231b3b80d8
863 lines
30 KiB
LLVM
863 lines
30 KiB
LLVM
; RUN: llc < %s -march=mipsel -mcpu=mips32 | FileCheck %s -check-prefix=ALL -check-prefix=32
|
|
; RUN: llc < %s -march=mipsel -mcpu=mips32r2 | FileCheck %s -check-prefix=ALL -check-prefix=32R2
|
|
; RUN: llc < %s -march=mipsel -mcpu=mips32r6 | FileCheck %s -check-prefix=ALL -check-prefix=32R6
|
|
; RUN: llc < %s -march=mips64el -mcpu=mips64 | FileCheck %s -check-prefix=ALL -check-prefix=64
|
|
; RUN: llc < %s -march=mips64el -mcpu=mips64r2 | FileCheck %s -check-prefix=ALL -check-prefix=64R2
|
|
; RUN: llc < %s -march=mips64el -mcpu=mips64r6 | FileCheck %s -check-prefix=ALL -check-prefix=64R6
|
|
|
|
@d2 = external global double
|
|
@d3 = external global double
|
|
|
|
define i32 @i32_icmp_ne_i32_val(i32 signext %s, i32 signext %f0, i32 signext %f1) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: i32_icmp_ne_i32_val:
|
|
|
|
; 32: movn $5, $6, $4
|
|
; 32: move $2, $5
|
|
|
|
; 32R2: movn $5, $6, $4
|
|
; 32R2: move $2, $5
|
|
|
|
; 32R6-DAG: seleqz $[[T0:[0-9]+]], $5, $4
|
|
; 32R6-DAG: selnez $[[T1:[0-9]+]], $6, $4
|
|
; 32R6: or $2, $[[T1]], $[[T0]]
|
|
|
|
; 64: movn $5, $6, $4
|
|
; 64: move $2, $5
|
|
|
|
; 64R2: movn $5, $6, $4
|
|
; 64R2: move $2, $5
|
|
|
|
; 64R6-DAG: seleqz $[[T0:[0-9]+]], $5, $4
|
|
; 64R6-DAG: selnez $[[T1:[0-9]+]], $6, $4
|
|
; 64R6: or $2, $[[T1]], $[[T0]]
|
|
|
|
%tobool = icmp ne i32 %s, 0
|
|
%cond = select i1 %tobool, i32 %f1, i32 %f0
|
|
ret i32 %cond
|
|
}
|
|
|
|
define i64 @i32_icmp_ne_i64_val(i32 signext %s, i64 %f0, i64 %f1) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: i32_icmp_ne_i64_val:
|
|
|
|
; 32-DAG: lw $[[F1:[0-9]+]], 16($sp)
|
|
; 32-DAG: movn $6, $[[F1]], $4
|
|
; 32-DAG: lw $[[F1H:[0-9]+]], 20($sp)
|
|
; 32: movn $7, $[[F1H]], $4
|
|
; 32: move $2, $6
|
|
; 32: move $3, $7
|
|
|
|
; 32R2-DAG: lw $[[F1:[0-9]+]], 16($sp)
|
|
; 32R2-DAG: movn $6, $[[F1]], $4
|
|
; 32R2-DAG: lw $[[F1H:[0-9]+]], 20($sp)
|
|
; 32R2: movn $7, $[[F1H]], $4
|
|
; 32R2: move $2, $6
|
|
; 32R2: move $3, $7
|
|
|
|
; 32R6-DAG: lw $[[F1:[0-9]+]], 16($sp)
|
|
; 32R6-DAG: seleqz $[[T0:[0-9]+]], $6, $4
|
|
; 32R6-DAG: selnez $[[T1:[0-9]+]], $[[F1]], $4
|
|
; 32R6: or $2, $[[T1]], $[[T0]]
|
|
; 32R6-DAG: lw $[[F1H:[0-9]+]], 20($sp)
|
|
; 32R6-DAG: seleqz $[[T0:[0-9]+]], $7, $4
|
|
; 32R6-DAG: selnez $[[T1:[0-9]+]], $[[F1H]], $4
|
|
; 32R6: or $3, $[[T1]], $[[T0]]
|
|
|
|
; 64: movn $5, $6, $4
|
|
; 64: move $2, $5
|
|
|
|
; 64R2: movn $5, $6, $4
|
|
; 64R2: move $2, $5
|
|
|
|
; FIXME: This sll works around an implementation detail in the code generator
|
|
; (setcc's result is i32 so bits 32-63 are undefined). It's not really
|
|
; needed.
|
|
; 64R6-DAG: sll $[[CC:[0-9]+]], $4, 0
|
|
; 64R6-DAG: seleqz $[[T0:[0-9]+]], $5, $[[CC]]
|
|
; 64R6-DAG: selnez $[[T1:[0-9]+]], $6, $[[CC]]
|
|
; 64R6: or $2, $[[T1]], $[[T0]]
|
|
|
|
%tobool = icmp ne i32 %s, 0
|
|
%cond = select i1 %tobool, i64 %f1, i64 %f0
|
|
ret i64 %cond
|
|
}
|
|
|
|
define i64 @i64_icmp_ne_i64_val(i64 %s, i64 %f0, i64 %f1) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: i64_icmp_ne_i64_val:
|
|
|
|
; 32-DAG: or $[[CC:[0-9]+]], $4
|
|
; 32-DAG: lw $[[F1:[0-9]+]], 16($sp)
|
|
; 32-DAG: movn $6, $[[F1]], $[[CC]]
|
|
; 32-DAG: lw $[[F1H:[0-9]+]], 20($sp)
|
|
; 32: movn $7, $[[F1H]], $[[CC]]
|
|
; 32: move $2, $6
|
|
; 32: move $3, $7
|
|
|
|
; 32R2-DAG: or $[[CC:[0-9]+]], $4
|
|
; 32R2-DAG: lw $[[F1:[0-9]+]], 16($sp)
|
|
; 32R2-DAG: movn $6, $[[F1]], $[[CC]]
|
|
; 32R2-DAG: lw $[[F1H:[0-9]+]], 20($sp)
|
|
; 32R2: movn $7, $[[F1H]], $[[CC]]
|
|
; 32R2: move $2, $6
|
|
; 32R2: move $3, $7
|
|
|
|
; 32R6-DAG: lw $[[F1:[0-9]+]], 16($sp)
|
|
; 32R6-DAG: or $[[T2:[0-9]+]], $4, $5
|
|
; 32R6-DAG: seleqz $[[T0:[0-9]+]], $6, $[[T2]]
|
|
; 32R6-DAG: selnez $[[T1:[0-9]+]], $[[F1]], $[[T2]]
|
|
; 32R6: or $2, $[[T1]], $[[T0]]
|
|
; 32R6-DAG: lw $[[F1H:[0-9]+]], 20($sp)
|
|
; 32R6-DAG: seleqz $[[T0:[0-9]+]], $7, $[[T2]]
|
|
; 32R6-DAG: selnez $[[T1:[0-9]+]], $[[F1H]], $[[T2]]
|
|
; 32R6: or $3, $[[T1]], $[[T0]]
|
|
|
|
; 64: movn $5, $6, $4
|
|
; 64: move $2, $5
|
|
|
|
; 64R2: movn $5, $6, $4
|
|
; 64R2: move $2, $5
|
|
|
|
; 64R6-DAG: seleqz $[[T0:[0-9]+]], $5, $4
|
|
; 64R6-DAG: selnez $[[T1:[0-9]+]], $6, $4
|
|
; 64R6: or $2, $[[T1]], $[[T0]]
|
|
|
|
%tobool = icmp ne i64 %s, 0
|
|
%cond = select i1 %tobool, i64 %f1, i64 %f0
|
|
ret i64 %cond
|
|
}
|
|
|
|
define float @i32_icmp_ne_f32_val(i32 signext %s, float %f0, float %f1) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: i32_icmp_ne_f32_val:
|
|
|
|
; 32-DAG: mtc1 $5, $[[F0:f[0-9]+]]
|
|
; 32-DAG: mtc1 $6, $[[F1:f0]]
|
|
; 32: movn.s $[[F1]], $[[F0]], $4
|
|
|
|
; 32R2-DAG: mtc1 $5, $[[F0:f[0-9]+]]
|
|
; 32R2-DAG: mtc1 $6, $[[F1:f0]]
|
|
; 32R2: movn.s $[[F1]], $[[F0]], $4
|
|
|
|
; 32R6-DAG: mtc1 $5, $[[F0:f[0-9]+]]
|
|
; 32R6-DAG: mtc1 $6, $[[F1:f[0-9]+]]
|
|
; 32R6: sltu $[[T0:[0-9]+]], $zero, $4
|
|
; 32R6: mtc1 $[[T0]], $[[CC:f0]]
|
|
; 32R6: sel.s $[[CC]], $[[F1]], $[[F0]]
|
|
|
|
; 64: movn.s $f14, $f13, $4
|
|
; 64: mov.s $f0, $f14
|
|
|
|
; 64R2: movn.s $f14, $f13, $4
|
|
; 64R2: mov.s $f0, $f14
|
|
|
|
; 64R6: sltu $[[T0:[0-9]+]], $zero, $4
|
|
; 64R6: mtc1 $[[T0]], $[[CC:f0]]
|
|
; 64R6: sel.s $[[CC]], $f14, $f13
|
|
|
|
%tobool = icmp ne i32 %s, 0
|
|
%cond = select i1 %tobool, float %f0, float %f1
|
|
ret float %cond
|
|
}
|
|
|
|
define double @i32_icmp_ne_f64_val(i32 signext %s, double %f0, double %f1) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: i32_icmp_ne_f64_val:
|
|
|
|
; 32-DAG: mtc1 $6, $[[F0:f[1-3]*[02468]+]]
|
|
; 32-DAG: mtc1 $7, $[[F0H:f[1-3]*[13579]+]]
|
|
; 32-DAG: ldc1 $[[F1:f0]], 16($sp)
|
|
; 32: movn.d $[[F1]], $[[F0]], $4
|
|
|
|
; 32R2-DAG: mtc1 $6, $[[F0:f[0-9]+]]
|
|
; 32R2-DAG: mthc1 $7, $[[F0]]
|
|
; 32R2-DAG: ldc1 $[[F1:f0]], 16($sp)
|
|
; 32R2: movn.d $[[F1]], $[[F0]], $4
|
|
|
|
; 32R6-DAG: mtc1 $6, $[[F0:f[0-9]+]]
|
|
; 32R6-DAG: mthc1 $7, $[[F0]]
|
|
; 32R6-DAG: sltu $[[T0:[0-9]+]], $zero, $4
|
|
; 32R6-DAG: mtc1 $[[T0]], $[[CC:f0]]
|
|
; 32R6-DAG: ldc1 $[[F1:f[0-9]+]], 16($sp)
|
|
; 32R6: sel.d $[[CC]], $[[F1]], $[[F0]]
|
|
|
|
; 64: movn.d $f14, $f13, $4
|
|
; 64: mov.d $f0, $f14
|
|
|
|
; 64R2: movn.d $f14, $f13, $4
|
|
; 64R2: mov.d $f0, $f14
|
|
|
|
; 64R6-DAG: sltu $[[T0:[0-9]+]], $zero, $4
|
|
; 64R6-DAG: mtc1 $[[T0]], $[[CC:f0]]
|
|
; 64R6: sel.d $[[CC]], $f14, $f13
|
|
|
|
%tobool = icmp ne i32 %s, 0
|
|
%cond = select i1 %tobool, double %f0, double %f1
|
|
ret double %cond
|
|
}
|
|
|
|
define float @f32_fcmp_oeq_f32_val(float %f0, float %f1, float %f2, float %f3) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: f32_fcmp_oeq_f32_val:
|
|
|
|
; 32-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32: c.eq.s $[[F2]], $[[F3]]
|
|
; 32: movt.s $f14, $f12, $fcc0
|
|
; 32: mov.s $f0, $f14
|
|
|
|
; 32R2-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R2-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R2: c.eq.s $[[F2]], $[[F3]]
|
|
; 32R2: movt.s $f14, $f12, $fcc0
|
|
; 32R2: mov.s $f0, $f14
|
|
|
|
; 32R6-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R6-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R6: cmp.eq.s $[[CC:f0]], $[[F2]], $[[F3]]
|
|
; 32R6: sel.s $[[CC]], $f14, $f12
|
|
|
|
; 64: c.eq.s $f14, $f15
|
|
; 64: movt.s $f13, $f12, $fcc0
|
|
; 64: mov.s $f0, $f13
|
|
|
|
; 64R2: c.eq.s $f14, $f15
|
|
; 64R2: movt.s $f13, $f12, $fcc0
|
|
; 64R2: mov.s $f0, $f13
|
|
|
|
; 64R6: cmp.eq.s $[[CC:f0]], $f14, $f15
|
|
; 64R6: sel.s $[[CC]], $f13, $f12
|
|
|
|
%cmp = fcmp oeq float %f2, %f3
|
|
%cond = select i1 %cmp, float %f0, float %f1
|
|
ret float %cond
|
|
}
|
|
|
|
define float @f32_fcmp_olt_f32_val(float %f0, float %f1, float %f2, float %f3) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: f32_fcmp_olt_f32_val:
|
|
|
|
; 32-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32: c.olt.s $[[F2]], $[[F3]]
|
|
; 32: movt.s $f14, $f12, $fcc0
|
|
; 32: mov.s $f0, $f14
|
|
|
|
; 32R2-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R2-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R2: c.olt.s $[[F2]], $[[F3]]
|
|
; 32R2: movt.s $f14, $f12, $fcc0
|
|
; 32R2: mov.s $f0, $f14
|
|
|
|
; 32R6-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R6-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R6: cmp.lt.s $[[CC:f0]], $[[F2]], $[[F3]]
|
|
; 32R6: sel.s $[[CC]], $f14, $f12
|
|
|
|
; 64: c.olt.s $f14, $f15
|
|
; 64: movt.s $f13, $f12, $fcc0
|
|
; 64: mov.s $f0, $f13
|
|
|
|
; 64R2: c.olt.s $f14, $f15
|
|
; 64R2: movt.s $f13, $f12, $fcc0
|
|
; 64R2: mov.s $f0, $f13
|
|
|
|
; 64R6: cmp.lt.s $[[CC:f0]], $f14, $f15
|
|
; 64R6: sel.s $[[CC]], $f13, $f12
|
|
|
|
%cmp = fcmp olt float %f2, %f3
|
|
%cond = select i1 %cmp, float %f0, float %f1
|
|
ret float %cond
|
|
}
|
|
|
|
define float @f32_fcmp_ogt_f32_val(float %f0, float %f1, float %f2, float %f3) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: f32_fcmp_ogt_f32_val:
|
|
|
|
; 32-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32: c.ule.s $[[F2]], $[[F3]]
|
|
; 32: movf.s $f14, $f12, $fcc0
|
|
; 32: mov.s $f0, $f14
|
|
|
|
; 32R2-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R2-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R2: c.ule.s $[[F2]], $[[F3]]
|
|
; 32R2: movf.s $f14, $f12, $fcc0
|
|
; 32R2: mov.s $f0, $f14
|
|
|
|
; 32R6-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R6-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R6: cmp.lt.s $[[CC:f0]], $[[F3]], $[[F2]]
|
|
; 32R6: sel.s $[[CC]], $f14, $f12
|
|
|
|
; 64: c.ule.s $f14, $f15
|
|
; 64: movf.s $f13, $f12, $fcc0
|
|
; 64: mov.s $f0, $f13
|
|
|
|
; 64R2: c.ule.s $f14, $f15
|
|
; 64R2: movf.s $f13, $f12, $fcc0
|
|
; 64R2: mov.s $f0, $f13
|
|
|
|
; 64R6: cmp.lt.s $[[CC:f0]], $f15, $f14
|
|
; 64R6: sel.s $[[CC]], $f13, $f12
|
|
|
|
%cmp = fcmp ogt float %f2, %f3
|
|
%cond = select i1 %cmp, float %f0, float %f1
|
|
ret float %cond
|
|
}
|
|
|
|
define double @f32_fcmp_ogt_f64_val(double %f0, double %f1, float %f2, float %f3) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: f32_fcmp_ogt_f64_val:
|
|
|
|
; 32-DAG: lwc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32-DAG: lwc1 $[[F3:f[0-9]+]], 20($sp)
|
|
; 32: c.ule.s $[[F2]], $[[F3]]
|
|
; 32: movf.d $f14, $f12, $fcc0
|
|
; 32: mov.d $f0, $f14
|
|
|
|
; 32R2-DAG: lwc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32R2-DAG: lwc1 $[[F3:f[0-9]+]], 20($sp)
|
|
; 32R2: c.ule.s $[[F2]], $[[F3]]
|
|
; 32R2: movf.d $f14, $f12, $fcc0
|
|
; 32R2: mov.d $f0, $f14
|
|
|
|
; 32R6-DAG: lwc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32R6-DAG: lwc1 $[[F3:f[0-9]+]], 20($sp)
|
|
; 32R6: cmp.lt.s $[[CC:f0]], $[[F3]], $[[F2]]
|
|
; 32R6: sel.d $[[CC]], $f14, $f12
|
|
|
|
; 64: c.ule.s $f14, $f15
|
|
; 64: movf.d $f13, $f12, $fcc0
|
|
; 64: mov.d $f0, $f13
|
|
|
|
; 64R2: c.ule.s $f14, $f15
|
|
; 64R2: movf.d $f13, $f12, $fcc0
|
|
; 64R2: mov.d $f0, $f13
|
|
|
|
; 64R6: cmp.lt.s $[[CC:f0]], $f15, $f14
|
|
; 64R6: sel.d $[[CC]], $f13, $f12
|
|
|
|
%cmp = fcmp ogt float %f2, %f3
|
|
%cond = select i1 %cmp, double %f0, double %f1
|
|
ret double %cond
|
|
}
|
|
|
|
define double @f64_fcmp_oeq_f64_val(double %f0, double %f1, double %f2, double %f3) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: f64_fcmp_oeq_f64_val:
|
|
|
|
; 32-DAG: ldc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32-DAG: ldc1 $[[F3:f[0-9]+]], 24($sp)
|
|
; 32: c.eq.d $[[F2]], $[[F3]]
|
|
; 32: movt.d $f14, $f12, $fcc0
|
|
; 32: mov.d $f0, $f14
|
|
|
|
; 32R2-DAG: ldc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32R2-DAG: ldc1 $[[F3:f[0-9]+]], 24($sp)
|
|
; 32R2: c.eq.d $[[F2]], $[[F3]]
|
|
; 32R2: movt.d $f14, $f12, $fcc0
|
|
; 32R2: mov.d $f0, $f14
|
|
|
|
; 32R6-DAG: ldc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32R6-DAG: ldc1 $[[F3:f[0-9]+]], 24($sp)
|
|
; 32R6: cmp.eq.d $[[CC:f0]], $[[F2]], $[[F3]]
|
|
; 32R6: sel.d $[[CC]], $f14, $f12
|
|
|
|
; 64: c.eq.d $f14, $f15
|
|
; 64: movt.d $f13, $f12, $fcc0
|
|
; 64: mov.d $f0, $f13
|
|
|
|
; 64R2: c.eq.d $f14, $f15
|
|
; 64R2: movt.d $f13, $f12, $fcc0
|
|
; 64R2: mov.d $f0, $f13
|
|
|
|
; 64R6: cmp.eq.d $[[CC:f0]], $f14, $f15
|
|
; 64R6: sel.d $[[CC]], $f13, $f12
|
|
|
|
%cmp = fcmp oeq double %f2, %f3
|
|
%cond = select i1 %cmp, double %f0, double %f1
|
|
ret double %cond
|
|
}
|
|
|
|
define double @f64_fcmp_olt_f64_val(double %f0, double %f1, double %f2, double %f3) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: f64_fcmp_olt_f64_val:
|
|
|
|
; 32-DAG: ldc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32-DAG: ldc1 $[[F3:f[0-9]+]], 24($sp)
|
|
; 32: c.olt.d $[[F2]], $[[F3]]
|
|
; 32: movt.d $f14, $f12, $fcc0
|
|
; 32: mov.d $f0, $f14
|
|
|
|
; 32R2-DAG: ldc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32R2-DAG: ldc1 $[[F3:f[0-9]+]], 24($sp)
|
|
; 32R2: c.olt.d $[[F2]], $[[F3]]
|
|
; 32R2: movt.d $f14, $f12, $fcc0
|
|
; 32R2: mov.d $f0, $f14
|
|
|
|
; 32R6-DAG: ldc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32R6-DAG: ldc1 $[[F3:f[0-9]+]], 24($sp)
|
|
; 32R6: cmp.lt.d $[[CC:f0]], $[[F2]], $[[F3]]
|
|
; 32R6: sel.d $[[CC]], $f14, $f12
|
|
|
|
; 64: c.olt.d $f14, $f15
|
|
; 64: movt.d $f13, $f12, $fcc0
|
|
; 64: mov.d $f0, $f13
|
|
|
|
; 64R2: c.olt.d $f14, $f15
|
|
; 64R2: movt.d $f13, $f12, $fcc0
|
|
; 64R2: mov.d $f0, $f13
|
|
|
|
; 64R6: cmp.lt.d $[[CC:f0]], $f14, $f15
|
|
; 64R6: sel.d $[[CC]], $f13, $f12
|
|
|
|
%cmp = fcmp olt double %f2, %f3
|
|
%cond = select i1 %cmp, double %f0, double %f1
|
|
ret double %cond
|
|
}
|
|
|
|
define double @f64_fcmp_ogt_f64_val(double %f0, double %f1, double %f2, double %f3) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: f64_fcmp_ogt_f64_val:
|
|
|
|
; 32-DAG: ldc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32-DAG: ldc1 $[[F3:f[0-9]+]], 24($sp)
|
|
; 32: c.ule.d $[[F2]], $[[F3]]
|
|
; 32: movf.d $f14, $f12, $fcc0
|
|
; 32: mov.d $f0, $f14
|
|
|
|
; 32R2-DAG: ldc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32R2-DAG: ldc1 $[[F3:f[0-9]+]], 24($sp)
|
|
; 32R2: c.ule.d $[[F2]], $[[F3]]
|
|
; 32R2: movf.d $f14, $f12, $fcc0
|
|
; 32R2: mov.d $f0, $f14
|
|
|
|
; 32R6-DAG: ldc1 $[[F2:f[0-9]+]], 16($sp)
|
|
; 32R6-DAG: ldc1 $[[F3:f[0-9]+]], 24($sp)
|
|
; 32R6: cmp.lt.d $[[CC:f0]], $[[F3]], $[[F2]]
|
|
; 32R6: sel.d $[[CC]], $f14, $f12
|
|
|
|
; 64: c.ule.d $f14, $f15
|
|
; 64: movf.d $f13, $f12, $fcc0
|
|
; 64: mov.d $f0, $f13
|
|
|
|
; 64R2: c.ule.d $f14, $f15
|
|
; 64R2: movf.d $f13, $f12, $fcc0
|
|
; 64R2: mov.d $f0, $f13
|
|
|
|
; 64R6: cmp.lt.d $[[CC:f0]], $f15, $f14
|
|
; 64R6: sel.d $[[CC]], $f13, $f12
|
|
|
|
%cmp = fcmp ogt double %f2, %f3
|
|
%cond = select i1 %cmp, double %f0, double %f1
|
|
ret double %cond
|
|
}
|
|
|
|
define float @f64_fcmp_ogt_f32_val(float %f0, float %f1, double %f2, double %f3) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: f64_fcmp_ogt_f32_val:
|
|
|
|
; 32-DAG: mtc1 $6, $[[F2:f[1-3]*[02468]+]]
|
|
; 32-DAG: mtc1 $7, $[[F2H:f[1-3]*[13579]+]]
|
|
; 32-DAG: ldc1 $[[F3:f[0-9]+]], 16($sp)
|
|
; 32: c.ule.d $[[F2]], $[[F3]]
|
|
; 32: movf.s $f14, $f12, $fcc0
|
|
; 32: mov.s $f0, $f14
|
|
|
|
; 32R2-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R2-DAG: mthc1 $7, $[[F2]]
|
|
; 32R2-DAG: ldc1 $[[F3:f[0-9]+]], 16($sp)
|
|
; 32R2: c.ule.d $[[F2]], $[[F3]]
|
|
; 32R2: movf.s $f14, $f12, $fcc0
|
|
; 32R2: mov.s $f0, $f14
|
|
|
|
; 32R6-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R6-DAG: mthc1 $7, $[[F2]]
|
|
; 32R6-DAG: ldc1 $[[F3:f[0-9]+]], 16($sp)
|
|
; 32R6: cmp.lt.d $[[CC:f0]], $[[F3]], $[[F2]]
|
|
; 32R6: sel.s $[[CC]], $f14, $f12
|
|
|
|
; 64: c.ule.d $f14, $f15
|
|
; 64: movf.s $f13, $f12, $fcc0
|
|
; 64: mov.s $f0, $f13
|
|
|
|
; 64R2: c.ule.d $f14, $f15
|
|
; 64R2: movf.s $f13, $f12, $fcc0
|
|
; 64R2: mov.s $f0, $f13
|
|
|
|
; 64R6: cmp.lt.d $[[CC:f0]], $f15, $f14
|
|
; 64R6: sel.s $[[CC]], $f13, $f12
|
|
|
|
%cmp = fcmp ogt double %f2, %f3
|
|
%cond = select i1 %cmp, float %f0, float %f1
|
|
ret float %cond
|
|
}
|
|
|
|
define i32 @f32_fcmp_oeq_i32_val(i32 signext %f0, i32 signext %f1, float %f2, float %f3) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: f32_fcmp_oeq_i32_val:
|
|
|
|
; 32-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32: c.eq.s $[[F2]], $[[F3]]
|
|
; 32: movt $5, $4, $fcc0
|
|
; 32: move $2, $5
|
|
|
|
; 32R2-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R2-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R2: c.eq.s $[[F2]], $[[F3]]
|
|
; 32R2: movt $5, $4, $fcc0
|
|
; 32R2: move $2, $5
|
|
|
|
; 32R6-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R6-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R6: cmp.eq.s $[[CC:f[0-9]+]], $[[F2]], $[[F3]]
|
|
; 32R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 32R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 32R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 32R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 32R6: or $2, $[[NE]], $[[EQ]]
|
|
|
|
; 64: c.eq.s $f14, $f15
|
|
; 64: movt $5, $4, $fcc0
|
|
; 64: move $2, $5
|
|
|
|
; 64R2: c.eq.s $f14, $f15
|
|
; 64R2: movt $5, $4, $fcc0
|
|
; 64R2: move $2, $5
|
|
|
|
; 64R6: cmp.eq.s $[[CC:f[0-9]+]], $f14, $f15
|
|
; 64R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 64R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 64R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 64R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 64R6: or $2, $[[NE]], $[[EQ]]
|
|
|
|
%cmp = fcmp oeq float %f2, %f3
|
|
%cond = select i1 %cmp, i32 %f0, i32 %f1
|
|
ret i32 %cond
|
|
}
|
|
|
|
define i32 @f32_fcmp_olt_i32_val(i32 signext %f0, i32 signext %f1, float %f2, float %f3) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: f32_fcmp_olt_i32_val:
|
|
|
|
; 32-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32: c.olt.s $[[F2]], $[[F3]]
|
|
; 32: movt $5, $4, $fcc0
|
|
; 32: move $2, $5
|
|
|
|
; 32R2-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R2-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R2: c.olt.s $[[F2]], $[[F3]]
|
|
; 32R2: movt $5, $4, $fcc0
|
|
; 32R2: move $2, $5
|
|
|
|
; 32R6-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R6-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R6: cmp.lt.s $[[CC:f[0-9]+]], $[[F2]], $[[F3]]
|
|
; 32R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 32R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 32R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 32R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 32R6: or $2, $[[NE]], $[[EQ]]
|
|
|
|
; 64: c.olt.s $f14, $f15
|
|
; 64: movt $5, $4, $fcc0
|
|
; 64: move $2, $5
|
|
|
|
; 64R2: c.olt.s $f14, $f15
|
|
; 64R2: movt $5, $4, $fcc0
|
|
; 64R2: move $2, $5
|
|
|
|
; 64R6: cmp.lt.s $[[CC:f[0-9]+]], $f14, $f15
|
|
; 64R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 64R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 64R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 64R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 64R6: or $2, $[[NE]], $[[EQ]]
|
|
%cmp = fcmp olt float %f2, %f3
|
|
%cond = select i1 %cmp, i32 %f0, i32 %f1
|
|
ret i32 %cond
|
|
}
|
|
|
|
define i32 @f32_fcmp_ogt_i32_val(i32 signext %f0, i32 signext %f1, float %f2, float %f3) nounwind readnone {
|
|
entry:
|
|
; ALL-LABEL: f32_fcmp_ogt_i32_val:
|
|
|
|
; 32-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32: c.ule.s $[[F2]], $[[F3]]
|
|
; 32: movf $5, $4, $fcc0
|
|
; 32: move $2, $5
|
|
|
|
; 32R2-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R2-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R2: c.ule.s $[[F2]], $[[F3]]
|
|
; 32R2: movf $5, $4, $fcc0
|
|
; 32R2: move $2, $5
|
|
|
|
; 32R6-DAG: mtc1 $6, $[[F2:f[0-9]+]]
|
|
; 32R6-DAG: mtc1 $7, $[[F3:f[0-9]+]]
|
|
; 32R6: cmp.lt.s $[[CC:f[0-9]+]], $[[F3]], $[[F2]]
|
|
; 32R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 32R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 32R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 32R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 32R6: or $2, $[[NE]], $[[EQ]]
|
|
|
|
; 64: c.ule.s $f14, $f15
|
|
; 64: movf $5, $4, $fcc0
|
|
; 64: move $2, $5
|
|
|
|
; 64R2: c.ule.s $f14, $f15
|
|
; 64R2: movf $5, $4, $fcc0
|
|
; 64R2: move $2, $5
|
|
|
|
; 64R6: cmp.lt.s $[[CC:f[0-9]+]], $f15, $f14
|
|
; 64R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 64R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 64R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 64R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 64R6: or $2, $[[NE]], $[[EQ]]
|
|
|
|
%cmp = fcmp ogt float %f2, %f3
|
|
%cond = select i1 %cmp, i32 %f0, i32 %f1
|
|
ret i32 %cond
|
|
}
|
|
|
|
define i32 @f64_fcmp_oeq_i32_val(i32 signext %f0, i32 signext %f1) nounwind readonly {
|
|
entry:
|
|
; ALL-LABEL: f64_fcmp_oeq_i32_val:
|
|
|
|
; 32-DAG: addiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(_gp_disp)
|
|
; 32-DAG: addu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 32-DAG: lw $[[D2:[0-9]+]], %got(d2)($1)
|
|
; 32-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 32-DAG: lw $[[D3:[0-9]+]], %got(d3)($1)
|
|
; 32-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 32: c.eq.d $[[TMP]], $[[TMP1]]
|
|
; 32: movt $5, $4, $fcc0
|
|
; 32: move $2, $5
|
|
|
|
; 32R2-DAG: addiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(_gp_disp)
|
|
; 32R2-DAG: addu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 32R2-DAG: lw $[[D2:[0-9]+]], %got(d2)($1)
|
|
; 32R2-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 32R2-DAG: lw $[[D3:[0-9]+]], %got(d3)($1)
|
|
; 32R2-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 32R2: c.eq.d $[[TMP]], $[[TMP1]]
|
|
; 32R2: movt $5, $4, $fcc0
|
|
; 32R2: move $2, $5
|
|
|
|
; 32R6-DAG: addiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(_gp_disp)
|
|
; 32R6-DAG: addu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 32R6-DAG: lw $[[D2:[0-9]+]], %got(d2)($1)
|
|
; 32R6-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 32R6-DAG: lw $[[D3:[0-9]+]], %got(d3)($1)
|
|
; 32R6-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 32R6: cmp.eq.d $[[CC:f[0-9]+]], $[[TMP]], $[[TMP1]]
|
|
; 32R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 32R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 32R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 32R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 32R6: or $2, $[[NE]], $[[EQ]]
|
|
|
|
; 64-DAG: daddiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(%neg(%gp_rel(f64_fcmp_oeq_i32_val)))
|
|
; 64-DAG: daddu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 64-DAG: ld $[[D2:[0-9]+]], %got_disp(d2)($1)
|
|
; 64-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 64-DAG: ld $[[D3:[0-9]+]], %got_disp(d3)($1)
|
|
; 64-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 64: c.eq.d $[[TMP]], $[[TMP1]]
|
|
; 64: movt $5, $4, $fcc0
|
|
; 64: move $2, $5
|
|
|
|
; 64R2-DAG: daddiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(%neg(%gp_rel(f64_fcmp_oeq_i32_val)))
|
|
; 64R2-DAG: daddu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 64R2-DAG: ld $[[D2:[0-9]+]], %got_disp(d2)($1)
|
|
; 64R2-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 64R2-DAG: ld $[[D3:[0-9]+]], %got_disp(d3)($1)
|
|
; 64R2-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 64R2: c.eq.d $[[TMP]], $[[TMP1]]
|
|
; 64R2: movt $5, $4, $fcc0
|
|
; 64R2: move $2, $5
|
|
|
|
; 64R6-DAG: daddiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(%neg(%gp_rel(f64_fcmp_oeq_i32_val)))
|
|
; 64R6-DAG: daddu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 64R6-DAG: ld $[[D2:[0-9]+]], %got_disp(d2)($1)
|
|
; 64R6-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 64R6-DAG: ld $[[D3:[0-9]+]], %got_disp(d3)($1)
|
|
; 64R6-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 64R6: cmp.eq.d $[[CC:f[0-9]+]], $[[TMP]], $[[TMP1]]
|
|
; 64R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 64R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 64R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 64R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 64R6: or $2, $[[NE]], $[[EQ]]
|
|
|
|
%tmp = load double* @d2, align 8
|
|
%tmp1 = load double* @d3, align 8
|
|
%cmp = fcmp oeq double %tmp, %tmp1
|
|
%cond = select i1 %cmp, i32 %f0, i32 %f1
|
|
ret i32 %cond
|
|
}
|
|
|
|
define i32 @f64_fcmp_olt_i32_val(i32 signext %f0, i32 signext %f1) nounwind readonly {
|
|
entry:
|
|
; ALL-LABEL: f64_fcmp_olt_i32_val:
|
|
|
|
; 32-DAG: addiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(_gp_disp)
|
|
; 32-DAG: addu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 32-DAG: lw $[[D2:[0-9]+]], %got(d2)($1)
|
|
; 32-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 32-DAG: lw $[[D3:[0-9]+]], %got(d3)($1)
|
|
; 32-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 32: c.olt.d $[[TMP]], $[[TMP1]]
|
|
; 32: movt $5, $4, $fcc0
|
|
; 32: move $2, $5
|
|
|
|
; 32R2-DAG: addiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(_gp_disp)
|
|
; 32R2-DAG: addu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 32R2-DAG: lw $[[D2:[0-9]+]], %got(d2)($1)
|
|
; 32R2-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 32R2-DAG: lw $[[D3:[0-9]+]], %got(d3)($1)
|
|
; 32R2-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 32R2: c.olt.d $[[TMP]], $[[TMP1]]
|
|
; 32R2: movt $5, $4, $fcc0
|
|
; 32R2: move $2, $5
|
|
|
|
; 32R6-DAG: addiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(_gp_disp)
|
|
; 32R6-DAG: addu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 32R6-DAG: lw $[[D2:[0-9]+]], %got(d2)($1)
|
|
; 32R6-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 32R6-DAG: lw $[[D3:[0-9]+]], %got(d3)($1)
|
|
; 32R6-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 32R6: cmp.lt.d $[[CC:f[0-9]+]], $[[TMP]], $[[TMP1]]
|
|
; 32R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 32R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 32R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 32R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 32R6: or $2, $[[NE]], $[[EQ]]
|
|
|
|
; 64-DAG: daddiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(%neg(%gp_rel(f64_fcmp_olt_i32_val)))
|
|
; 64-DAG: daddu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 64-DAG: ld $[[D2:[0-9]+]], %got_disp(d2)($1)
|
|
; 64-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 64-DAG: ld $[[D3:[0-9]+]], %got_disp(d3)($1)
|
|
; 64-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 64: c.olt.d $[[TMP]], $[[TMP1]]
|
|
; 64: movt $5, $4, $fcc0
|
|
; 64: move $2, $5
|
|
|
|
; 64R2-DAG: daddiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(%neg(%gp_rel(f64_fcmp_olt_i32_val)))
|
|
; 64R2-DAG: daddu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 64R2-DAG: ld $[[D2:[0-9]+]], %got_disp(d2)($1)
|
|
; 64R2-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 64R2-DAG: ld $[[D3:[0-9]+]], %got_disp(d3)($1)
|
|
; 64R2-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 64R2: c.olt.d $[[TMP]], $[[TMP1]]
|
|
; 64R2: movt $5, $4, $fcc0
|
|
; 64R2: move $2, $5
|
|
|
|
; 64R6-DAG: daddiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(%neg(%gp_rel(f64_fcmp_olt_i32_val)))
|
|
; 64R6-DAG: daddu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 64R6-DAG: ld $[[D2:[0-9]+]], %got_disp(d2)($1)
|
|
; 64R6-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 64R6-DAG: ld $[[D3:[0-9]+]], %got_disp(d3)($1)
|
|
; 64R6-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 64R6: cmp.lt.d $[[CC:f[0-9]+]], $[[TMP]], $[[TMP1]]
|
|
; 64R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 64R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 64R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 64R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 64R6: or $2, $[[NE]], $[[EQ]]
|
|
|
|
%tmp = load double* @d2, align 8
|
|
%tmp1 = load double* @d3, align 8
|
|
%cmp = fcmp olt double %tmp, %tmp1
|
|
%cond = select i1 %cmp, i32 %f0, i32 %f1
|
|
ret i32 %cond
|
|
}
|
|
|
|
define i32 @f64_fcmp_ogt_i32_val(i32 signext %f0, i32 signext %f1) nounwind readonly {
|
|
entry:
|
|
; ALL-LABEL: f64_fcmp_ogt_i32_val:
|
|
|
|
; 32-DAG: addiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(_gp_disp)
|
|
; 32-DAG: addu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 32-DAG: lw $[[D2:[0-9]+]], %got(d2)($1)
|
|
; 32-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 32-DAG: lw $[[D3:[0-9]+]], %got(d3)($1)
|
|
; 32-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 32: c.ule.d $[[TMP]], $[[TMP1]]
|
|
; 32: movf $5, $4, $fcc0
|
|
; 32: move $2, $5
|
|
|
|
; 32R2-DAG: addiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(_gp_disp)
|
|
; 32R2-DAG: addu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 32R2-DAG: lw $[[D2:[0-9]+]], %got(d2)($1)
|
|
; 32R2-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 32R2-DAG: lw $[[D3:[0-9]+]], %got(d3)($1)
|
|
; 32R2-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 32R2: c.ule.d $[[TMP]], $[[TMP1]]
|
|
; 32R2: movf $5, $4, $fcc0
|
|
; 32R2: move $2, $5
|
|
|
|
; 32R6-DAG: addiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(_gp_disp)
|
|
; 32R6-DAG: addu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 32R6-DAG: lw $[[D2:[0-9]+]], %got(d2)($1)
|
|
; 32R6-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 32R6-DAG: lw $[[D3:[0-9]+]], %got(d3)($1)
|
|
; 32R6-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 32R6: cmp.lt.d $[[CC:f[0-9]+]], $[[TMP1]], $[[TMP]]
|
|
; 32R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 32R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 32R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 32R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 32R6: or $2, $[[NE]], $[[EQ]]
|
|
|
|
; 64-DAG: daddiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(%neg(%gp_rel(f64_fcmp_ogt_i32_val)))
|
|
; 64-DAG: daddu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 64-DAG: ld $[[D2:[0-9]+]], %got_disp(d2)($1)
|
|
; 64-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 64-DAG: ld $[[D3:[0-9]+]], %got_disp(d3)($1)
|
|
; 64-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 64: c.ule.d $[[TMP]], $[[TMP1]]
|
|
; 64: movf $5, $4, $fcc0
|
|
; 64: move $2, $5
|
|
|
|
; 64R2-DAG: daddiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(%neg(%gp_rel(f64_fcmp_ogt_i32_val)))
|
|
; 64R2-DAG: daddu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 64R2-DAG: ld $[[D2:[0-9]+]], %got_disp(d2)($1)
|
|
; 64R2-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 64R2-DAG: ld $[[D3:[0-9]+]], %got_disp(d3)($1)
|
|
; 64R2-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 64R2: c.ule.d $[[TMP]], $[[TMP1]]
|
|
; 64R2: movf $5, $4, $fcc0
|
|
; 64R2: move $2, $5
|
|
|
|
; 64R6-DAG: daddiu $[[T0:[0-9]+]], ${{[0-9]+}}, %lo(%neg(%gp_rel(f64_fcmp_ogt_i32_val)))
|
|
; 64R6-DAG: daddu $[[GOT:[0-9]+]], $[[T0]], $25
|
|
; 64R6-DAG: ld $[[D2:[0-9]+]], %got_disp(d2)($1)
|
|
; 64R6-DAG: ldc1 $[[TMP:f[0-9]+]], 0($[[D2]])
|
|
; 64R6-DAG: ld $[[D3:[0-9]+]], %got_disp(d3)($1)
|
|
; 64R6-DAG: ldc1 $[[TMP1:f[0-9]+]], 0($[[D3]])
|
|
; 64R6: cmp.lt.d $[[CC:f[0-9]+]], $[[TMP1]], $[[TMP]]
|
|
; 64R6: mfc1 $[[CCGPR:[0-9]+]], $[[CC]]
|
|
; 64R6: andi $[[CCGPR]], $[[CCGPR]], 1
|
|
; 64R6: seleqz $[[EQ:[0-9]+]], $5, $[[CCGPR]]
|
|
; 64R6: selnez $[[NE:[0-9]+]], $4, $[[CCGPR]]
|
|
; 64R6: or $2, $[[NE]], $[[EQ]]
|
|
|
|
%tmp = load double* @d2, align 8
|
|
%tmp1 = load double* @d3, align 8
|
|
%cmp = fcmp ogt double %tmp, %tmp1
|
|
%cond = select i1 %cmp, i32 %f0, i32 %f1
|
|
ret i32 %cond
|
|
}
|