aboutsummaryrefslogtreecommitdiffstats
path: root/test/CodeGen/AArch64/floatdp_2source.ll
blob: 30e2856a4f5b576617db819ce443ebdc366d0451 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
; RUN: llc -verify-machineinstrs -o - %s -mtriple=aarch64-linux-gnu -mcpu=cyclone | FileCheck %s

@varfloat = global float 0.0
@vardouble = global double 0.0

define void @testfloat() {
; CHECK-LABEL: testfloat:
  %val1 = load float, float* @varfloat

  %val2 = fadd float %val1, %val1
; CHECK: fadd {{s[0-9]+}}, {{s[0-9]+}}, {{s[0-9]+}}

  %val3 = fmul float %val2, %val1
; CHECK: fmul {{s[0-9]+}}, {{s[0-9]+}}, {{s[0-9]+}}

  %val4 = fdiv float %val3, %val1
; CHECK: fdiv {{s[0-9]+}}, {{s[0-9]+}}, {{s[0-9]+}}

  %val5 = fsub float %val4, %val2
; CHECK: fsub {{s[0-9]+}}, {{s[0-9]+}}, {{s[0-9]+}}

  store volatile float %val5, float* @varfloat

; These will be enabled with the implementation of floating-point litpool entries.
  %val6 = fmul float %val1, %val2
  %val7 = fsub float -0.0, %val6
; CHECK: fnmul {{s[0-9]+}}, {{s[0-9]+}}, {{s[0-9]+}}

  store volatile float %val7, float* @varfloat

  ret void
}

define void @testdouble() {
; CHECK-LABEL: testdouble:
  %val1 = load double, double* @vardouble

  %val2 = fadd double %val1, %val1
; CHECK: fadd {{d[0-9]+}}, {{d[0-9]+}}, {{d[0-9]+}}

  %val3 = fmul double %val2, %val1
; CHECK: fmul {{d[0-9]+}}, {{d[0-9]+}}, {{d[0-9]+}}

  %val4 = fdiv double %val3, %val1
; CHECK: fdiv {{d[0-9]+}}, {{d[0-9]+}}, {{d[0-9]+}}

  %val5 = fsub double %val4, %val2
; CHECK: fsub {{d[0-9]+}}, {{d[0-9]+}}, {{d[0-9]+}}

  store volatile double %val5, double* @vardouble

; These will be enabled with the implementation of doubleing-point litpool entries.
   %val6 = fmul double %val1, %val2
   %val7 = fsub double -0.0, %val6
; CHECK: fnmul {{d[0-9]+}}, {{d[0-9]+}}, {{d[0-9]+}}

   store volatile double %val7, double* @vardouble

  ret void
}