; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -verify-machineinstrs -mcpu=a2 < %s | FileCheck %s -check-prefix=FPCVT
; RUN: llc -verify-machineinstrs -mcpu=ppc64 < %s | FileCheck %s -check-prefix=PPC64
; RUN: llc -verify-machineinstrs -mcpu=pwr9 < %s | FileCheck %s -check-prefix=PWR9
target datalayout = "E-m:e-i64:64-n32:64"
target triple = "powerpc64-unknown-linux-gnu"
; Function Attrs: nounwind readnone
define float @fool(float %X) #0 {
; FPCVT-LABEL: fool:
; FPCVT: # %bb.0: # %entry
; FPCVT-NEXT: friz 1, 1
; FPCVT-NEXT: blr
;
; PPC64-LABEL: fool:
; PPC64: # %bb.0: # %entry
; PPC64-NEXT: fctidz 0, 1
; PPC64-NEXT: fcfid 0, 0
; PPC64-NEXT: frsp 1, 0
; PPC64-NEXT: blr
;
; PWR9-LABEL: fool:
; PWR9: # %bb.0: # %entry
; PWR9-NEXT: xsrdpiz 1, 1
; PWR9-NEXT: blr
entry:
%conv = fptosi float %X to i64
%conv1 = sitofp i64 %conv to float
ret float %conv1
}
; Function Attrs: nounwind readnone
define double @foodl(double %X) #0 {
; FPCVT-LABEL: foodl:
; FPCVT: # %bb.0: # %entry
; FPCVT-NEXT: friz 1, 1
; FPCVT-NEXT: blr
;
; PPC64-LABEL: foodl:
; PPC64: # %bb.0: # %entry
; PPC64-NEXT: fctidz 0, 1
; PPC64-NEXT: fcfid 1, 0
; PPC64-NEXT: blr
;
; PWR9-LABEL: foodl:
; PWR9: # %bb.0: # %entry
; PWR9-NEXT: xsrdpiz 1, 1
; PWR9-NEXT: blr
entry:
%conv = fptosi double %X to i64
%conv1 = sitofp i64 %conv to double
ret double %conv1
}
; Function Attrs: nounwind readnone
define float @fooul(float %X) #0 {
; FPCVT-LABEL: fooul:
; FPCVT: # %bb.0: # %entry
; FPCVT-NEXT: friz 1, 1
; FPCVT-NEXT: blr
;
; PPC64-LABEL: fooul:
; PPC64: # %bb.0: # %entry
; PPC64-NEXT: addis 3, 2, .LCPI2_0@toc@ha
; PPC64-NEXT: lfs 0, .LCPI2_0@toc@l(3)
; PPC64-NEXT: fsubs 2, 1, 0
; PPC64-NEXT: fcmpu 0, 1, 0
; PPC64-NEXT: fctidz 2, 2
; PPC64-NEXT: stfd 2, -8(1)
; PPC64-NEXT: fctidz 2, 1
; PPC64-NEXT: stfd 2, -16(1)
; PPC64-NEXT: blt 0, .LBB2_2
; PPC64-NEXT: # %bb.1: # %entry
; PPC64-NEXT: ld 3, -8(1)
; PPC64-NEXT: li 4, 1
; PPC64-NEXT: rldic 4, 4, 63, 0
; PPC64-NEXT: xor 3, 3, 4
; PPC64-NEXT: b .LBB2_3
; PPC64-NEXT: .LBB2_2:
; PPC64-NEXT: ld 3, -16(1)
; PPC64-NEXT: .LBB2_3: # %entry
; PPC64-NEXT: sradi 4, 3, 53
; PPC64-NEXT: addi 4, 4, 1
; PPC64-NEXT: cmpldi 4, 1
; PPC64-NEXT: bgt 0, .LBB2_5
; PPC64-NEXT: # %bb.4: # %entry
; PPC64-NEXT: mr 4, 3
; PPC64-NEXT: b .LBB2_6
; PPC64-NEXT: .LBB2_5:
; PPC64-NEXT: clrldi 4, 3, 53
; PPC64-NEXT: addi 4, 4, 2047
; PPC64-NEXT: or 4, 4, 3
; PPC64-NEXT: rldicr 4, 4, 0, 52
; PPC64-NEXT: .LBB2_6: # %entry
; PPC64-NEXT: rldicl 5, 3, 10, 54
; PPC64-NEXT: clrldi 6, 3, 63
; PPC64-NEXT: std 4, -32(1)
; PPC64-NEXT: addi 5, 5, 1
; PPC64-NEXT: cmpldi 5, 1
; PPC64-NEXT: rldicl 5, 3, 63, 1
; PPC64-NEXT: or 4, 6, 5
; PPC64-NEXT: ble 0, .LBB2_8
; PPC64-NEXT: # %bb.7:
; PPC64-NEXT: clrldi 4, 4, 53
; PPC64-NEXT: addi 4, 4, 2047
; PPC64-NEXT: or 4, 4, 5
; PPC64-NEXT: rldicl 4, 4, 53, 11
; PPC64-NEXT: rldicl 4, 4, 11, 1
; PPC64-NEXT: .LBB2_8: # %entry
; PPC64-NEXT: cmpdi 3, 0
; PPC64-NEXT: std 4, -24(1)
; PPC64-NEXT: bc 12, 0, .LBB2_10
; PPC64-NEXT: # %bb.9: # %entry
; PPC64-NEXT: lfd 0, -32(1)
; PPC64-NEXT: fcfid 0, 0
; PPC64-NEXT: frsp 1, 0
; PPC64-NEXT: blr
; PPC64-NEXT: .LBB2_10:
; PPC64-NEXT: lfd 0, -24(1)
; PPC64-NEXT: fcfid 0, 0
; PPC64-NEXT: frsp 0, 0
; PPC64-NEXT: fadds 1, 0, 0
; PPC64-NEXT: blr
;
; PWR9-LABEL: fooul:
; PWR9: # %bb.0: # %entry
; PWR9-NEXT: xsrdpiz 1, 1
; PWR9-NEXT: blr
entry:
%conv = fptoui float %X to i64
%conv1 = uitofp i64 %conv to float
ret float %conv1
}
; Function Attrs: nounwind readnone
define double @fooudl(double %X) #0 {
; FPCVT-LABEL: fooudl:
; FPCVT: # %bb.0: # %entry
; FPCVT-NEXT: friz 1, 1
; FPCVT-NEXT: blr
;
; PPC64-LABEL: fooudl:
; PPC64: # %bb.0: # %entry
; PPC64-NEXT: addis 3, 2, .LCPI3_0@toc@ha
; PPC64-NEXT: lfs 0, .LCPI3_0@toc@l(3)
; PPC64-NEXT: fsub 2, 1, 0
; PPC64-NEXT: fcmpu 0, 1, 0
; PPC64-NEXT: fctidz 2, 2
; PPC64-NEXT: stfd 2, -8(1)
; PPC64-NEXT: fctidz 2, 1
; PPC64-NEXT: stfd 2, -16(1)
; PPC64-NEXT: blt 0, .LBB3_2
; PPC64-NEXT: # %bb.1: # %entry
; PPC64-NEXT: ld 3, -8(1)
; PPC64-NEXT: li 4, 1
; PPC64-NEXT: rldic 4, 4, 63, 0
; PPC64-NEXT: xor 3, 3, 4
; PPC64-NEXT: b .LBB3_3
; PPC64-NEXT: .LBB3_2:
; PPC64-NEXT: ld 3, -16(1)
; PPC64-NEXT: .LBB3_3: # %entry
; PPC64-NEXT: li 5, 1107
; PPC64-NEXT: rldicl 4, 3, 32, 32
; PPC64-NEXT: rldic 5, 5, 52, 1
; PPC64-NEXT: clrldi 3, 3, 32
; PPC64-NEXT: or 4, 4, 5
; PPC64-NEXT: li 5, 1075
; PPC64-NEXT: std 4, -24(1)
; PPC64-NEXT: addis 4, 2, .LCPI3_1@toc@ha
; PPC64-NEXT: lfd 0, .LCPI3_1@toc@l(4)
; PPC64-NEXT: rldic 4, 5, 52, 1
; PPC64-NEXT: or 3, 3, 4
; PPC64-NEXT: std 3, -32(1)
; PPC64-NEXT: lfd 1, -24(1)
; PPC64-NEXT: lfd 2, -32(1)
; PPC64-NEXT: fsub 0, 1, 0
; PPC64-NEXT: fadd 1, 2, 0
; PPC64-NEXT: blr
;
; PWR9-LABEL: fooudl:
; PWR9: # %bb.0: # %entry
; PWR9-NEXT: xsrdpiz 1, 1
; PWR9-NEXT: blr
entry:
%conv = fptoui double %X to i64
%conv1 = uitofp i64 %conv to double
ret double %conv1
}
; Function Attrs: nounwind readnone
define i1 @f64_to_si1(double %X) #0 {
; FPCVT-LABEL: f64_to_si1:
; FPCVT: # %bb.0: # %entry
; FPCVT-NEXT: fctiwz 0, 1
; FPCVT-NEXT: addi 3, 1, -4
; FPCVT-NEXT: stfiwx 0, 0, 3
; FPCVT-NEXT: lwz 3, -4(1)
; FPCVT-NEXT: blr
;
; PPC64-LABEL: f64_to_si1:
; PPC64: # %bb.0: # %entry
; PPC64-NEXT: addi 3, 1, -4
; PPC64-NEXT: fctiwz 0, 1
; PPC64-NEXT: stfiwx 0, 0, 3
; PPC64-NEXT: lwz 3, -4(1)
; PPC64-NEXT: blr
;
; PWR9-LABEL: f64_to_si1:
; PWR9: # %bb.0: # %entry
; PWR9-NEXT: xscvdpsxws 0, 1
; PWR9-NEXT: mffprwz 3, 0
; PWR9-NEXT: blr
entry:
%conv = fptosi double %X to i1
ret i1 %conv
}
; Function Attrs: nounwind readnone
define i1 @f64_to_ui1(double %X) #0 {
; FPCVT-LABEL: f64_to_ui1:
; FPCVT: # %bb.0: # %entry
; FPCVT-NEXT: fctiwz 0, 1
; FPCVT-NEXT: addi 3, 1, -4
; FPCVT-NEXT: stfiwx 0, 0, 3
; FPCVT-NEXT: lwz 3, -4(1)
; FPCVT-NEXT: blr
;
; PPC64-LABEL: f64_to_ui1:
; PPC64: # %bb.0: # %entry
; PPC64-NEXT: addi 3, 1, -4
; PPC64-NEXT: fctiwz 0, 1
; PPC64-NEXT: stfiwx 0, 0, 3
; PPC64-NEXT: lwz 3, -4(1)
; PPC64-NEXT: blr
;
; PWR9-LABEL: f64_to_ui1:
; PWR9: # %bb.0: # %entry
; PWR9-NEXT: xscvdpsxws 0, 1
; PWR9-NEXT: mffprwz 3, 0
; PWR9-NEXT: blr
entry:
%conv = fptoui double %X to i1
ret i1 %conv
}
; Function Attrs: nounwind readnone
define double @si1_to_f64(i1 %X) #0 {
; FPCVT-LABEL: si1_to_f64:
; FPCVT: # %bb.0: # %entry
; FPCVT-NEXT: andi. 3, 3, 1
; FPCVT-NEXT: li 4, 0
; FPCVT-NEXT: li 3, -1
; FPCVT-NEXT: iselgt 3, 3, 4
; FPCVT-NEXT: addi 4, 1, -4
; FPCVT-NEXT: stw 3, -4(1)
; FPCVT-NEXT: lfiwax 0, 0, 4
; FPCVT-NEXT: fcfid 1, 0
; FPCVT-NEXT: blr
;
; PPC64-LABEL: si1_to_f64:
; PPC64: # %bb.0: # %entry
; PPC64-NEXT: andi. 3, 3, 1
; PPC64-NEXT: li 3, -1
; PPC64-NEXT: bc 12, 1, .LBB6_2
; PPC64-NEXT: # %bb.1: # %entry
; PPC64-NEXT: li 3, 0
; PPC64-NEXT: .LBB6_2: # %entry
; PPC64-NEXT: std 3, -8(1)
; PPC64-NEXT: lfd 0, -8(1)
; PPC64-NEXT: fcfid 1, 0
; PPC64-NEXT: blr
;
; PWR9-LABEL: si1_to_f64:
; PWR9: # %bb.0: # %entry
; PWR9-NEXT: andi. 3, 3, 1
; PWR9-NEXT: li 3, 0
; PWR9-NEXT: li 4, -1
; PWR9-NEXT: iselgt 3, 4, 3
; PWR9-NEXT: mtfprwa 0, 3
; PWR9-NEXT: xscvsxddp 1, 0
; PWR9-NEXT: blr
entry:
%conv = sitofp i1 %X to double
ret double %conv
}
; Function Attrs: nounwind readnone
define double @ui1_to_f64(i1 %X) #0 {
; FPCVT-LABEL: ui1_to_f64:
; FPCVT: # %bb.0: # %entry
; FPCVT-NEXT: clrlwi 3, 3, 31
; FPCVT-NEXT: addi 4, 1, -4
; FPCVT-NEXT: stw 3, -4(1)
; FPCVT-NEXT: lfiwax 0, 0, 4
; FPCVT-NEXT: fcfid 1, 0
; FPCVT-NEXT: blr
;
; PPC64-LABEL: ui1_to_f64:
; PPC64: # %bb.0: # %entry
; PPC64-NEXT: clrldi 3, 3, 63
; PPC64-NEXT: std 3, -8(1)
; PPC64-NEXT: lfd 0, -8(1)
; PPC64-NEXT: fcfid 1, 0
; PPC64-NEXT: blr
;
; PWR9-LABEL: ui1_to_f64:
; PWR9: # %bb.0: # %entry
; PWR9-NEXT: clrlwi 3, 3, 31
; PWR9-NEXT: mtfprwa 0, 3
; PWR9-NEXT: xscvsxddp 1, 0
; PWR9-NEXT: blr
entry:
%conv = uitofp i1 %X to double
ret double %conv
}
attributes #0 = { nounwind readnone "no-signed-zeros-fp-math"="true" }