| ; 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-NEON-LABEL: foo: | |
| ; CHECK-NEON: // %bb.0: // %entry | |
| ; CHECK-NEON-NEXT: movi v0.2s, #79, lsl #24 | |
| ; CHECK-NEON-NEXT: ret | |
| ; | |
| ; CHECK-SCALAR-LABEL: foo: | |
| ; CHECK-SCALAR: // %bb.0: // %entry | |
| ; CHECK-SCALAR-NEXT: mov w8, #1325400064 // =0x4f000000 | |
| ; CHECK-SCALAR-NEXT: fmov s0, w8 | |
| ; CHECK-SCALAR-NEXT: ret | |
| entry: | |
| ret float 0x41E0000000000000 | |
| } | |
| ; float foo2(float p) { return p + float(2147483648); } | |
| define float @foo2(float %f) { | |
| ; CHECK-NEON-LABEL: foo2: | |
| ; CHECK-NEON: // %bb.0: // %entry | |
| ; CHECK-NEON-NEXT: movi v1.2s, #79, lsl #24 | |
| ; CHECK-NEON-NEXT: fadd s0, s0, s1 | |
| ; CHECK-NEON-NEXT: ret | |
| ; | |
| ; CHECK-SCALAR-LABEL: foo2: | |
| ; CHECK-SCALAR: // %bb.0: // %entry | |
| ; CHECK-SCALAR-NEXT: mov w8, #1325400064 // =0x4f000000 | |
| ; CHECK-SCALAR-NEXT: fmov s1, w8 | |
| ; CHECK-SCALAR-NEXT: fadd s0, s0, s1 | |
| ; CHECK-SCALAR-NEXT: ret | |
| entry: | |
| %p = fadd float %f, 0x41E0000000000000 | |
| ret float %p | |
| } | |
| ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line: | |
| ; CHECK: {{.*}} |