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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
! RUN: bbc %s -o - | FileCheck %s
! Test real add on real kinds.
! CHECK-LABEL: real2
REAL(2) FUNCTION real2(x0, x1)
REAL(2) :: x0
REAL(2) :: x1
! CHECK-DAG: %[[v1:.+]] = fir.load %arg0 : !fir.ref<f16>
! CHECK-DAG: %[[v2:.+]] = fir.load %arg1 : !fir.ref<f16>
! CHECK: %[[v3:.+]] = arith.addf %[[v1]], %[[v2]] {{.*}}: f16
real2 = x0 + x1
! CHECK: return %{{.*}} : f16
END FUNCTION real2
! CHECK-LABEL: real3
REAL(3) FUNCTION real3(x0, x1)
REAL(3) :: x0
REAL(3) :: x1
! CHECK-DAG: %[[v1:.+]] = fir.load %arg0 : !fir.ref<bf16>
! CHECK-DAG: %[[v2:.+]] = fir.load %arg1 : !fir.ref<bf16>
! CHECK: %[[v3:.+]] = arith.addf %[[v1]], %[[v2]] {{.*}}: bf16
real3 = x0 + x1
! CHECK: return %{{.*}} : bf16
END FUNCTION real3
! CHECK-LABEL: real4
REAL(4) FUNCTION real4(x0, x1)
REAL(4) :: x0
REAL(4) :: x1
! CHECK-DAG: %[[v1:.+]] = fir.load %arg0 : !fir.ref<f32>
! CHECK-DAG: %[[v2:.+]] = fir.load %arg1 : !fir.ref<f32>
! CHECK: %[[v3:.+]] = arith.addf %[[v1]], %[[v2]] {{.*}}: f32
real4 = x0 + x1
! CHECK: return %{{.*}} : f32
END FUNCTION real4
! CHECK-LABEL: defreal
REAL FUNCTION defreal(x0, x1)
REAL :: x0
REAL :: x1
! CHECK-DAG: %[[v1:.+]] = fir.load %arg0 : !fir.ref<f32>
! CHECK-DAG: %[[v2:.+]] = fir.load %arg1 : !fir.ref<f32>
! CHECK: %[[v3:.+]] = arith.addf %[[v1]], %[[v2]] {{.*}}: f32
defreal = x0 + x1
! CHECK: return %{{.*}} : f32
END FUNCTION defreal
! CHECK-LABEL: real8
REAL(8) FUNCTION real8(x0, x1)
REAL(8) :: x0
REAL(8) :: x1
! CHECK-DAG: %[[v1:.+]] = fir.load %arg0 : !fir.ref<f64>
! CHECK-DAG: %[[v2:.+]] = fir.load %arg1 : !fir.ref<f64>
! CHECK: %[[v3:.+]] = arith.addf %[[v1]], %[[v2]] {{.*}}: f64
real8 = x0 + x1
! CHECK: return %{{.*}} : f64
END FUNCTION real8
! CHECK-LABEL: doubleprec
DOUBLE PRECISION FUNCTION doubleprec(x0, x1)
DOUBLE PRECISION :: x0
DOUBLE PRECISION :: x1
! CHECK-DAG: %[[v1:.+]] = fir.load %arg0 : !fir.ref<f64>
! CHECK-DAG: %[[v2:.+]] = fir.load %arg1 : !fir.ref<f64>
! CHECK: %[[v3:.+]] = arith.addf %[[v1]], %[[v2]] {{.*}}: f64
doubleprec = x0 + x1
! CHECK: return %{{.*}} : f64
END FUNCTION doubleprec
! CHECK-LABEL: real10
REAL(10) FUNCTION real10(x0, x1)
REAL(10) :: x0
REAL(10) :: x1
! CHECK-DAG: %[[v1:.+]] = fir.load %arg0 : !fir.ref<f80>
! CHECK-DAG: %[[v2:.+]] = fir.load %arg1 : !fir.ref<f80>
! CHECK: %[[v3:.+]] = arith.addf %[[v1]], %[[v2]] {{.*}}: f80
real10 = x0 + x1
! CHECK: return %{{.*}} : f80
END FUNCTION real10
! CHECK-LABEL: real16
REAL(16) FUNCTION real16(x0, x1)
REAL(16) :: x0
REAL(16) :: x1
! CHECK-DAG: %[[v1:.+]] = fir.load %arg0 : !fir.ref<f128>
! CHECK-DAG: %[[v2:.+]] = fir.load %arg1 : !fir.ref<f128>
! CHECK: %[[v3:.+]] = arith.addf %[[v1]], %[[v2]] {{.*}}: f128
real16 = x0 + x1
! CHECK: return %{{.*}} : f128
END FUNCTION real16
! CHECK-LABEL: real16b
REAL(16) FUNCTION real16b(x0, x1)
REAL(16) :: x0
REAL(16) :: x1
! CHECK-DAG: %[[v0:.+]] = arith.constant 4.0{{.*}} : f128
! CHECK-DAG: %[[v1:.+]] = fir.load %arg0 : !fir.ref<f128>
! CHECK-DAG: %[[v2:.+]] = fir.load %arg1 : !fir.ref<f128>
! CHECK: %[[v3:.+]] = arith.addf %[[v1]], %[[v2]] {{.*}}: f128
! CHECK: %[[v4:.+]] = arith.subf %[[v3]], %[[v0]] {{.*}}: f128
real16b = x0 + x1 - 4.0_16
! CHECK: return %{{.*}} : f128
END FUNCTION real16b
|
