Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 31ccb51a7f1b6fddaa684095d78c4532598cf51d / . / llvm / test / CodeGen / AArch64 / fpimm.ll
blob: 6acb11108afca0ca90aa04af6d72b287e9e6f3db [file] [log] [blame]
Juergen Ributzka23266502014-12-10 19:43:32 +0000[diff] [blame]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
Mehdi Amini945a6602015-02-27 18:32:11 +0000[diff] [blame]3; RUN: llc -mtriple=aarch64-apple-darwin -code-model=large -fast-isel -fast-isel-abort=1 -verify-machineinstrs < %s | FileCheck %s --check-prefix=LARGE
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]4
5@varf32 = global float 0.0
6@varf64 = global double 0.0
7
8define void @check_float() {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]9; CHECK-LABEL: check_float:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]10
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]11 %val = load float, float* @varf32
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]12 %newval1 = fadd float %val, 8.5
13 store volatile float %newval1, float* @varf32
Tim Northover1fdb0762013-10-09 07:53:57 +0000[diff] [blame]14; CHECK-DAG: fmov [[EIGHT5:s[0-9]+]], #8.5
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]15
16 %newval2 = fadd float %val, 128.0
17 store volatile float %newval2, float* @varf32
Tim Northoverbd668872014-04-15 14:00:29 +0000[diff] [blame]18; CHECK-DAG: ldr [[HARD:s[0-9]+]], [{{x[0-9]+}}, {{#?}}:lo12:.LCPI0_0
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]19
Tim Northover1fdb0762013-10-09 07:53:57 +0000[diff] [blame]20; CHECK: ret
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]21 ret void
22}
23
24define void @check_double() {
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]25; CHECK-LABEL: check_double:
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]26
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]27 %val = load double, double* @varf64
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]28 %newval1 = fadd double %val, 8.5
29 store volatile double %newval1, double* @varf64
Tim Northover1fdb0762013-10-09 07:53:57 +0000[diff] [blame]30; CHECK-DAG: fmov {{d[0-9]+}}, #8.5
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]31
32 %newval2 = fadd double %val, 128.0
33 store volatile double %newval2, double* @varf64
Tim Northoverbd668872014-04-15 14:00:29 +0000[diff] [blame]34; CHECK-DAG: ldr {{d[0-9]+}}, [{{x[0-9]+}}, {{#?}}:lo12:.LCPI1_0
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]35
Tim Northover1fdb0762013-10-09 07:53:57 +0000[diff] [blame]36; CHECK: ret
Tim Northovere0e3aef2013-01-31 12:12:40 +0000[diff] [blame]37 ret void
38}
Juergen Ributzka23266502014-12-10 19:43:32 +0000[diff] [blame]39
40; LARGE-LABEL: check_float2
41; LARGE: movz [[REG:w[0-9]+]], #0x4049, lsl #16
42; LARGE-NEXT: movk [[REG]], #0xfdb
43; LARGE-NEXT: fmov s0, [[REG]]
44define float @check_float2() {
45 ret float 3.14159274101257324218750
46}
47
48; LARGE-LABEL: check_double2
49; LARGE: movz [[REG:x[0-9]+]], #0x4009, lsl #48
50; LARGE-NEXT: movk [[REG]], #0x21fb, lsl #32
51; LARGE-NEXT: movk [[REG]], #0x5444, lsl #16
52; LARGE-NEXT: movk [[REG]], #0x2d18
53; LARGE-NEXT: fmov d0, [[REG]]
54define double @check_double2() {
55 ret double 3.1415926535897931159979634685441851615905761718750
56}
57