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-prefix=LARGE
3; RUN: llc -mtriple=aarch64-apple-darwin -code-model=large -fast-isel -fast-isel-abort=1 -verify-machineinstrs < %s | FileCheck %s --check-prefix=LARGE
4; RUN: llc -mtriple=aarch64-none-eabi    -code-model=tiny                              -verify-machineinstrs < %s | FileCheck %s --check-prefix=TINY
5
6@varf32 = global float 0.0
7@varf64 = global double 0.0
8
9define void @check_float() {
10; CHECK-LABEL: check_float:
11; TINY-LABEL: check_float:
12
13  %val = load float, float* @varf32
14  %newval1 = fadd float %val, 8.5
15  store volatile float %newval1, float* @varf32
16; CHECK-DAG: fmov {{s[0-9]+}}, #8.5
17; TINY-DAG: fmov {{s[0-9]+}}, #8.5
18
19  %newval2 = fadd float %val, 128.0
20  store volatile float %newval2, float* @varf32
21; CHECK-DAG: ldr {{s[0-9]+}}, [{{x[0-9]+}}, {{#?}}:lo12:.LCPI0_0
22; TINY-DAG: ldr {{s[0-9]+}}, .LCPI0_0
23
24; CHECK: ret
25; TINY: ret
26  ret void
27}
28
29define void @check_double() {
30; CHECK-LABEL: check_double:
31; TINY-LABEL: check_double:
32
33  %val = load double, double* @varf64
34  %newval1 = fadd double %val, 8.5
35  store volatile double %newval1, double* @varf64
36; CHECK-DAG: fmov {{d[0-9]+}}, #8.5
37; TINY-DAG: fmov {{d[0-9]+}}, #8.5
38
39  %newval2 = fadd double %val, 128.0
40  store volatile double %newval2, double* @varf64
41; CHECK-DAG: ldr {{d[0-9]+}}, [{{x[0-9]+}}, {{#?}}:lo12:.LCPI1_0
42; TINY-DAG: ldr {{d[0-9]+}}, .LCPI1_0
43
44; CHECK: ret
45; TINY: ret
46  ret void
47}
48
49; LARGE-LABEL: check_float2
50; LARGE:       mov [[REG:w[0-9]+]], #4059
51; LARGE-NEXT:  movk [[REG]], #16457, lsl #16
52; LARGE-NEXT:  fmov s0, [[REG]]
53; TINY-LABEL: check_float2
54; TINY:  ldr     s0, .LCPI2_0
55define float @check_float2() {
56  ret float 3.14159274101257324218750
57}
58
59; LARGE-LABEL: check_double2
60; LARGE:       mov [[REG:x[0-9]+]], #11544
61; LARGE-NEXT:  movk [[REG]], #21572, lsl #16
62; LARGE-NEXT:  movk [[REG]], #8699, lsl #32
63; LARGE-NEXT:  movk [[REG]], #16393, lsl #48
64; LARGE-NEXT:  fmov d0, [[REG]]
65; TINY-LABEL: check_double2
66; TINY:  ldr     d0, .LCPI3_0
67define double @check_double2() {
68  ret double 3.1415926535897931159979634685441851615905761718750
69}
70