mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-22 10:29:35 +00:00
AArch64: Better codegen for loading from __fp16.
Loading will generally extend to an f32 or an 64, so make sure to match those patterns directly to load into the FPR16 register class directly rather than going through the integer GPRs. This also eliminates an extra step in the convert-to-f64 path which was first converting to f32 and then to f64 from there. rdar://17594379 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@212573 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jim Grosbach
parent
04fe990190
commit
05bb7c5045
@ -2242,6 +2242,41 @@ def : Pat<(f32_to_f16 FPR32:$Rn),
|
||||
def FCVTSHpseudo : Pseudo<(outs FPR32:$Rd), (ins FPR32:$Rn),
|
||||
[(set (f32 FPR32:$Rd), (f16_to_f32 i32:$Rn))]>;
|
||||
|
||||
// When converting from f16 coming directly from a load, make sure we
|
||||
// load into the FPR16 registers rather than going through the GPRs.
|
||||
// f16->f32
|
||||
def : Pat<(f32 (f16_to_f32 (i32
|
||||
(zextloadi16 (ro_Windexed16 GPR64sp:$Rn, GPR32:$Rm,
|
||||
ro_Wextend16:$extend))))),
|
||||
(FCVTSHr (LDRHroW GPR64sp:$Rn, GPR32:$Rm, ro_Wextend16:$extend))>;
|
||||
def : Pat<(f32 (f16_to_f32 (i32
|
||||
(zextloadi16 (ro_Xindexed16 GPR64sp:$Rn, GPR64:$Rm,
|
||||
ro_Xextend16:$extend))))),
|
||||
(FCVTSHr (LDRHroX GPR64sp:$Rn, GPR64:$Rm, ro_Xextend16:$extend))>;
|
||||
def : Pat <(f32 (f16_to_f32 (i32
|
||||
(zextloadi16 (am_indexed16 GPR64sp:$Rn, uimm12s2:$offset))))),
|
||||
(FCVTSHr (LDRHui GPR64sp:$Rn, uimm12s2:$offset))>;
|
||||
def : Pat <(f32 (f16_to_f32 (i32
|
||||
(zextloadi16 (am_unscaled16 GPR64sp:$Rn, simm9:$offset))))),
|
||||
(FCVTSHr (LDURHi GPR64sp:$Rn, simm9:$offset))>;
|
||||
|
||||
// f16->f64
|
||||
def : Pat<(f64 (fextend (f32 (f16_to_f32 (i32
|
||||
(zextloadi16 (ro_Windexed16 GPR64sp:$Rn, GPR32:$Rm,
|
||||
ro_Wextend16:$extend))))))),
|
||||
(FCVTDHr (LDRHroW GPR64sp:$Rn, GPR32:$Rm, ro_Wextend16:$extend))>;
|
||||
def : Pat<(f64 (fextend (f32 (f16_to_f32 (i32
|
||||
(zextloadi16 (ro_Xindexed16 GPR64sp:$Rn, GPR64:$Rm,
|
||||
ro_Xextend16:$extend))))))),
|
||||
(FCVTDHr (LDRHroX GPR64sp:$Rn, GPR64:$Rm, ro_Xextend16:$extend))>;
|
||||
def : Pat <(f64 (fextend (f32 (f16_to_f32 (i32
|
||||
(zextloadi16 (am_indexed16 GPR64sp:$Rn, uimm12s2:$offset))))))),
|
||||
(FCVTDHr (LDRHui GPR64sp:$Rn, uimm12s2:$offset))>;
|
||||
def : Pat <(f64 (fextend (f32 (f16_to_f32 (i32
|
||||
(zextloadi16 (am_unscaled16 GPR64sp:$Rn, simm9:$offset))))))),
|
||||
(FCVTDHr (LDURHi GPR64sp:$Rn, simm9:$offset))>;
|
||||
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Floating point single operand instructions.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
128
test/CodeGen/AArch64/f16-convert.ll
Normal file
128
test/CodeGen/AArch64/f16-convert.ll
Normal file
@ -0,0 +1,128 @@
|
||||
; RUN: llc < %s -mtriple=arm64-apple-ios -asm-verbose=false | FileCheck %s
|
||||
|
||||
define float @load0(i16* nocapture readonly %a) nounwind {
|
||||
; CHECK-LABEL: load0:
|
||||
; CHECK-NEXT: ldr [[HREG:h[0-9]+]], [x0]
|
||||
; CHECK-NEXT: fcvt s0, [[HREG]]
|
||||
; CHECK-NEXT: ret
|
||||
|
||||
%tmp = load i16* %a, align 2
|
||||
%tmp1 = tail call float @llvm.convert.from.fp16(i16 %tmp)
|
||||
ret float %tmp1
|
||||
}
|
||||
|
||||
define double @load1(i16* nocapture readonly %a) nounwind {
|
||||
; CHECK-LABEL: load1:
|
||||
; CHECK-NEXT: ldr [[HREG:h[0-9]+]], [x0]
|
||||
; CHECK-NEXT: fcvt d0, [[HREG]]
|
||||
; CHECK-NEXT: ret
|
||||
|
||||
%tmp = load i16* %a, align 2
|
||||
%tmp1 = tail call float @llvm.convert.from.fp16(i16 %tmp)
|
||||
%conv = fpext float %tmp1 to double
|
||||
ret double %conv
|
||||
}
|
||||
|
||||
define float @load2(i16* nocapture readonly %a, i32 %i) nounwind {
|
||||
; CHECK-LABEL: load2:
|
||||
; CHECK-NEXT: ldr [[HREG:h[0-9]+]], [x0, w1, sxtw #1]
|
||||
; CHECK-NEXT: fcvt s0, [[HREG]]
|
||||
; CHECK-NEXT: ret
|
||||
|
||||
%idxprom = sext i32 %i to i64
|
||||
%arrayidx = getelementptr inbounds i16* %a, i64 %idxprom
|
||||
%tmp = load i16* %arrayidx, align 2
|
||||
%tmp1 = tail call float @llvm.convert.from.fp16(i16 %tmp)
|
||||
ret float %tmp1
|
||||
}
|
||||
|
||||
define double @load3(i16* nocapture readonly %a, i32 %i) nounwind {
|
||||
; CHECK-LABEL: load3:
|
||||
; CHECK-NEXT: ldr [[HREG:h[0-9]+]], [x0, w1, sxtw #1]
|
||||
; CHECK-NEXT: fcvt d0, [[HREG]]
|
||||
; CHECK-NEXT: ret
|
||||
|
||||
%idxprom = sext i32 %i to i64
|
||||
%arrayidx = getelementptr inbounds i16* %a, i64 %idxprom
|
||||
%tmp = load i16* %arrayidx, align 2
|
||||
%tmp1 = tail call float @llvm.convert.from.fp16(i16 %tmp)
|
||||
%conv = fpext float %tmp1 to double
|
||||
ret double %conv
|
||||
}
|
||||
|
||||
define float @load4(i16* nocapture readonly %a, i64 %i) nounwind {
|
||||
; CHECK-LABEL: load4:
|
||||
; CHECK-NEXT: ldr [[HREG:h[0-9]+]], [x0, x1, lsl #1]
|
||||
; CHECK-NEXT: fcvt s0, [[HREG]]
|
||||
; CHECK-NEXT: ret
|
||||
|
||||
%arrayidx = getelementptr inbounds i16* %a, i64 %i
|
||||
%tmp = load i16* %arrayidx, align 2
|
||||
%tmp1 = tail call float @llvm.convert.from.fp16(i16 %tmp)
|
||||
ret float %tmp1
|
||||
}
|
||||
|
||||
define double @load5(i16* nocapture readonly %a, i64 %i) nounwind {
|
||||
; CHECK-LABEL: load5:
|
||||
; CHECK-NEXT: ldr [[HREG:h[0-9]+]], [x0, x1, lsl #1]
|
||||
; CHECK-NEXT: fcvt d0, [[HREG]]
|
||||
; CHECK-NEXT: ret
|
||||
|
||||
%arrayidx = getelementptr inbounds i16* %a, i64 %i
|
||||
%tmp = load i16* %arrayidx, align 2
|
||||
%tmp1 = tail call float @llvm.convert.from.fp16(i16 %tmp)
|
||||
%conv = fpext float %tmp1 to double
|
||||
ret double %conv
|
||||
}
|
||||
|
||||
define float @load6(i16* nocapture readonly %a) nounwind {
|
||||
; CHECK-LABEL: load6:
|
||||
; CHECK-NEXT: ldr [[HREG:h[0-9]+]], [x0, #20]
|
||||
; CHECK-NEXT: fcvt s0, [[HREG]]
|
||||
; CHECK-NEXT: ret
|
||||
|
||||
%arrayidx = getelementptr inbounds i16* %a, i64 10
|
||||
%tmp = load i16* %arrayidx, align 2
|
||||
%tmp1 = tail call float @llvm.convert.from.fp16(i16 %tmp)
|
||||
ret float %tmp1
|
||||
}
|
||||
|
||||
define double @load7(i16* nocapture readonly %a) nounwind {
|
||||
; CHECK-LABEL: load7:
|
||||
; CHECK-NEXT: ldr [[HREG:h[0-9]+]], [x0, #20]
|
||||
; CHECK-NEXT: fcvt d0, [[HREG]]
|
||||
; CHECK-NEXT: ret
|
||||
|
||||
%arrayidx = getelementptr inbounds i16* %a, i64 10
|
||||
%tmp = load i16* %arrayidx, align 2
|
||||
%tmp1 = tail call float @llvm.convert.from.fp16(i16 %tmp)
|
||||
%conv = fpext float %tmp1 to double
|
||||
ret double %conv
|
||||
}
|
||||
|
||||
define float @load8(i16* nocapture readonly %a) nounwind {
|
||||
; CHECK-LABEL: load8:
|
||||
; CHECK-NEXT: ldur [[HREG:h[0-9]+]], [x0, #-20]
|
||||
; CHECK-NEXT: fcvt s0, [[HREG]]
|
||||
; CHECK-NEXT: ret
|
||||
|
||||
%arrayidx = getelementptr inbounds i16* %a, i64 -10
|
||||
%tmp = load i16* %arrayidx, align 2
|
||||
%tmp1 = tail call float @llvm.convert.from.fp16(i16 %tmp)
|
||||
ret float %tmp1
|
||||
}
|
||||
|
||||
define double @load9(i16* nocapture readonly %a) nounwind {
|
||||
; CHECK-LABEL: load9:
|
||||
; CHECK-NEXT: ldur [[HREG:h[0-9]+]], [x0, #-20]
|
||||
; CHECK-NEXT: fcvt d0, [[HREG]]
|
||||
; CHECK-NEXT: ret
|
||||
|
||||
%arrayidx = getelementptr inbounds i16* %a, i64 -10
|
||||
%tmp = load i16* %arrayidx, align 2
|
||||
%tmp1 = tail call float @llvm.convert.from.fp16(i16 %tmp)
|
||||
%conv = fpext float %tmp1 to double
|
||||
ret double %conv
|
||||
}
|
||||
|
||||
declare float @llvm.convert.from.fp16(i16) nounwind readnone
|
||||
Loading…
Reference in New Issue
Block a user