1; RUN: llc -mtriple=aarch64-linux-gnu -verify-machineinstrs < %s | FileCheck %s 2; RUN: llc -mtriple=aarch64-apple-darwin -code-model=large -verify-machineinstrs < %s | FileCheck %s --check-prefixes=LARGE 3; RUN: llc -mtriple=aarch64 -code-model=tiny -verify-machineinstrs < %s | FileCheck %s 4; RUN: llc -mtriple=aarch64-linux-gnu -global-isel -verify-machineinstrs < %s | FileCheck %s 5 6@varf32 = global float 0.0 7@varf64 = global double 0.0 8 9define void @check_float() { 10; CHECK-LABEL: check_float: 11 12 %val = load float, ptr @varf32 13 %newval1 = fadd float %val, 8.5 14 store volatile float %newval1, ptr @varf32 15; CHECK-DAG: fmov {{s[0-9]+}}, #8.5 16 17 %newval2 = fadd float %val, 128.0 18 store volatile float %newval2, ptr @varf32 19; CHECK-DAG: movi [[REG:v[0-9s]+]].2s, #67, lsl #24 20 21; CHECK: ret 22 ret void 23} 24 25define void @check_double() { 26; CHECK-LABEL: check_double: 27 28 %val = load double, ptr @varf64 29 %newval1 = fadd double %val, 8.5 30 store volatile double %newval1, ptr @varf64 31; CHECK-DAG: fmov {{d[0-9]+}}, #8.5 32 33 %newval2 = fadd double %val, 128.0 34 store volatile double %newval2, ptr @varf64 35; CHECK-DAG: mov [[X128:x[0-9]+]], #4638707616191610880 36; CHECK-DAG: fmov {{d[0-9]+}}, [[X128]] 37 38; 64-bit ORR followed by MOVK. 39; CHECK-DAG: mov [[XFP0:x[0-9]+]], #1082331758844 40; CHECK-DAG: movk [[XFP0]], #64764, lsl #16 41; CHECk-DAG: fmov {{d[0-9]+}}, [[XFP0]] 42 %newval3 = fadd double %val, 0xFCFCFC00FC 43 store volatile double %newval3, ptr @varf64 44 45; CHECK: ret 46 ret void 47} 48 49; CHECK-LABEL: check_float2 50; CHECK: mov [[REG:w[0-9]+]], #4059 51; CHECK-NEXT: movk [[REG]], #16457, lsl #16 52; CHECK-NEXT: fmov {{s[0-9]+}}, [[REG]] 53define float @check_float2() { 54 ret float 3.14159274101257324218750 55} 56 57; LARGE-LABEL: check_double2 58; LARGE: mov [[REG:x[0-9]+]], #11544 59; LARGE-NEXT: movk [[REG]], #21572, lsl #16 60; LARGE-NEXT: movk [[REG]], #8699, lsl #32 61; LARGE-NEXT: movk [[REG]], #16393, lsl #48 62; LARGE-NEXT: fmov {{d[0-9]+}}, [[REG]] 63define double @check_double2() { 64 ret double 3.1415926535897931159979634685441851615905761718750 65} 66