331 lines
8.5 KiB
LLVM
331 lines
8.5 KiB
LLVM
|
; 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: li 4, 1
|
||
|
|
; PPC64-NEXT: lfs 0, .LCPI2_0@toc@l(3)
|
||
|
|
; PPC64-NEXT: rldic 4, 4, 63, 0
|
||
|
|
; 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: ld 3, -8(1)
|
||
|
|
; PPC64-NEXT: ld 5, -16(1)
|
||
|
|
; PPC64-NEXT: xor 3, 3, 4
|
||
|
|
; PPC64-NEXT: bc 12, 0, .LBB2_1
|
||
|
|
; PPC64-NEXT: b .LBB2_2
|
||
|
|
; PPC64-NEXT: .LBB2_1: # %entry
|
||
|
|
; PPC64-NEXT: addi 3, 5, 0
|
||
|
|
; PPC64-NEXT: .LBB2_2: # %entry
|
||
|
|
; PPC64-NEXT: sradi 4, 3, 53
|
||
|
|
; PPC64-NEXT: clrldi 5, 3, 63
|
||
|
|
; PPC64-NEXT: addi 4, 4, 1
|
||
|
|
; PPC64-NEXT: cmpldi 4, 1
|
||
|
|
; PPC64-NEXT: rldicl 4, 3, 63, 1
|
||
|
|
; PPC64-NEXT: or 5, 5, 4
|
||
|
|
; PPC64-NEXT: rldicl 6, 5, 11, 53
|
||
|
|
; PPC64-NEXT: addi 6, 6, 1
|
||
|
|
; PPC64-NEXT: clrldi 7, 5, 53
|
||
|
|
; PPC64-NEXT: cmpldi 1, 6, 1
|
||
|
|
; PPC64-NEXT: clrldi 6, 3, 53
|
||
|
|
; PPC64-NEXT: addi 7, 7, 2047
|
||
|
|
; PPC64-NEXT: addi 6, 6, 2047
|
||
|
|
; PPC64-NEXT: or 4, 7, 4
|
||
|
|
; PPC64-NEXT: or 6, 6, 3
|
||
|
|
; PPC64-NEXT: rldicl 4, 4, 53, 11
|
||
|
|
; PPC64-NEXT: rldicr 6, 6, 0, 52
|
||
|
|
; PPC64-NEXT: bc 12, 1, .LBB2_4
|
||
|
|
; PPC64-NEXT: # %bb.3: # %entry
|
||
|
|
; PPC64-NEXT: ori 6, 3, 0
|
||
|
|
; PPC64-NEXT: b .LBB2_4
|
||
|
|
; PPC64-NEXT: .LBB2_4: # %entry
|
||
|
|
; PPC64-NEXT: rldicl 4, 4, 11, 1
|
||
|
|
; PPC64-NEXT: cmpdi 3, 0
|
||
|
|
; PPC64-NEXT: std 6, -32(1)
|
||
|
|
; PPC64-NEXT: bc 12, 5, .LBB2_6
|
||
|
|
; PPC64-NEXT: # %bb.5: # %entry
|
||
|
|
; PPC64-NEXT: ori 4, 5, 0
|
||
|
|
; PPC64-NEXT: b .LBB2_6
|
||
|
|
; PPC64-NEXT: .LBB2_6: # %entry
|
||
|
|
; PPC64-NEXT: std 4, -24(1)
|
||
|
|
; PPC64-NEXT: bc 12, 0, .LBB2_8
|
||
|
|
; PPC64-NEXT: # %bb.7: # %entry
|
||
|
|
; PPC64-NEXT: lfd 0, -32(1)
|
||
|
|
; PPC64-NEXT: fcfid 0, 0
|
||
|
|
; PPC64-NEXT: frsp 1, 0
|
||
|
|
; PPC64-NEXT: blr
|
||
|
|
; PPC64-NEXT: .LBB2_8:
|
||
|
|
; 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: li 4, 1
|
||
|
|
; PPC64-NEXT: lfs 0, .LCPI3_0@toc@l(3)
|
||
|
|
; PPC64-NEXT: rldic 4, 4, 63, 0
|
||
|
|
; 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: ld 3, -8(1)
|
||
|
|
; PPC64-NEXT: ld 5, -16(1)
|
||
|
|
; PPC64-NEXT: xor 3, 3, 4
|
||
|
|
; PPC64-NEXT: li 4, 1107
|
||
|
|
; PPC64-NEXT: rldic 4, 4, 52, 1
|
||
|
|
; PPC64-NEXT: bc 12, 0, .LBB3_1
|
||
|
|
; PPC64-NEXT: b .LBB3_2
|
||
|
|
; PPC64-NEXT: .LBB3_1: # %entry
|
||
|
|
; PPC64-NEXT: addi 3, 5, 0
|
||
|
|
; PPC64-NEXT: .LBB3_2: # %entry
|
||
|
|
; PPC64-NEXT: rldicl 5, 3, 32, 32
|
||
|
|
; PPC64-NEXT: clrldi 3, 3, 32
|
||
|
|
; PPC64-NEXT: or 4, 5, 4
|
||
|
|
; PPC64-NEXT: addis 5, 2, .LCPI3_1@toc@ha
|
||
|
|
; PPC64-NEXT: std 4, -24(1)
|
||
|
|
; PPC64-NEXT: li 4, 1075
|
||
|
|
; PPC64-NEXT: rldic 4, 4, 52, 1
|
||
|
|
; PPC64-NEXT: or 3, 3, 4
|
||
|
|
; PPC64-NEXT: lfd 0, .LCPI3_1@toc@l(5)
|
||
|
|
; 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 4, -1
|
||
|
|
; PPC64-NEXT: li 3, 0
|
||
|
|
; PPC64-NEXT: bc 12, 1, .LBB6_1
|
||
|
|
; PPC64-NEXT: b .LBB6_2
|
||
|
|
; PPC64-NEXT: .LBB6_1: # %entry
|
||
|
|
; PPC64-NEXT: addi 3, 4, 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" }
|
||
|
|
|