1bf215546Sopenharmony_ci/*
2bf215546Sopenharmony_ci * Copyright © 2020 Valve Corporation
3bf215546Sopenharmony_ci *
4bf215546Sopenharmony_ci * Permission is hereby granted, free of charge, to any person obtaining a
5bf215546Sopenharmony_ci * copy of this software and associated documentation files (the "Software"),
6bf215546Sopenharmony_ci * to deal in the Software without restriction, including without limitation
7bf215546Sopenharmony_ci * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8bf215546Sopenharmony_ci * and/or sell copies of the Software, and to permit persons to whom the
9bf215546Sopenharmony_ci * Software is furnished to do so, subject to the following conditions:
10bf215546Sopenharmony_ci *
11bf215546Sopenharmony_ci * The above copyright notice and this permission notice (including the next
12bf215546Sopenharmony_ci * paragraph) shall be included in all copies or substantial portions of the
13bf215546Sopenharmony_ci * Software.
14bf215546Sopenharmony_ci *
15bf215546Sopenharmony_ci * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16bf215546Sopenharmony_ci * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17bf215546Sopenharmony_ci * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
18bf215546Sopenharmony_ci * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19bf215546Sopenharmony_ci * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20bf215546Sopenharmony_ci * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
21bf215546Sopenharmony_ci * IN THE SOFTWARE.
22bf215546Sopenharmony_ci *
23bf215546Sopenharmony_ci */
24bf215546Sopenharmony_ci#include "helpers.h"
25bf215546Sopenharmony_ci#include <stdarg.h>
26bf215546Sopenharmony_ci
27bf215546Sopenharmony_ciusing namespace aco;
28bf215546Sopenharmony_ci
29bf215546Sopenharmony_ciBEGIN_TEST(validate.sdwa.allow)
30bf215546Sopenharmony_ci   for (unsigned i = GFX8; i <= GFX10; i++) {
31bf215546Sopenharmony_ci      //>> v1: %a, v1: %b, s1: %c, s1: %d = p_startpgm
32bf215546Sopenharmony_ci      if (!setup_cs("v1 v1 s1 s1", (amd_gfx_level)i))
33bf215546Sopenharmony_ci         continue;
34bf215546Sopenharmony_ci      //>> Validation results:
35bf215546Sopenharmony_ci      //! Validation passed
36bf215546Sopenharmony_ci
37bf215546Sopenharmony_ci      SDWA_instruction *sdwa = &bld.vop2_sdwa(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]).instr->sdwa();
38bf215546Sopenharmony_ci      sdwa->neg[0] = sdwa->neg[1] = sdwa->abs[0] = sdwa->abs[1] = true;
39bf215546Sopenharmony_ci
40bf215546Sopenharmony_ci      sdwa = &bld.vop2_sdwa(aco_opcode::v_mul_f32, bld.def(v1b), inputs[0], inputs[1]).instr->sdwa();
41bf215546Sopenharmony_ci
42bf215546Sopenharmony_ci      sdwa = &bld.vop2_sdwa(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]).instr->sdwa();
43bf215546Sopenharmony_ci      sdwa->sel[0] = SubdwordSel::sbyte2;
44bf215546Sopenharmony_ci      sdwa->sel[1] = SubdwordSel::uword1;
45bf215546Sopenharmony_ci
46bf215546Sopenharmony_ci      finish_validator_test();
47bf215546Sopenharmony_ci   }
48bf215546Sopenharmony_ciEND_TEST
49bf215546Sopenharmony_ci
50bf215546Sopenharmony_ciBEGIN_TEST(validate.sdwa.support)
51bf215546Sopenharmony_ci   for (unsigned i = GFX7; i <= GFX11; i++) {
52bf215546Sopenharmony_ci      //>> v1: %a, v1: %b, s1: %c, s1: %d = p_startpgm
53bf215546Sopenharmony_ci      if (!setup_cs("v1 v1 s1 s1", (amd_gfx_level)i))
54bf215546Sopenharmony_ci         continue;
55bf215546Sopenharmony_ci      //>> Validation results:
56bf215546Sopenharmony_ci
57bf215546Sopenharmony_ci      //~gfx(7|11)! SDWA is GFX8 to GFX10.3 only: v1: %t0 = v_mul_f32 %a, %b dst_sel:dword src0_sel:dword src1_sel:dword
58bf215546Sopenharmony_ci      //~gfx(7|11)! Validation failed
59bf215546Sopenharmony_ci      //~gfx([89]|10)! Validation passed
60bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
61bf215546Sopenharmony_ci
62bf215546Sopenharmony_ci      finish_validator_test();
63bf215546Sopenharmony_ci   }
64bf215546Sopenharmony_ciEND_TEST
65bf215546Sopenharmony_ci
66bf215546Sopenharmony_ciBEGIN_TEST(validate.sdwa.operands)
67bf215546Sopenharmony_ci   for (unsigned i = GFX8; i <= GFX10; i++) {
68bf215546Sopenharmony_ci      //>> v1: %vgpr0, v1: %vgp1, s1: %sgpr0, s1: %sgpr1 = p_startpgm
69bf215546Sopenharmony_ci      if (!setup_cs("v1 v1 s1 s1", (amd_gfx_level)i))
70bf215546Sopenharmony_ci         continue;
71bf215546Sopenharmony_ci      //>> Validation results:
72bf215546Sopenharmony_ci
73bf215546Sopenharmony_ci      //~gfx8! Wrong source position for SGPR argument: v1: %_ = v_mul_f32 %sgpr0, %vgpr1 dst_sel:dword src0_sel:dword src1_sel:dword
74bf215546Sopenharmony_ci      //~gfx8! Wrong source position for SGPR argument: v1: %_ = v_mul_f32 %vgpr0, %sgpr1 dst_sel:dword src0_sel:dword src1_sel:dword
75bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_mul_f32, bld.def(v1), inputs[2], inputs[1]);
76bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[3]);
77bf215546Sopenharmony_ci
78bf215546Sopenharmony_ci      //~gfx8! Wrong source position for constant argument: v1: %_ = v_mul_f32 4, %vgpr1 dst_sel:dword src0_sel:dword src1_sel:dword
79bf215546Sopenharmony_ci      //~gfx8! Wrong source position for constant argument: v1: %_ = v_mul_f32 %vgpr0, 4 dst_sel:dword src0_sel:dword src1_sel:dword
80bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_mul_f32, bld.def(v1), Operand::c32(4u), inputs[1]);
81bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], Operand::c32(4u));
82bf215546Sopenharmony_ci
83bf215546Sopenharmony_ci      //! Literal applied on wrong instruction format: v1: %_ = v_mul_f32 0x1234, %vgpr1 dst_sel:dword src0_sel:dword src1_sel:dword
84bf215546Sopenharmony_ci      //! Literal applied on wrong instruction format: v1: %_ = v_mul_f32 %vgpr0, 0x1234 dst_sel:dword src0_sel:dword src1_sel:dword
85bf215546Sopenharmony_ci      //! Wrong source position for Literal argument: v1: %_ = v_mul_f32 %vgpr0, 0x1234 dst_sel:dword src0_sel:dword src1_sel:dword
86bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_mul_f32, bld.def(v1), Operand::c32(0x1234u), inputs[1]);
87bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], Operand::c32(0x1234u));
88bf215546Sopenharmony_ci
89bf215546Sopenharmony_ci      //! Validation failed
90bf215546Sopenharmony_ci
91bf215546Sopenharmony_ci      finish_validator_test();
92bf215546Sopenharmony_ci   }
93bf215546Sopenharmony_ciEND_TEST
94bf215546Sopenharmony_ci
95bf215546Sopenharmony_ciBEGIN_TEST(validate.sdwa.vopc)
96bf215546Sopenharmony_ci   for (unsigned i = GFX8; i <= GFX10; i++) {
97bf215546Sopenharmony_ci      //>> v1: %vgpr0, v1: %vgp1, s1: %sgpr0, s1: %sgpr1 = p_startpgm
98bf215546Sopenharmony_ci      if (!setup_cs("v1 v1 s1 s1", (amd_gfx_level)i))
99bf215546Sopenharmony_ci         continue;
100bf215546Sopenharmony_ci      //>> Validation results:
101bf215546Sopenharmony_ci
102bf215546Sopenharmony_ci      bld.vopc_sdwa(aco_opcode::v_cmp_gt_f32, bld.def(bld.lm, vcc), inputs[0], inputs[1]);
103bf215546Sopenharmony_ci
104bf215546Sopenharmony_ci      //~gfx8! SDWA+VOPC definition must be fixed to vcc on GFX8: s2: %_ = v_cmp_lt_f32 %vgpr0, %vgpr1 src0_sel:dword src1_sel:dword
105bf215546Sopenharmony_ci      bld.vopc_sdwa(aco_opcode::v_cmp_lt_f32, bld.def(bld.lm), inputs[0], inputs[1]);
106bf215546Sopenharmony_ci
107bf215546Sopenharmony_ci      //~gfx(9|10)! SDWA VOPC clamp only supported on GFX8: s2: %_:vcc = v_cmp_eq_f32 %vgpr0, %vgpr1 clamp src0_sel:dword src1_sel:dword
108bf215546Sopenharmony_ci      bld.vopc_sdwa(aco_opcode::v_cmp_eq_f32, bld.def(bld.lm, vcc), inputs[0], inputs[1]).instr->sdwa().clamp = true;
109bf215546Sopenharmony_ci
110bf215546Sopenharmony_ci      //! Validation failed
111bf215546Sopenharmony_ci
112bf215546Sopenharmony_ci      finish_validator_test();
113bf215546Sopenharmony_ci   }
114bf215546Sopenharmony_ciEND_TEST
115bf215546Sopenharmony_ci
116bf215546Sopenharmony_ciBEGIN_TEST(validate.sdwa.omod)
117bf215546Sopenharmony_ci   for (unsigned i = GFX8; i <= GFX10; i++) {
118bf215546Sopenharmony_ci      //>> v1: %vgpr0, v1: %vgp1, s1: %sgpr0, s1: %sgpr1 = p_startpgm
119bf215546Sopenharmony_ci      if (!setup_cs("v1 v1 s1 s1", (amd_gfx_level)i))
120bf215546Sopenharmony_ci         continue;
121bf215546Sopenharmony_ci      //>> Validation results:
122bf215546Sopenharmony_ci
123bf215546Sopenharmony_ci      //~gfx8! SDWA omod only supported on GFX9+: v1: %_ = v_mul_f32 %vgpr0, %vgpr1 *2 dst_sel:dword src0_sel:dword src1_sel:dword
124bf215546Sopenharmony_ci      //~gfx8! Validation failed
125bf215546Sopenharmony_ci      //~gfx(9|10)! Validation passed
126bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]).instr->sdwa().omod = 1;
127bf215546Sopenharmony_ci
128bf215546Sopenharmony_ci      finish_validator_test();
129bf215546Sopenharmony_ci   }
130bf215546Sopenharmony_ciEND_TEST
131bf215546Sopenharmony_ci
132bf215546Sopenharmony_ciBEGIN_TEST(validate.sdwa.vcc)
133bf215546Sopenharmony_ci   for (unsigned i = GFX8; i <= GFX10; i++) {
134bf215546Sopenharmony_ci      //>> v1: %vgpr0, v1: %vgpr1, s2: %sgpr0 = p_startpgm
135bf215546Sopenharmony_ci      if (!setup_cs("v1 v1 s2", (amd_gfx_level)i))
136bf215546Sopenharmony_ci         continue;
137bf215546Sopenharmony_ci      //>> Validation results:
138bf215546Sopenharmony_ci
139bf215546Sopenharmony_ci      //! 3rd operand must be fixed to vcc with SDWA: v1: %_ = v_cndmask_b32 %vgpr0, %vgpr1, %_ dst_sel:dword src0_sel:dword src1_sel:dword
140bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_cndmask_b32, bld.def(v1), inputs[0], inputs[1], inputs[2]);
141bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_cndmask_b32, bld.def(v1), inputs[0], inputs[1], bld.vcc(inputs[2]));
142bf215546Sopenharmony_ci
143bf215546Sopenharmony_ci      //! 2nd definition must be fixed to vcc with SDWA: v1: %_, s2: %_ = v_add_co_u32 %vgpr0, %vgpr1 dst_sel:dword src0_sel:dword src1_sel:dword
144bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_add_co_u32, bld.def(v1), bld.def(bld.lm), inputs[0], inputs[1]);
145bf215546Sopenharmony_ci      bld.vop2_sdwa(aco_opcode::v_add_co_u32, bld.def(v1), bld.def(bld.lm, vcc), inputs[0], inputs[1]);
146bf215546Sopenharmony_ci
147bf215546Sopenharmony_ci      //! Validation failed
148bf215546Sopenharmony_ci
149bf215546Sopenharmony_ci      finish_validator_test();
150bf215546Sopenharmony_ci   }
151bf215546Sopenharmony_ciEND_TEST
152bf215546Sopenharmony_ci
153bf215546Sopenharmony_ciBEGIN_TEST(optimize.sdwa.extract)
154bf215546Sopenharmony_ci   for (unsigned i = GFX7; i <= GFX10; i++) {
155bf215546Sopenharmony_ci   for (unsigned is_signed = 0; is_signed <= 1; is_signed++) {
156bf215546Sopenharmony_ci      //>> v1: %a, v1: %b, s1: %c, s1: %d = p_startpgm
157bf215546Sopenharmony_ci      if (!setup_cs("v1 v1 s1 s1", (amd_gfx_level)i, CHIP_UNKNOWN, is_signed ? "_signed" : "_unsigned"))
158bf215546Sopenharmony_ci         continue;
159bf215546Sopenharmony_ci
160bf215546Sopenharmony_ci      //; def standard_test(index, sel):
161bf215546Sopenharmony_ci      //;    res = 'v1: %%res%s = v_mul_f32 %%a, %%b dst_sel:dword src0_sel:dword src1_sel:%c%s\n' % (index, 's' if variant.endswith('_signed') else 'u', sel)
162bf215546Sopenharmony_ci      //;    res += 'p_unit_test %s, %%res%s' % (index, index)
163bf215546Sopenharmony_ci      //;    return res
164bf215546Sopenharmony_ci      //; funcs['standard_test'] = lambda a: standard_test(*(v for v in a.split(',')))
165bf215546Sopenharmony_ci
166bf215546Sopenharmony_ci      aco_opcode ext = aco_opcode::p_extract;
167bf215546Sopenharmony_ci      aco_opcode ins = aco_opcode::p_insert;
168bf215546Sopenharmony_ci
169bf215546Sopenharmony_ci      {
170bf215546Sopenharmony_ci      //~gfx[^7].*! @standard_test(0,byte0)
171bf215546Sopenharmony_ci      Temp bfe_byte0_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::zero(), Operand::c32(8u),
172bf215546Sopenharmony_ci                                    Operand::c32(is_signed));
173bf215546Sopenharmony_ci      writeout(0, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], bfe_byte0_b));
174bf215546Sopenharmony_ci
175bf215546Sopenharmony_ci      //~gfx[^7].*! @standard_test(1,byte1)
176bf215546Sopenharmony_ci      Temp bfe_byte1_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::c32(1u), Operand::c32(8u),
177bf215546Sopenharmony_ci                                    Operand::c32(is_signed));
178bf215546Sopenharmony_ci      writeout(1, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], bfe_byte1_b));
179bf215546Sopenharmony_ci
180bf215546Sopenharmony_ci      //~gfx[^7].*! @standard_test(2,byte2)
181bf215546Sopenharmony_ci      Temp bfe_byte2_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::c32(2u), Operand::c32(8u),
182bf215546Sopenharmony_ci                                    Operand::c32(is_signed));
183bf215546Sopenharmony_ci      writeout(2, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], bfe_byte2_b));
184bf215546Sopenharmony_ci
185bf215546Sopenharmony_ci      //~gfx[^7].*! @standard_test(3,byte3)
186bf215546Sopenharmony_ci      Temp bfe_byte3_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::c32(3u), Operand::c32(8u),
187bf215546Sopenharmony_ci                                    Operand::c32(is_signed));
188bf215546Sopenharmony_ci      writeout(3, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], bfe_byte3_b));
189bf215546Sopenharmony_ci
190bf215546Sopenharmony_ci      //~gfx[^7].*! @standard_test(4,word0)
191bf215546Sopenharmony_ci      Temp bfe_word0_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::zero(), Operand::c32(16u),
192bf215546Sopenharmony_ci                                    Operand::c32(is_signed));
193bf215546Sopenharmony_ci      writeout(4, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], bfe_word0_b));
194bf215546Sopenharmony_ci
195bf215546Sopenharmony_ci      //~gfx[^7].*! @standard_test(5,word1)
196bf215546Sopenharmony_ci      Temp bfe_word1_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::c32(1u),
197bf215546Sopenharmony_ci                                    Operand::c32(16u), Operand::c32(is_signed));
198bf215546Sopenharmony_ci      writeout(5, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], bfe_word1_b));
199bf215546Sopenharmony_ci
200bf215546Sopenharmony_ci      //~gfx[^7]_unsigned! @standard_test(6,byte0)
201bf215546Sopenharmony_ci      Temp bfi_byte0_b = bld.pseudo(ins, bld.def(v1), inputs[1], Operand::zero(), Operand::c32(8u));
202bf215546Sopenharmony_ci      writeout(6, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], bfi_byte0_b));
203bf215546Sopenharmony_ci
204bf215546Sopenharmony_ci      //~gfx[^7]_unsigned! @standard_test(7,word0)
205bf215546Sopenharmony_ci      Temp bfi_word0_b =
206bf215546Sopenharmony_ci         bld.pseudo(ins, bld.def(v1), inputs[1], Operand::zero(), Operand::c32(16u));
207bf215546Sopenharmony_ci      writeout(7, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], bfi_word0_b));
208bf215546Sopenharmony_ci      }
209bf215546Sopenharmony_ci
210bf215546Sopenharmony_ci      //>> p_unit_test 63
211bf215546Sopenharmony_ci      writeout(63);
212bf215546Sopenharmony_ci
213bf215546Sopenharmony_ci      {
214bf215546Sopenharmony_ci      //! v1: %tmp8 = p_insert %b, 1, 8
215bf215546Sopenharmony_ci      //! v1: %res8 = v_mul_f32 %a, %tmp8
216bf215546Sopenharmony_ci      //! p_unit_test 8, %res8
217bf215546Sopenharmony_ci      Temp bfi_byte1_b =
218bf215546Sopenharmony_ci         bld.pseudo(ins, bld.def(v1), inputs[1], Operand::c32(1u), Operand::c32(8u));
219bf215546Sopenharmony_ci      writeout(8, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], bfi_byte1_b));
220bf215546Sopenharmony_ci
221bf215546Sopenharmony_ci      /* v_cvt_f32_ubyte[0-3] can be used instead of v_cvt_f32_u32+sdwa */
222bf215546Sopenharmony_ci      //~gfx7_signed! v1: %bfe_byte0_b = p_extract %b, 0, 8, 1
223bf215546Sopenharmony_ci      //~gfx7_signed! v1: %res9 = v_cvt_f32_u32 %bfe_byte0_b
224bf215546Sopenharmony_ci      //~gfx[^7]+_signed! v1: %res9 = v_cvt_f32_u32 %b dst_sel:dword src0_sel:sbyte0
225bf215546Sopenharmony_ci      //~gfx\d+_unsigned! v1: %res9 = v_cvt_f32_ubyte0 %b
226bf215546Sopenharmony_ci      //! p_unit_test 9, %res9
227bf215546Sopenharmony_ci      Temp bfe_byte0_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::zero(), Operand::c32(8u),
228bf215546Sopenharmony_ci                                    Operand::c32(is_signed));
229bf215546Sopenharmony_ci      writeout(9, bld.vop1(aco_opcode::v_cvt_f32_u32, bld.def(v1), bfe_byte0_b));
230bf215546Sopenharmony_ci
231bf215546Sopenharmony_ci      //~gfx7_signed! v1: %bfe_byte1_b = p_extract %b, 1, 8, 1
232bf215546Sopenharmony_ci      //~gfx7_signed! v1: %res10 = v_cvt_f32_u32 %bfe_byte1_b
233bf215546Sopenharmony_ci      //~gfx[^7]+_signed! v1: %res10 = v_cvt_f32_u32 %b dst_sel:dword src0_sel:sbyte1
234bf215546Sopenharmony_ci      //~gfx\d+_unsigned! v1: %res10 = v_cvt_f32_ubyte1 %b
235bf215546Sopenharmony_ci      //! p_unit_test 10, %res10
236bf215546Sopenharmony_ci      Temp bfe_byte1_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::c32(1u), Operand::c32(8u),
237bf215546Sopenharmony_ci                                    Operand::c32(is_signed));
238bf215546Sopenharmony_ci      writeout(10, bld.vop1(aco_opcode::v_cvt_f32_u32, bld.def(v1), bfe_byte1_b));
239bf215546Sopenharmony_ci
240bf215546Sopenharmony_ci      //~gfx7_signed! v1: %bfe_byte2_b = p_extract %b, 2, 8, 1
241bf215546Sopenharmony_ci      //~gfx7_signed! v1: %res11 = v_cvt_f32_u32 %bfe_byte2_b
242bf215546Sopenharmony_ci      //~gfx[^7]+_signed! v1: %res11 = v_cvt_f32_u32 %b dst_sel:dword src0_sel:sbyte2
243bf215546Sopenharmony_ci      //~gfx\d+_unsigned! v1: %res11 = v_cvt_f32_ubyte2 %b
244bf215546Sopenharmony_ci      //! p_unit_test 11, %res11
245bf215546Sopenharmony_ci      Temp bfe_byte2_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::c32(2u), Operand::c32(8u),
246bf215546Sopenharmony_ci                                    Operand::c32(is_signed));
247bf215546Sopenharmony_ci      writeout(11, bld.vop1(aco_opcode::v_cvt_f32_u32, bld.def(v1), bfe_byte2_b));
248bf215546Sopenharmony_ci
249bf215546Sopenharmony_ci      //~gfx7_signed! v1: %bfe_byte3_b = p_extract %b, 3, 8, 1
250bf215546Sopenharmony_ci      //~gfx7_signed! v1: %res12 = v_cvt_f32_u32 %bfe_byte3_b
251bf215546Sopenharmony_ci      //~gfx[^7]+_signed! v1: %res12 = v_cvt_f32_u32 %b dst_sel:dword src0_sel:sbyte3
252bf215546Sopenharmony_ci      //~gfx\d+_unsigned! v1: %res12 = v_cvt_f32_ubyte3 %b
253bf215546Sopenharmony_ci      //! p_unit_test 12, %res12
254bf215546Sopenharmony_ci      Temp bfe_byte3_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::c32(3u), Operand::c32(8u),
255bf215546Sopenharmony_ci                                    Operand::c32(is_signed));
256bf215546Sopenharmony_ci      writeout(12, bld.vop1(aco_opcode::v_cvt_f32_u32, bld.def(v1), bfe_byte3_b));
257bf215546Sopenharmony_ci
258bf215546Sopenharmony_ci      /* VOP3-only instructions can't use SDWA but they can use opsel on GFX9+ instead */
259bf215546Sopenharmony_ci      //~gfx(9|10).*! v1: %res13 = v_add_i16 %a, %b
260bf215546Sopenharmony_ci      //~gfx(9|10).*! p_unit_test 13, %res13
261bf215546Sopenharmony_ci      Temp bfe_word0_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::zero(), Operand::c32(16u),
262bf215546Sopenharmony_ci                                    Operand::c32(is_signed));
263bf215546Sopenharmony_ci      writeout(13, bld.vop3(aco_opcode::v_add_i16, bld.def(v1), inputs[0], bfe_word0_b));
264bf215546Sopenharmony_ci
265bf215546Sopenharmony_ci      //~gfx(9|10).*! v1: %res14 = v_add_i16 %a, hi(%b)
266bf215546Sopenharmony_ci      //~gfx(9|10).*! p_unit_test 14, %res14
267bf215546Sopenharmony_ci      Temp bfe_word1_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::c32(1u),
268bf215546Sopenharmony_ci                                    Operand::c32(16u), Operand::c32(is_signed));
269bf215546Sopenharmony_ci      writeout(14, bld.vop3(aco_opcode::v_add_i16, bld.def(v1), inputs[0], bfe_word1_b));
270bf215546Sopenharmony_ci      }
271bf215546Sopenharmony_ci
272bf215546Sopenharmony_ci      finish_opt_test();
273bf215546Sopenharmony_ci   }
274bf215546Sopenharmony_ci   }
275bf215546Sopenharmony_ciEND_TEST
276bf215546Sopenharmony_ci
277bf215546Sopenharmony_ciBEGIN_TEST(optimize.sdwa.extract_modifiers)
278bf215546Sopenharmony_ci   for (unsigned i = GFX8; i <= GFX10; i++) {
279bf215546Sopenharmony_ci      //>> v1: %a, v1: %b, s1: %c, s1: %d = p_startpgm
280bf215546Sopenharmony_ci      if (!setup_cs("v1 v1 s1 s1", (amd_gfx_level)i))
281bf215546Sopenharmony_ci         continue;
282bf215546Sopenharmony_ci
283bf215546Sopenharmony_ci      aco_opcode ext = aco_opcode::p_extract;
284bf215546Sopenharmony_ci
285bf215546Sopenharmony_ci      //! v1: %res0 = v_mul_f32 %a, -%b dst_sel:dword src0_sel:dword src1_sel:ubyte0
286bf215546Sopenharmony_ci      //! p_unit_test 0, %res0
287bf215546Sopenharmony_ci      Temp byte0 = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::zero(), Operand::c32(8u),
288bf215546Sopenharmony_ci                              Operand::zero());
289bf215546Sopenharmony_ci      Temp neg_byte0 = fneg(byte0);
290bf215546Sopenharmony_ci      writeout(0, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], neg_byte0));
291bf215546Sopenharmony_ci
292bf215546Sopenharmony_ci      //~gfx8! v1: %neg = v_mul_f32 -1.0, %b
293bf215546Sopenharmony_ci      //~gfx8! v1: %res1 = v_mul_f32 %a, %neg dst_sel:dword src0_sel:dword src1_sel:ubyte0
294bf215546Sopenharmony_ci      //~gfx(9|10)! v1: %neg_byte0 = v_mul_f32 -1.0, %b dst_sel:ubyte0 src0_sel:dword src1_sel:dword
295bf215546Sopenharmony_ci      //~gfx(9|10)! v1: %res1 = v_mul_f32 %a, %neg_byte0
296bf215546Sopenharmony_ci      //! p_unit_test 1, %res1
297bf215546Sopenharmony_ci      Temp neg = fneg(inputs[1]);
298bf215546Sopenharmony_ci      Temp byte0_neg =
299bf215546Sopenharmony_ci         bld.pseudo(ext, bld.def(v1), neg, Operand::zero(), Operand::c32(8u), Operand::zero());
300bf215546Sopenharmony_ci      writeout(1, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], byte0_neg));
301bf215546Sopenharmony_ci
302bf215546Sopenharmony_ci      //! v1: %res2 = v_mul_f32 %a, |%b| dst_sel:dword src0_sel:dword src1_sel:ubyte0
303bf215546Sopenharmony_ci      //! p_unit_test 2, %res2
304bf215546Sopenharmony_ci      Temp abs_byte0 = fabs(byte0);
305bf215546Sopenharmony_ci      writeout(2, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], abs_byte0));
306bf215546Sopenharmony_ci
307bf215546Sopenharmony_ci      //! v1: %abs = v_mul_f32 1.0, |%b|
308bf215546Sopenharmony_ci      //! v1: %res3 = v_mul_f32 %a, %abs dst_sel:dword src0_sel:dword src1_sel:ubyte0
309bf215546Sopenharmony_ci      //! p_unit_test 3, %res3
310bf215546Sopenharmony_ci      Temp abs = fabs(inputs[1]);
311bf215546Sopenharmony_ci      Temp byte0_abs =
312bf215546Sopenharmony_ci         bld.pseudo(ext, bld.def(v1), abs, Operand::zero(), Operand::c32(8u), Operand::zero());
313bf215546Sopenharmony_ci      writeout(3, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], byte0_abs));
314bf215546Sopenharmony_ci
315bf215546Sopenharmony_ci      //! v1: %res4 = v_mul_f32 %1, -|%2| dst_sel:dword src0_sel:dword src1_sel:ubyte0
316bf215546Sopenharmony_ci      //! p_unit_test 4, %res4
317bf215546Sopenharmony_ci      Temp neg_abs_byte0 = fneg(abs_byte0);
318bf215546Sopenharmony_ci      writeout(4, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], neg_abs_byte0));
319bf215546Sopenharmony_ci
320bf215546Sopenharmony_ci      //~gfx8! v1: %neg_abs = v_mul_f32 -1.0, %abs
321bf215546Sopenharmony_ci      //~gfx8! v1: %res5 = v_mul_f32 %a, %neg_abs dst_sel:dword src0_sel:dword src1_sel:ubyte0
322bf215546Sopenharmony_ci      //~gfx(9|10)! v1: %neg_abs_byte0 = v_mul_f32 -1.0, %abs dst_sel:ubyte0 src0_sel:dword src1_sel:dword
323bf215546Sopenharmony_ci      //~gfx(9|10)! v1: %res5 = v_mul_f32 %a, %neg_abs_byte0
324bf215546Sopenharmony_ci      //! p_unit_test 5, %res5
325bf215546Sopenharmony_ci      Temp neg_abs = fneg(abs);
326bf215546Sopenharmony_ci      Temp byte0_neg_abs =
327bf215546Sopenharmony_ci         bld.pseudo(ext, bld.def(v1), neg_abs, Operand::zero(), Operand::c32(8u), Operand::zero());
328bf215546Sopenharmony_ci      writeout(5, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], byte0_neg_abs));
329bf215546Sopenharmony_ci
330bf215546Sopenharmony_ci      finish_opt_test();
331bf215546Sopenharmony_ci   }
332bf215546Sopenharmony_ciEND_TEST
333bf215546Sopenharmony_ci
334bf215546Sopenharmony_ciBEGIN_TEST(optimize.sdwa.extract.sgpr)
335bf215546Sopenharmony_ci   for (unsigned i = GFX8; i <= GFX10; i++) {
336bf215546Sopenharmony_ci      //>> v1: %a, v1: %b, s1: %c, s1: %d = p_startpgm
337bf215546Sopenharmony_ci      if (!setup_cs("v1 v1 s1 s1", (amd_gfx_level)i))
338bf215546Sopenharmony_ci         continue;
339bf215546Sopenharmony_ci
340bf215546Sopenharmony_ci      aco_opcode ext = aco_opcode::p_extract;
341bf215546Sopenharmony_ci
342bf215546Sopenharmony_ci      //~gfx8! v1: %byte0_b = p_extract %b, 0, 8, 0
343bf215546Sopenharmony_ci      //~gfx8! v1: %res1 = v_mul_f32 %c, %byte0_b
344bf215546Sopenharmony_ci      //~gfx(9|10)! v1: %res1 = v_mul_f32 %c, %b dst_sel:dword src0_sel:dword src1_sel:ubyte0
345bf215546Sopenharmony_ci      //! p_unit_test 1, %res1
346bf215546Sopenharmony_ci      Temp byte0_b = bld.pseudo(ext, bld.def(v1), inputs[1], Operand::zero(), Operand::c32(8u),
347bf215546Sopenharmony_ci                                Operand::zero());
348bf215546Sopenharmony_ci      writeout(1, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[2], byte0_b));
349bf215546Sopenharmony_ci
350bf215546Sopenharmony_ci      //~gfx8! v1: %byte0_c = p_extract %c, 0, 8, 0
351bf215546Sopenharmony_ci      //~gfx8! v1: %res2 = v_mul_f32 %a, %byte0_c
352bf215546Sopenharmony_ci      //~gfx(9|10)! v1: %res2 = v_mul_f32 %a, %c dst_sel:dword src0_sel:dword src1_sel:ubyte0
353bf215546Sopenharmony_ci      //! p_unit_test 2, %res2
354bf215546Sopenharmony_ci      Temp byte0_c = bld.pseudo(ext, bld.def(v1), inputs[2], Operand::zero(), Operand::c32(8u),
355bf215546Sopenharmony_ci                                Operand::zero());
356bf215546Sopenharmony_ci      writeout(2, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], byte0_c));
357bf215546Sopenharmony_ci
358bf215546Sopenharmony_ci      //~gfx8! v1: %byte0_c_2 = p_extract %c, 0, 8, 0
359bf215546Sopenharmony_ci      //~gfx8! v1: %res3 = v_mul_f32 %c, %byte0_c_2
360bf215546Sopenharmony_ci      //~gfx(9|10)! v1: %res3 = v_mul_f32 %c, %c dst_sel:dword src0_sel:dword src1_sel:ubyte0
361bf215546Sopenharmony_ci      //! p_unit_test 3, %res3
362bf215546Sopenharmony_ci      byte0_c = bld.pseudo(ext, bld.def(v1), inputs[2], Operand::zero(), Operand::c32(8u),
363bf215546Sopenharmony_ci                           Operand::zero());
364bf215546Sopenharmony_ci      writeout(3, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[2], byte0_c));
365bf215546Sopenharmony_ci
366bf215546Sopenharmony_ci      //~gfx(8|9)! v1: %byte0_c_3 = p_extract %c, 0, 8, 0
367bf215546Sopenharmony_ci      //~gfx(8|9)! v1: %res4 = v_mul_f32 %d, %byte0_c_3
368bf215546Sopenharmony_ci      //~gfx10! v1: %res4 = v_mul_f32 %d, %c dst_sel:dword src0_sel:dword src1_sel:ubyte0
369bf215546Sopenharmony_ci      //! p_unit_test 4, %res4
370bf215546Sopenharmony_ci      byte0_c = bld.pseudo(ext, bld.def(v1), inputs[2], Operand::zero(), Operand::c32(8u),
371bf215546Sopenharmony_ci                           Operand::zero());
372bf215546Sopenharmony_ci      writeout(4, bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[3], byte0_c));
373bf215546Sopenharmony_ci
374bf215546Sopenharmony_ci      finish_opt_test();
375bf215546Sopenharmony_ci   }
376bf215546Sopenharmony_ciEND_TEST
377bf215546Sopenharmony_ci
378bf215546Sopenharmony_ciBEGIN_TEST(optimize.sdwa.from_vop3)
379bf215546Sopenharmony_ci   for (unsigned i = GFX8; i <= GFX10; i++) {
380bf215546Sopenharmony_ci      //>> v1: %a, v1: %b, s1: %c, s1: %d = p_startpgm
381bf215546Sopenharmony_ci      if (!setup_cs("v1 v1 s1 s1", (amd_gfx_level)i))
382bf215546Sopenharmony_ci         continue;
383bf215546Sopenharmony_ci
384bf215546Sopenharmony_ci      //! v1: %res0 = v_mul_f32 -|%a|, %b dst_sel:dword src0_sel:dword src1_sel:ubyte0
385bf215546Sopenharmony_ci      //! p_unit_test 0, %res0
386bf215546Sopenharmony_ci      Temp byte0_b = bld.pseudo(aco_opcode::p_extract, bld.def(v1), inputs[1], Operand::zero(),
387bf215546Sopenharmony_ci                                Operand::c32(8u), Operand::zero());
388bf215546Sopenharmony_ci      VOP3_instruction *mul = &bld.vop2_e64(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], byte0_b).instr->vop3();
389bf215546Sopenharmony_ci      mul->neg[0] = true;
390bf215546Sopenharmony_ci      mul->abs[0] = true;
391bf215546Sopenharmony_ci      writeout(0, mul->definitions[0].getTemp());
392bf215546Sopenharmony_ci
393bf215546Sopenharmony_ci      //~gfx8! v1: %byte0_b_0 = p_extract %b, 0, 8, 0
394bf215546Sopenharmony_ci      //~gfx8! v1: %res1 = v_mul_f32 %a, %byte0_b_0 *4
395bf215546Sopenharmony_ci      //~gfx(9|10)! v1: %res1 = v_mul_f32 %a, %b *4 dst_sel:dword src0_sel:dword src1_sel:ubyte0
396bf215546Sopenharmony_ci      //! p_unit_test 1, %res1
397bf215546Sopenharmony_ci      byte0_b = bld.pseudo(aco_opcode::p_extract, bld.def(v1), inputs[1], Operand::zero(),
398bf215546Sopenharmony_ci                           Operand::c32(8u), Operand::zero());
399bf215546Sopenharmony_ci      mul = &bld.vop2_e64(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], byte0_b).instr->vop3();
400bf215546Sopenharmony_ci      mul->omod = 2;
401bf215546Sopenharmony_ci      writeout(1, mul->definitions[0].getTemp());
402bf215546Sopenharmony_ci
403bf215546Sopenharmony_ci      //~gfx8! v1: %byte0_b_1 = p_extract %b, 0, 8, 0
404bf215546Sopenharmony_ci      //~gfx8! v1: %res2 = v_mul_f32 %byte0_b_1, %c
405bf215546Sopenharmony_ci      //~gfx(9|10)! v1: %res2 = v_mul_f32 %b, %c dst_sel:dword src0_sel:ubyte0 src1_sel:dword
406bf215546Sopenharmony_ci      //! p_unit_test 2, %res2
407bf215546Sopenharmony_ci      byte0_b = bld.pseudo(aco_opcode::p_extract, bld.def(v1), inputs[1], Operand::zero(),
408bf215546Sopenharmony_ci                           Operand::c32(8u), Operand::zero());
409bf215546Sopenharmony_ci      writeout(2, bld.vop2_e64(aco_opcode::v_mul_f32, bld.def(v1), byte0_b, inputs[2]));
410bf215546Sopenharmony_ci
411bf215546Sopenharmony_ci      if (i >= GFX10) {
412bf215546Sopenharmony_ci         //~gfx10! v1: %byte0_b_2 = p_extract %b, 0, 8, 0
413bf215546Sopenharmony_ci         //~gfx10! v1: %res3 = v_mul_f32 %byte0_b_2, 0x1234
414bf215546Sopenharmony_ci         //~gfx10! p_unit_test 3, %res3
415bf215546Sopenharmony_ci         byte0_b = bld.pseudo(aco_opcode::p_extract, bld.def(v1), inputs[1], Operand::zero(),
416bf215546Sopenharmony_ci                              Operand::c32(8u), Operand::zero());
417bf215546Sopenharmony_ci         writeout(3,
418bf215546Sopenharmony_ci                  bld.vop2_e64(aco_opcode::v_mul_f32, bld.def(v1), byte0_b, Operand::c32(0x1234u)));
419bf215546Sopenharmony_ci      }
420bf215546Sopenharmony_ci
421bf215546Sopenharmony_ci      finish_opt_test();
422bf215546Sopenharmony_ci   }
423bf215546Sopenharmony_ciEND_TEST
424bf215546Sopenharmony_ci
425bf215546Sopenharmony_ciBEGIN_TEST(optimize.sdwa.insert)
426bf215546Sopenharmony_ci   for (unsigned i = GFX7; i <= GFX10; i++) {
427bf215546Sopenharmony_ci      //>> v1: %a, v1: %b = p_startpgm
428bf215546Sopenharmony_ci      if (!setup_cs("v1 v1", (amd_gfx_level)i))
429bf215546Sopenharmony_ci         continue;
430bf215546Sopenharmony_ci
431bf215546Sopenharmony_ci      aco_opcode ext = aco_opcode::p_extract;
432bf215546Sopenharmony_ci      aco_opcode ins = aco_opcode::p_insert;
433bf215546Sopenharmony_ci
434bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res0 = v_mul_f32 %a, %b dst_sel:ubyte0 src0_sel:dword src1_sel:dword
435bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 0, %res0
436bf215546Sopenharmony_ci      Temp val = bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
437bf215546Sopenharmony_ci      writeout(0, bld.pseudo(ins, bld.def(v1), val, Operand::zero(), Operand::c32(8u)));
438bf215546Sopenharmony_ci
439bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res1 = v_mul_f32 %a, %b dst_sel:ubyte1 src0_sel:dword src1_sel:dword
440bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 1, %res1
441bf215546Sopenharmony_ci      val = bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
442bf215546Sopenharmony_ci      writeout(1, bld.pseudo(ins, bld.def(v1), val, Operand::c32(1u), Operand::c32(8u)));
443bf215546Sopenharmony_ci
444bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res2 = v_mul_f32 %a, %b dst_sel:ubyte2 src0_sel:dword src1_sel:dword
445bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 2, %res2
446bf215546Sopenharmony_ci      val = bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
447bf215546Sopenharmony_ci      writeout(2, bld.pseudo(ins, bld.def(v1), val, Operand::c32(2u), Operand::c32(8u)));
448bf215546Sopenharmony_ci
449bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res3 = v_mul_f32 %a, %b dst_sel:ubyte3 src0_sel:dword src1_sel:dword
450bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 3, %res3
451bf215546Sopenharmony_ci      val = bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
452bf215546Sopenharmony_ci      writeout(3, bld.pseudo(ins, bld.def(v1), val, Operand::c32(3u), Operand::c32(8u)));
453bf215546Sopenharmony_ci
454bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res4 = v_mul_f32 %a, %b dst_sel:uword0 src0_sel:dword src1_sel:dword
455bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 4, %res4
456bf215546Sopenharmony_ci      val = bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
457bf215546Sopenharmony_ci      writeout(4, bld.pseudo(ins, bld.def(v1), val, Operand::zero(), Operand::c32(16u)));
458bf215546Sopenharmony_ci
459bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res5 = v_mul_f32 %a, %b dst_sel:uword1 src0_sel:dword src1_sel:dword
460bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 5, %res5
461bf215546Sopenharmony_ci      val = bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
462bf215546Sopenharmony_ci      writeout(5, bld.pseudo(ins, bld.def(v1), val, Operand::c32(1u), Operand::c32(16u)));
463bf215546Sopenharmony_ci
464bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res6 = v_mul_f32 %a, %b dst_sel:ubyte0 src0_sel:dword src1_sel:dword
465bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 6, %res6
466bf215546Sopenharmony_ci      val = bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
467bf215546Sopenharmony_ci      writeout(
468bf215546Sopenharmony_ci         6, bld.pseudo(ext, bld.def(v1), val, Operand::zero(), Operand::c32(8u), Operand::zero()));
469bf215546Sopenharmony_ci
470bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res7 = v_mul_f32 %a, %b dst_sel:uword0 src0_sel:dword src1_sel:dword
471bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 7, %res7
472bf215546Sopenharmony_ci      val = bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
473bf215546Sopenharmony_ci      writeout(
474bf215546Sopenharmony_ci         7, bld.pseudo(ext, bld.def(v1), val, Operand::zero(), Operand::c32(16u), Operand::zero()));
475bf215546Sopenharmony_ci
476bf215546Sopenharmony_ci      //~gfx[^7]! v1: %tmp8 = v_mul_f32 %a, %b
477bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res8 = p_extract %tmp8, 2, 8, 0
478bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 8, %res8
479bf215546Sopenharmony_ci      val = bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
480bf215546Sopenharmony_ci      writeout(
481bf215546Sopenharmony_ci         8, bld.pseudo(ext, bld.def(v1), val, Operand::c32(2u), Operand::c32(8u), Operand::zero()));
482bf215546Sopenharmony_ci
483bf215546Sopenharmony_ci      //~gfx[^7]! v1: %tmp9 = v_mul_f32 %a, %b
484bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res9 = p_extract %tmp9, 0, 8, 1
485bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 9, %res9
486bf215546Sopenharmony_ci      val = bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
487bf215546Sopenharmony_ci      writeout(
488bf215546Sopenharmony_ci         9, bld.pseudo(ext, bld.def(v1), val, Operand::zero(), Operand::c32(8u), Operand::c32(1u)));
489bf215546Sopenharmony_ci
490bf215546Sopenharmony_ci      //>> p_unit_test 63
491bf215546Sopenharmony_ci      writeout(63);
492bf215546Sopenharmony_ci
493bf215546Sopenharmony_ci      //! v1: %res10 = v_mul_f32 %a, %b
494bf215546Sopenharmony_ci      //! p_unit_test 10, %res10
495bf215546Sopenharmony_ci      val = bld.vop2(aco_opcode::v_mul_f32, bld.def(v1), inputs[0], inputs[1]);
496bf215546Sopenharmony_ci      bld.pseudo(ins, bld.def(v1), val, Operand::c32(1u), Operand::c32(16u));
497bf215546Sopenharmony_ci      writeout(10, val);
498bf215546Sopenharmony_ci
499bf215546Sopenharmony_ci      //~gfx[^7]! v1: %tmp11 = v_sub_i16 %a, %b
500bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res11 = p_insert %tmp11, 0, 16
501bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 11, %res11
502bf215546Sopenharmony_ci      val = bld.vop3(aco_opcode::v_sub_i16, bld.def(v1), inputs[0], inputs[1]);
503bf215546Sopenharmony_ci      writeout(11, bld.pseudo(ins, bld.def(v1), val, Operand::zero(), Operand::c32(16u)));
504bf215546Sopenharmony_ci
505bf215546Sopenharmony_ci      //~gfx[^7]! v1: %tmp12 = v_sub_i16 %a, %b
506bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res12 = p_insert %tmp12, 1, 16
507bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 12, %res12
508bf215546Sopenharmony_ci      val = bld.vop3(aco_opcode::v_sub_i16, bld.def(v1), inputs[0], inputs[1]);
509bf215546Sopenharmony_ci      writeout(12, bld.pseudo(ins, bld.def(v1), val, Operand::c32(1u), Operand::c32(16u)));
510bf215546Sopenharmony_ci
511bf215546Sopenharmony_ci      //~gfx[^7]! v1: %tmp13 = v_sub_i16 %a, %b
512bf215546Sopenharmony_ci      //~gfx[^7]! v1: %res13 = p_insert %tmp13, 0, 8
513bf215546Sopenharmony_ci      //~gfx[^7]! p_unit_test 13, %res13
514bf215546Sopenharmony_ci      val = bld.vop3(aco_opcode::v_sub_i16, bld.def(v1), inputs[0], inputs[1]);
515bf215546Sopenharmony_ci      writeout(13, bld.pseudo(ins, bld.def(v1), val, Operand::zero(), Operand::c32(8u)));
516bf215546Sopenharmony_ci
517bf215546Sopenharmony_ci      finish_opt_test();
518bf215546Sopenharmony_ci   }
519bf215546Sopenharmony_ciEND_TEST
520bf215546Sopenharmony_ci
521bf215546Sopenharmony_ciBEGIN_TEST(optimize.sdwa.insert_modifiers)
522bf215546Sopenharmony_ci   for (unsigned i = GFX8; i <= GFX9; i++) {
523bf215546Sopenharmony_ci      //>> v1: %a = p_startpgm
524bf215546Sopenharmony_ci      if (!setup_cs("v1", (amd_gfx_level)i))
525bf215546Sopenharmony_ci         continue;
526bf215546Sopenharmony_ci
527bf215546Sopenharmony_ci      aco_opcode ins = aco_opcode::p_insert;
528bf215546Sopenharmony_ci
529bf215546Sopenharmony_ci      //~gfx8! v1: %tmp0 = v_rcp_f32 %a *2
530bf215546Sopenharmony_ci      //~gfx8! v1: %res0 = p_insert %tmp0, 0, 8
531bf215546Sopenharmony_ci      //~gfx9! v1: %res0 = v_rcp_f32 %a *2 dst_sel:ubyte0 src0_sel:dword
532bf215546Sopenharmony_ci      //! p_unit_test 0, %res0
533bf215546Sopenharmony_ci      Temp val = bld.vop1(aco_opcode::v_rcp_f32, bld.def(v1), inputs[0]);
534bf215546Sopenharmony_ci      val = bld.vop2_e64(aco_opcode::v_mul_f32, bld.def(v1), val, Operand::c32(0x40000000u));
535bf215546Sopenharmony_ci      writeout(0, bld.pseudo(ins, bld.def(v1), val, Operand::zero(), Operand::c32(8u)));
536bf215546Sopenharmony_ci
537bf215546Sopenharmony_ci      //! v1: %res1 = v_rcp_f32 %a clamp dst_sel:ubyte0 src0_sel:dword
538bf215546Sopenharmony_ci      //! p_unit_test 1, %res1
539bf215546Sopenharmony_ci      val = bld.vop1(aco_opcode::v_rcp_f32, bld.def(v1), inputs[0]);
540bf215546Sopenharmony_ci      val = bld.vop3(aco_opcode::v_med3_f32, bld.def(v1), val, Operand::zero(),
541bf215546Sopenharmony_ci                     Operand::c32(0x3f800000u));
542bf215546Sopenharmony_ci      writeout(1, bld.pseudo(ins, bld.def(v1), val, Operand::zero(), Operand::c32(8u)));
543bf215546Sopenharmony_ci
544bf215546Sopenharmony_ci      //! v1: %tmp2 = v_rcp_f32 %a dst_sel:ubyte0 src0_sel:dword
545bf215546Sopenharmony_ci      //! v1: %res2 = v_mul_f32 %tmp2, 2.0
546bf215546Sopenharmony_ci      //! p_unit_test 2, %res2
547bf215546Sopenharmony_ci      val = bld.vop1(aco_opcode::v_rcp_f32, bld.def(v1), inputs[0]);
548bf215546Sopenharmony_ci      val = bld.pseudo(ins, bld.def(v1), val, Operand::zero(), Operand::c32(8u));
549bf215546Sopenharmony_ci      val = bld.vop2_e64(aco_opcode::v_mul_f32, bld.def(v1), val, Operand::c32(0x40000000u));
550bf215546Sopenharmony_ci      writeout(2, val);
551bf215546Sopenharmony_ci
552bf215546Sopenharmony_ci      //! v1: %tmp3 = v_rcp_f32 %a dst_sel:ubyte0 src0_sel:dword
553bf215546Sopenharmony_ci      //! v1: %res3 = v_med3_f32 %tmp3, 0, 1.0
554bf215546Sopenharmony_ci      //! p_unit_test 3, %res3
555bf215546Sopenharmony_ci      val = bld.vop1(aco_opcode::v_rcp_f32, bld.def(v1), inputs[0]);
556bf215546Sopenharmony_ci      val = bld.pseudo(ins, bld.def(v1), val, Operand::zero(), Operand::c32(8u));
557bf215546Sopenharmony_ci      val = bld.vop3(aco_opcode::v_med3_f32, bld.def(v1), val, Operand::zero(),
558bf215546Sopenharmony_ci                     Operand::c32(0x3f800000u));
559bf215546Sopenharmony_ci      writeout(3, val);
560bf215546Sopenharmony_ci
561bf215546Sopenharmony_ci      //~gfx8! v1: %tmp4 = v_rcp_f32 %a *2 clamp
562bf215546Sopenharmony_ci      //~gfx8! v1: %res4 = p_insert %tmp4, 0, 8
563bf215546Sopenharmony_ci      //~gfx9! v1: %res4 = v_rcp_f32 %a *2 clamp dst_sel:ubyte0 src0_sel:dword
564bf215546Sopenharmony_ci      //! p_unit_test 4, %res4
565bf215546Sopenharmony_ci      val = bld.vop1(aco_opcode::v_rcp_f32, bld.def(v1), inputs[0]);
566bf215546Sopenharmony_ci      val = bld.vop2_e64(aco_opcode::v_mul_f32, bld.def(v1), val, Operand::c32(0x40000000u));
567bf215546Sopenharmony_ci      val = bld.vop3(aco_opcode::v_med3_f32, bld.def(v1), val, Operand::zero(),
568bf215546Sopenharmony_ci                     Operand::c32(0x3f800000u));
569bf215546Sopenharmony_ci      writeout(4, bld.pseudo(ins, bld.def(v1), val, Operand::zero(), Operand::c32(8u)));
570bf215546Sopenharmony_ci
571bf215546Sopenharmony_ci      finish_opt_test();
572bf215546Sopenharmony_ci   }
573bf215546Sopenharmony_ciEND_TEST
574