7a605ab7bf
mov w8, #1325400064 + fmov s0, w8 ==> movi v0.2s, 0x4f, lsl 24 Fix https://github.com/llvm/llvm-project/issues/53651 Reviewed By: dmgreen, fhahn Differential Revision: https://reviews.llvm.org/D120452
34 lines
1.2 KiB
LLVM
34 lines
1.2 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc < %s -mtriple=aarch64-none-linux-gnu -verify-machineinstrs -mattr=+neon | FileCheck %s --check-prefixes=CHECK,CHECK-NEON
|
|
; RUN: llc < %s -mtriple=aarch64-none-linux-gnu -verify-machineinstrs -mattr=-neon | FileCheck %s --check-prefixes=CHECK,CHECK-SCALAR
|
|
|
|
; Check that big fp constants can be rematerialized with movi
|
|
target triple = "aarch64-unknown-linux-gnu"
|
|
|
|
; float foo(void) { return float(2147483648); }
|
|
define float @foo() {
|
|
; CHECK-LABEL: foo:
|
|
; CHECK: // %bb.0: // %entry
|
|
; CHECK-NEON-NEXT: movi v0.2s, #79, lsl #24
|
|
; CHECK-SCALAR-NEXT: mov w8, #1325400064
|
|
; CHECK-SCALAR-NEXT: fmov s0, w8
|
|
; CHECK-NEXT: ret
|
|
entry:
|
|
ret float 0x41E0000000000000
|
|
}
|
|
|
|
; float foo2(float p) { return p + float(2147483648); }
|
|
define float @foo2(float %f) {
|
|
; CHECK-LABEL: foo2:
|
|
; CHECK: // %bb.0: // %entry
|
|
; CHECK-NEON-NEXT: movi v1.2s, #79, lsl #24
|
|
; CHECK-NEON-NEXT: fadd s0, s0, s1
|
|
; CHECK-SCALAR-NEXT: mov w8, #1325400064
|
|
; CHECK-SCALAR-NEXT: fmov s1, w8
|
|
; CHECK-SCALAR-NEXT: fadd s0, s0, s1
|
|
; CHECK-NEXT: ret
|
|
entry:
|
|
%p = fadd float %f, 0x41E0000000000000
|
|
ret float %p
|
|
}
|