def lround : SDNode<"ISD::LROUND" , SDTFPToIntOp>;
def llround : SDNode<"ISD::LLROUND" , SDTFPToIntOp>;
+def lrint : SDNode<"ISD::LRINT" , SDTFPToIntOp>;
+def llrint : SDNode<"ISD::LLRINT" , SDTFPToIntOp>;
def fpround : SDNode<"ISD::FP_ROUND" , SDTFPRoundOp>;
def fpextend : SDNode<"ISD::FP_EXTEND" , SDTFPExtendOp>;
setOperationAction(ISD::FMAXIMUM, Ty, Legal);
setOperationAction(ISD::LROUND, Ty, Legal);
setOperationAction(ISD::LLROUND, Ty, Legal);
+ setOperationAction(ISD::LRINT, Ty, Legal);
+ setOperationAction(ISD::LLRINT, Ty, Legal);
}
if (Subtarget->hasFullFP16()) {
defm FRINT64X : FRIntNNT<0b11, "frint64x">;
} // HasFRInt3264
+def : Pat<(i32 (lrint f32:$Rn)),
+ (FCVTZSUWSr (!cast<Instruction>(FRINTXSr) f32:$Rn))>;
+def : Pat<(i32 (lrint f64:$Rn)),
+ (FCVTZSUWDr (!cast<Instruction>(FRINTXDr) f64:$Rn))>;
+def : Pat<(i64 (lrint f32:$Rn)),
+ (FCVTZSUXSr (!cast<Instruction>(FRINTXSr) f32:$Rn))>;
+def : Pat<(i64 (lrint f64:$Rn)),
+ (FCVTZSUXDr (!cast<Instruction>(FRINTXDr) f64:$Rn))>;
+def : Pat<(i64 (llrint f32:$Rn)),
+ (FCVTZSUXSr (!cast<Instruction>(FRINTXSr) f32:$Rn))>;
+def : Pat<(i64 (llrint f64:$Rn)),
+ (FCVTZSUXDr (!cast<Instruction>(FRINTXDr) f64:$Rn))>;
+
//===----------------------------------------------------------------------===//
// Floating point two operand instructions.
//===----------------------------------------------------------------------===//
; RUN: llc < %s -mtriple=aarch64 -mattr=+neon | FileCheck %s
; CHECK-LABEL: testmsws:
-; CHECK: bl llrintf
+; CHECK: frintx [[REG:s[0-9]]], s0
+; CHECK-NEXT: fcvtzs x0, [[REG]]
+; CHECK: ret
define i32 @testmsws(float %x) {
entry:
%0 = tail call i64 @llvm.llrint.f32(float %x)
}
; CHECK-LABEL: testmsxs:
-; CHECK: b llrintf
+; CHECK: frintx [[REG:s[0-9]]], s0
+; CHECK-NEXT: fcvtzs x0, [[REG]]
+; CHECK-NEXT: ret
define i64 @testmsxs(float %x) {
entry:
%0 = tail call i64 @llvm.llrint.f32(float %x)
}
; CHECK-LABEL: testmswd:
-; CHECK: bl llrint
+; CHECK: frintx [[REG:d[0-9]]], d0
+; CHECK-NEXT: fcvtzs x0, [[REG]]
+; CHECK: ret
define i32 @testmswd(double %x) {
entry:
%0 = tail call i64 @llvm.llrint.f64(double %x)
}
; CHECK-LABEL: testmsxd:
-; CHECK: b llrint
+; CHECK: frintx [[REG:d[0-9]]], d0
+; CHECK-NEXT: fcvtzs x0, [[REG]]
+; CHECK-nEXT: ret
define i64 @testmsxd(double %x) {
entry:
%0 = tail call i64 @llvm.llrint.f64(double %x)
--- /dev/null
+; RUN: llc < %s -mtriple=aarch64-windows -mattr=+neon | FileCheck %s
+
+; CHECK-LABEL: testmsxs:
+; CHECK: frintx [[SREG:s[0-9]+]], s0
+; CHECK-NEXT: fcvtzs [[WREG:w[0-9]+]], [[SREG]]
+; CHECK-NEXT: sxtw x0, [[WREG]]
+; CHECK-NEXT: ret
+define i64 @testmsxs(float %x) {
+entry:
+ %0 = tail call i32 @llvm.lrint.i32.f32(float %x)
+ %conv = sext i32 %0 to i64
+ ret i64 %conv
+}
+
+; CHECK-LABEL: testmsws:
+; CHECK: frintx [[SREG:s[0-9]+]], s0
+; CHECK-NEXT: fcvtzs [[WREG:w[0-9]+]], [[SREG]]
+; CHECK-NEXT: ret
+define i32 @testmsws(float %x) {
+entry:
+ %0 = tail call i32 @llvm.lrint.i32.f32(float %x)
+ ret i32 %0
+}
+
+; CHECK-LABEL: testmsxd:
+; CHECK: frintx [[DREG:d[0-9]+]], d0
+; CHECK-NEXT: fcvtzs [[WREG:w[0-9]+]], [[DREG]]
+; CHECK-NEXT: sxtw x0, [[WREG]]
+; CHECK-NEXT: ret
+define i64 @testmsxd(double %x) {
+entry:
+ %0 = tail call i32 @llvm.lrint.i32.f64(double %x)
+ %conv = sext i32 %0 to i64
+ ret i64 %conv
+}
+
+; CHECK-LABEL: testmswd:
+; CHECK: frintx [[DREG:d[0-9]+]], d0
+; CHECK-NEXT: fcvtzs [[WREG:w[0-9]+]], [[DREG]]
+; CHECK-NEXT: ret
+define i32 @testmswd(double %x) {
+entry:
+ %0 = tail call i32 @llvm.lrint.i32.f64(double %x)
+ ret i32 %0
+}
+
+declare i32 @llvm.lrint.i32.f32(float) nounwind readnone
+declare i32 @llvm.lrint.i32.f64(double) nounwind readnone
; RUN: llc < %s -mtriple=aarch64 -mattr=+neon | FileCheck %s
; CHECK-LABEL: testmsws:
-; CHECK: bl lrintf
+; CHECK: frintx [[REG:s[0-9]]], s0
+; CHECK-NEXT: fcvtzs x0, [[REG]]
+; CHECK: ret
define i32 @testmsws(float %x) {
entry:
%0 = tail call i64 @llvm.lrint.i64.f32(float %x)
}
; CHECK-LABEL: testmsxs:
-; CHECK: b lrintf
+; CHECK: frintx [[REG:s[0-9]]], s0
+; CHECK-NEXT: fcvtzs x0, [[REG]]
+; CHECK-NEXT: ret
define i64 @testmsxs(float %x) {
entry:
%0 = tail call i64 @llvm.lrint.i64.f32(float %x)
}
; CHECK-LABEL: testmswd:
-; CHECK: bl lrint
+; CHECK: frintx [[REG:d[0-9]]], d0
+; CHECK-NEXT: fcvtzs x0, [[REG]]
+; CHECK: ret
define i32 @testmswd(double %x) {
entry:
%0 = tail call i64 @llvm.lrint.i64.f64(double %x)
}
; CHECK-LABEL: testmsxd:
-; CHECK: b lrint
+; CHECK: frintx [[REG:d[0-9]]], d0
+; CHECK-NEXT: fcvtzs x0, [[REG]]
+; CHECK-NEXT: ret
define i64 @testmsxd(double %x) {
entry:
%0 = tail call i64 @llvm.lrint.i64.f64(double %x)