annotate llvm/test/CodeGen/AMDGPU/fma.ll @ 206:f17a3b42b08b

Added tag before-12 for changeset b7591485f4cd
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 07 Jun 2021 21:25:57 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: llc -amdgpu-scalarize-global-loads=false -march=amdgcn -mcpu=tahiti -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
anatofuz
parents:
diff changeset
2 ; RUN: llc -amdgpu-scalarize-global-loads=false -march=amdgcn -mcpu=gfx906 -verify-machineinstrs < %s | FileCheck -check-prefix=GFX906 -check-prefix=FUNC %s
anatofuz
parents:
diff changeset
3 ; RUN: llc -amdgpu-scalarize-global-loads=false -march=r600 -mcpu=cypress -verify-machineinstrs < %s | FileCheck -check-prefix=EG -check-prefix=FUNC %s
anatofuz
parents:
diff changeset
4 ; RUN: not llc -amdgpu-scalarize-global-loads=false -march=r600 -mcpu=cedar -verify-machineinstrs < %s
anatofuz
parents:
diff changeset
5 ; RUN: not llc -amdgpu-scalarize-global-loads=false -march=r600 -mcpu=juniper -verify-machineinstrs < %s
anatofuz
parents:
diff changeset
6 ; RUN: not llc -amdgpu-scalarize-global-loads=false -march=r600 -mcpu=redwood -verify-machineinstrs < %s
anatofuz
parents:
diff changeset
7 ; RUN: not llc -amdgpu-scalarize-global-loads=false -march=r600 -mcpu=sumo -verify-machineinstrs < %s
anatofuz
parents:
diff changeset
8 ; RUN: not llc -amdgpu-scalarize-global-loads=false -march=r600 -mcpu=barts -verify-machineinstrs < %s
anatofuz
parents:
diff changeset
9 ; RUN: not llc -amdgpu-scalarize-global-loads=false -march=r600 -mcpu=caicos -verify-machineinstrs < %s
anatofuz
parents:
diff changeset
10 ; RUN: not llc -amdgpu-scalarize-global-loads=false -march=r600 -mcpu=turks -verify-machineinstrs < %s
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 declare float @llvm.fma.f32(float, float, float) nounwind readnone
anatofuz
parents:
diff changeset
13 declare <2 x float> @llvm.fma.v2f32(<2 x float>, <2 x float>, <2 x float>) nounwind readnone
anatofuz
parents:
diff changeset
14 declare <4 x float> @llvm.fma.v4f32(<4 x float>, <4 x float>, <4 x float>) nounwind readnone
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 declare i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 ; FUNC-LABEL: {{^}}fma_f32:
anatofuz
parents:
diff changeset
19 ; SI: v_fma_f32 {{v[0-9]+, v[0-9]+, v[0-9]+, v[0-9]+}}
anatofuz
parents:
diff changeset
20 ; GFX906: v_fmac_f32_e32 {{v[0-9]+, v[0-9]+, v[0-9]+}}
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 ; EG: MEM_RAT_{{.*}} STORE_{{.*}} [[RES:T[0-9]\.[XYZW]]], {{T[0-9]\.[XYZW]}},
anatofuz
parents:
diff changeset
23 ; EG: FMA {{\*? *}}[[RES]]
anatofuz
parents:
diff changeset
24 define amdgpu_kernel void @fma_f32(float addrspace(1)* %out, float addrspace(1)* %in1,
anatofuz
parents:
diff changeset
25 float addrspace(1)* %in2, float addrspace(1)* %in3) {
anatofuz
parents:
diff changeset
26 %r0 = load float, float addrspace(1)* %in1
anatofuz
parents:
diff changeset
27 %r1 = load float, float addrspace(1)* %in2
anatofuz
parents:
diff changeset
28 %r2 = load float, float addrspace(1)* %in3
anatofuz
parents:
diff changeset
29 %r3 = tail call float @llvm.fma.f32(float %r0, float %r1, float %r2)
anatofuz
parents:
diff changeset
30 store float %r3, float addrspace(1)* %out
anatofuz
parents:
diff changeset
31 ret void
anatofuz
parents:
diff changeset
32 }
anatofuz
parents:
diff changeset
33
anatofuz
parents:
diff changeset
34 ; GCN-LABEL: {{^}}fmac_to_3addr_f32:
anatofuz
parents:
diff changeset
35 ; GCN: v_fma_f32 {{v[0-9]+, v[0-9]+, v[0-9]+, v[0-9]+}}
anatofuz
parents:
diff changeset
36 define float @fmac_to_3addr_f32(float %r0, float %r1, float %r2) {
anatofuz
parents:
diff changeset
37 %r3 = tail call float @llvm.fma.f32(float %r0, float %r1, float %r2)
anatofuz
parents:
diff changeset
38 ret float %r3
anatofuz
parents:
diff changeset
39 }
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 ; FUNC-LABEL: {{^}}fma_v2f32:
anatofuz
parents:
diff changeset
42 ; SI: v_fma_f32
anatofuz
parents:
diff changeset
43 ; SI: v_fma_f32
anatofuz
parents:
diff changeset
44
anatofuz
parents:
diff changeset
45 ; GFX906: v_fma_f32 {{v[0-9]+, v[0-9]+, v[0-9]+, v[0-9]+}}
anatofuz
parents:
diff changeset
46 ; GFX906: v_fmac_f32_e32 {{v[0-9]+, v[0-9]+, v[0-9]+}}
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 ; EG: MEM_RAT_{{.*}} STORE_{{.*}} [[RES:T[0-9]]].[[CHLO:[XYZW]]][[CHHI:[XYZW]]], {{T[0-9]\.[XYZW]}},
anatofuz
parents:
diff changeset
49 ; EG-DAG: FMA {{\*? *}}[[RES]].[[CHLO]]
anatofuz
parents:
diff changeset
50 ; EG-DAG: FMA {{\*? *}}[[RES]].[[CHHI]]
anatofuz
parents:
diff changeset
51 define amdgpu_kernel void @fma_v2f32(<2 x float> addrspace(1)* %out, <2 x float> addrspace(1)* %in1,
anatofuz
parents:
diff changeset
52 <2 x float> addrspace(1)* %in2, <2 x float> addrspace(1)* %in3) {
anatofuz
parents:
diff changeset
53 %r0 = load <2 x float>, <2 x float> addrspace(1)* %in1
anatofuz
parents:
diff changeset
54 %r1 = load <2 x float>, <2 x float> addrspace(1)* %in2
anatofuz
parents:
diff changeset
55 %r2 = load <2 x float>, <2 x float> addrspace(1)* %in3
anatofuz
parents:
diff changeset
56 %r3 = tail call <2 x float> @llvm.fma.v2f32(<2 x float> %r0, <2 x float> %r1, <2 x float> %r2)
anatofuz
parents:
diff changeset
57 store <2 x float> %r3, <2 x float> addrspace(1)* %out
anatofuz
parents:
diff changeset
58 ret void
anatofuz
parents:
diff changeset
59 }
anatofuz
parents:
diff changeset
60
anatofuz
parents:
diff changeset
61 ; FUNC-LABEL: {{^}}fma_v4f32:
anatofuz
parents:
diff changeset
62 ; SI: v_fma_f32
anatofuz
parents:
diff changeset
63 ; SI: v_fma_f32
anatofuz
parents:
diff changeset
64 ; SI: v_fma_f32
anatofuz
parents:
diff changeset
65 ; SI: v_fma_f32
anatofuz
parents:
diff changeset
66 ; GFX906: v_fma_f32 {{v[0-9]+, v[0-9]+, v[0-9]+, v[0-9]+}}
anatofuz
parents:
diff changeset
67 ; GFX906: v_fma_f32 {{v[0-9]+, v[0-9]+, v[0-9]+, v[0-9]+}}
anatofuz
parents:
diff changeset
68 ; GFX906: v_fma_f32 {{v[0-9]+, v[0-9]+, v[0-9]+, v[0-9]+}}
anatofuz
parents:
diff changeset
69 ; GFX906: v_fmac_f32_e32 {{v[0-9]+, v[0-9]+, v[0-9]+$}}
anatofuz
parents:
diff changeset
70
anatofuz
parents:
diff changeset
71 ; EG: MEM_RAT_{{.*}} STORE_{{.*}} [[RES:T[0-9]]].{{[XYZW][XYZW][XYZW][XYZW]}}, {{T[0-9]\.[XYZW]}},
anatofuz
parents:
diff changeset
72 ; EG-DAG: FMA {{\*? *}}[[RES]].X
anatofuz
parents:
diff changeset
73 ; EG-DAG: FMA {{\*? *}}[[RES]].Y
anatofuz
parents:
diff changeset
74 ; EG-DAG: FMA {{\*? *}}[[RES]].Z
anatofuz
parents:
diff changeset
75 ; EG-DAG: FMA {{\*? *}}[[RES]].W
anatofuz
parents:
diff changeset
76 define amdgpu_kernel void @fma_v4f32(<4 x float> addrspace(1)* %out, <4 x float> addrspace(1)* %in1,
anatofuz
parents:
diff changeset
77 <4 x float> addrspace(1)* %in2, <4 x float> addrspace(1)* %in3) {
anatofuz
parents:
diff changeset
78 %r0 = load <4 x float>, <4 x float> addrspace(1)* %in1
anatofuz
parents:
diff changeset
79 %r1 = load <4 x float>, <4 x float> addrspace(1)* %in2
anatofuz
parents:
diff changeset
80 %r2 = load <4 x float>, <4 x float> addrspace(1)* %in3
anatofuz
parents:
diff changeset
81 %r3 = tail call <4 x float> @llvm.fma.v4f32(<4 x float> %r0, <4 x float> %r1, <4 x float> %r2)
anatofuz
parents:
diff changeset
82 store <4 x float> %r3, <4 x float> addrspace(1)* %out
anatofuz
parents:
diff changeset
83 ret void
anatofuz
parents:
diff changeset
84 }
anatofuz
parents:
diff changeset
85
anatofuz
parents:
diff changeset
86 ; FUNC-LABEL: @fma_commute_mul_inline_imm_f32
anatofuz
parents:
diff changeset
87 ; SI: v_fma_f32 {{v[0-9]+}}, {{v[0-9]+}}, 2.0, {{v[0-9]+}}
anatofuz
parents:
diff changeset
88 define amdgpu_kernel void @fma_commute_mul_inline_imm_f32(float addrspace(1)* noalias %out, float addrspace(1)* noalias %in.a, float addrspace(1)* noalias %in.b) nounwind {
anatofuz
parents:
diff changeset
89 %tid = tail call i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
anatofuz
parents:
diff changeset
90 %in.a.gep = getelementptr float, float addrspace(1)* %in.a, i32 %tid
anatofuz
parents:
diff changeset
91 %in.b.gep = getelementptr float, float addrspace(1)* %in.b, i32 %tid
anatofuz
parents:
diff changeset
92 %out.gep = getelementptr float, float addrspace(1)* %out, i32 %tid
anatofuz
parents:
diff changeset
93
anatofuz
parents:
diff changeset
94 %a = load float, float addrspace(1)* %in.a.gep, align 4
anatofuz
parents:
diff changeset
95 %b = load float, float addrspace(1)* %in.b.gep, align 4
anatofuz
parents:
diff changeset
96
anatofuz
parents:
diff changeset
97 %fma = call float @llvm.fma.f32(float %a, float 2.0, float %b)
anatofuz
parents:
diff changeset
98 store float %fma, float addrspace(1)* %out.gep, align 4
anatofuz
parents:
diff changeset
99 ret void
anatofuz
parents:
diff changeset
100 }
anatofuz
parents:
diff changeset
101
anatofuz
parents:
diff changeset
102 ; FUNC-LABEL: @fma_commute_mul_s_f32
anatofuz
parents:
diff changeset
103 define amdgpu_kernel void @fma_commute_mul_s_f32(float addrspace(1)* noalias %out, float addrspace(1)* noalias %in.a, float addrspace(1)* noalias %in.b, float %b) nounwind {
anatofuz
parents:
diff changeset
104 %tid = tail call i32 @llvm.amdgcn.workitem.id.x() nounwind readnone
anatofuz
parents:
diff changeset
105 %in.a.gep = getelementptr float, float addrspace(1)* %in.a, i32 %tid
anatofuz
parents:
diff changeset
106 %in.b.gep = getelementptr float, float addrspace(1)* %in.b, i32 %tid
anatofuz
parents:
diff changeset
107 %out.gep = getelementptr float, float addrspace(1)* %out, i32 %tid
anatofuz
parents:
diff changeset
108
anatofuz
parents:
diff changeset
109 %a = load float, float addrspace(1)* %in.a.gep, align 4
anatofuz
parents:
diff changeset
110 %c = load float, float addrspace(1)* %in.b.gep, align 4
anatofuz
parents:
diff changeset
111
anatofuz
parents:
diff changeset
112 %fma = call float @llvm.fma.f32(float %a, float %b, float %c)
anatofuz
parents:
diff changeset
113 store float %fma, float addrspace(1)* %out.gep, align 4
anatofuz
parents:
diff changeset
114 ret void
anatofuz
parents:
diff changeset
115 }
anatofuz
parents:
diff changeset
116
anatofuz
parents:
diff changeset
117 ; Without special casing the inline constant check for v_fmac_f32's
anatofuz
parents:
diff changeset
118 ; src2, this fails to fold the 1.0 into an fma.
anatofuz
parents:
diff changeset
119
anatofuz
parents:
diff changeset
120 ; FUNC-LABEL: {{^}}fold_inline_imm_into_fmac_src2_f32:
anatofuz
parents:
diff changeset
121 ; GFX906: {{buffer|flat|global}}_load_dword [[A:v[0-9]+]]
anatofuz
parents:
diff changeset
122 ; GFX906: {{buffer|flat|global}}_load_dword [[B:v[0-9]+]]
anatofuz
parents:
diff changeset
123
anatofuz
parents:
diff changeset
124 ; GFX906: v_add_f32_e32 [[TMP2:v[0-9]+]], [[A]], [[A]]
anatofuz
parents:
diff changeset
125 ; GFX906: v_fma_f32 v{{[0-9]+}}, [[TMP2]], -4.0, 1.0
anatofuz
parents:
diff changeset
126 define amdgpu_kernel void @fold_inline_imm_into_fmac_src2_f32(float addrspace(1)* %out, float addrspace(1)* %a, float addrspace(1)* %b) nounwind {
anatofuz
parents:
diff changeset
127 bb:
anatofuz
parents:
diff changeset
128 %tid = call i32 @llvm.amdgcn.workitem.id.x()
anatofuz
parents:
diff changeset
129 %tid.ext = sext i32 %tid to i64
anatofuz
parents:
diff changeset
130 %gep.a = getelementptr inbounds float, float addrspace(1)* %a, i64 %tid.ext
anatofuz
parents:
diff changeset
131 %gep.b = getelementptr inbounds float, float addrspace(1)* %b, i64 %tid.ext
anatofuz
parents:
diff changeset
132 %gep.out = getelementptr inbounds float, float addrspace(1)* %out, i64 %tid.ext
anatofuz
parents:
diff changeset
133 %tmp = load volatile float, float addrspace(1)* %gep.a
anatofuz
parents:
diff changeset
134 %tmp1 = load volatile float, float addrspace(1)* %gep.b
anatofuz
parents:
diff changeset
135 %tmp2 = fadd contract float %tmp, %tmp
anatofuz
parents:
diff changeset
136 %tmp3 = fmul contract float %tmp2, 4.0
anatofuz
parents:
diff changeset
137 %tmp4 = fsub contract float 1.0, %tmp3
anatofuz
parents:
diff changeset
138 %tmp5 = fadd contract float %tmp4, %tmp1
anatofuz
parents:
diff changeset
139 %tmp6 = fadd contract float %tmp1, %tmp1
anatofuz
parents:
diff changeset
140 %tmp7 = fmul contract float %tmp6, %tmp
anatofuz
parents:
diff changeset
141 %tmp8 = fsub contract float 1.0, %tmp7
anatofuz
parents:
diff changeset
142 %tmp9 = fmul contract float %tmp8, 8.0
anatofuz
parents:
diff changeset
143 %tmp10 = fadd contract float %tmp5, %tmp9
anatofuz
parents:
diff changeset
144 store float %tmp10, float addrspace(1)* %gep.out
anatofuz
parents:
diff changeset
145 ret void
anatofuz
parents:
diff changeset
146 }