1; RUN: llc -march=amdgcn -mcpu=SI -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s
2
3declare i32 @llvm.r600.read.tidig.x() #1
4declare float @llvm.fabs.f32(float) #1
5declare float @llvm.fma.f32(float, float, float) nounwind readnone
6
7; FUNC-LABEL: @commute_add_imm_fabs_f32
8; SI: buffer_load_dword [[X:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}}
9; SI: v_add_f32_e64 [[REG:v[0-9]+]], 2.0, |[[X]]|
10; SI-NEXT: buffer_store_dword [[REG]]
11define void @commute_add_imm_fabs_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 {
12  %tid = call i32 @llvm.r600.read.tidig.x() #1
13  %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid
14  %x = load float, float addrspace(1)* %gep.0
15  %x.fabs = call float @llvm.fabs.f32(float %x) #1
16  %z = fadd float 2.0, %x.fabs
17  store float %z, float addrspace(1)* %out
18  ret void
19}
20
21; FUNC-LABEL: @commute_mul_imm_fneg_fabs_f32
22; SI: buffer_load_dword [[X:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}}
23; SI: v_mul_f32_e64 [[REG:v[0-9]+]], -4.0, |[[X]]|
24; SI-NEXT: buffer_store_dword [[REG]]
25define void @commute_mul_imm_fneg_fabs_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 {
26  %tid = call i32 @llvm.r600.read.tidig.x() #1
27  %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid
28  %x = load float, float addrspace(1)* %gep.0
29  %x.fabs = call float @llvm.fabs.f32(float %x) #1
30  %x.fneg.fabs = fsub float -0.000000e+00, %x.fabs
31  %z = fmul float 4.0, %x.fneg.fabs
32  store float %z, float addrspace(1)* %out
33  ret void
34}
35
36; FUNC-LABEL: @commute_mul_imm_fneg_f32
37; SI: buffer_load_dword [[X:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}}
38; SI: v_mul_f32_e32 [[REG:v[0-9]+]], -4.0, [[X]]
39; SI-NEXT: buffer_store_dword [[REG]]
40define void @commute_mul_imm_fneg_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 {
41  %tid = call i32 @llvm.r600.read.tidig.x() #1
42  %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid
43  %x = load float, float addrspace(1)* %gep.0
44  %x.fneg = fsub float -0.000000e+00, %x
45  %z = fmul float 4.0, %x.fneg
46  store float %z, float addrspace(1)* %out
47  ret void
48}
49
50; FIXME: Should use SGPR for literal.
51; FUNC-LABEL: @commute_add_lit_fabs_f32
52; SI: buffer_load_dword [[X:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}}
53; SI: v_mov_b32_e32 [[K:v[0-9]+]], 0x44800000
54; SI: v_add_f32_e64 [[REG:v[0-9]+]], |[[X]]|, [[K]]
55; SI-NEXT: buffer_store_dword [[REG]]
56define void @commute_add_lit_fabs_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 {
57  %tid = call i32 @llvm.r600.read.tidig.x() #1
58  %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid
59  %x = load float, float addrspace(1)* %gep.0
60  %x.fabs = call float @llvm.fabs.f32(float %x) #1
61  %z = fadd float 1024.0, %x.fabs
62  store float %z, float addrspace(1)* %out
63  ret void
64}
65
66; FUNC-LABEL: @commute_add_fabs_f32
67; SI-DAG: buffer_load_dword [[X:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}}
68; SI-DAG: buffer_load_dword [[Y:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4
69; SI: v_add_f32_e64 [[REG:v[0-9]+]], [[X]], |[[Y]]|
70; SI-NEXT: buffer_store_dword [[REG]]
71define void @commute_add_fabs_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 {
72  %tid = call i32 @llvm.r600.read.tidig.x() #1
73  %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid
74  %gep.1 = getelementptr float, float addrspace(1)* %gep.0, i32 1
75  %x = load float, float addrspace(1)* %gep.0
76  %y = load float, float addrspace(1)* %gep.1
77  %y.fabs = call float @llvm.fabs.f32(float %y) #1
78  %z = fadd float %x, %y.fabs
79  store float %z, float addrspace(1)* %out
80  ret void
81}
82
83; FUNC-LABEL: @commute_mul_fneg_f32
84; SI-DAG: buffer_load_dword [[X:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}}
85; SI-DAG: buffer_load_dword [[Y:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4
86; SI: v_mul_f32_e64 [[REG:v[0-9]+]], [[X]], -[[Y]]
87; SI-NEXT: buffer_store_dword [[REG]]
88define void @commute_mul_fneg_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 {
89  %tid = call i32 @llvm.r600.read.tidig.x() #1
90  %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid
91  %gep.1 = getelementptr float, float addrspace(1)* %gep.0, i32 1
92  %x = load float, float addrspace(1)* %gep.0
93  %y = load float, float addrspace(1)* %gep.1
94  %y.fneg = fsub float -0.000000e+00, %y
95  %z = fmul float %x, %y.fneg
96  store float %z, float addrspace(1)* %out
97  ret void
98}
99
100; FUNC-LABEL: @commute_mul_fabs_fneg_f32
101; SI-DAG: buffer_load_dword [[X:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}}
102; SI-DAG: buffer_load_dword [[Y:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4
103; SI: v_mul_f32_e64 [[REG:v[0-9]+]], [[X]], -|[[Y]]|
104; SI-NEXT: buffer_store_dword [[REG]]
105define void @commute_mul_fabs_fneg_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 {
106  %tid = call i32 @llvm.r600.read.tidig.x() #1
107  %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid
108  %gep.1 = getelementptr float, float addrspace(1)* %gep.0, i32 1
109  %x = load float, float addrspace(1)* %gep.0
110  %y = load float, float addrspace(1)* %gep.1
111  %y.fabs = call float @llvm.fabs.f32(float %y) #1
112  %y.fabs.fneg = fsub float -0.000000e+00, %y.fabs
113  %z = fmul float %x, %y.fabs.fneg
114  store float %z, float addrspace(1)* %out
115  ret void
116}
117
118; There's no reason to commute this.
119; FUNC-LABEL: @commute_mul_fabs_x_fabs_y_f32
120; SI-DAG: buffer_load_dword [[X:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}}
121; SI-DAG: buffer_load_dword [[Y:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4
122; SI: v_mul_f32_e64 [[REG:v[0-9]+]], |[[X]]|, |[[Y]]|
123; SI-NEXT: buffer_store_dword [[REG]]
124define void @commute_mul_fabs_x_fabs_y_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 {
125  %tid = call i32 @llvm.r600.read.tidig.x() #1
126  %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid
127  %gep.1 = getelementptr float, float addrspace(1)* %gep.0, i32 1
128  %x = load float, float addrspace(1)* %gep.0
129  %y = load float, float addrspace(1)* %gep.1
130  %x.fabs = call float @llvm.fabs.f32(float %x) #1
131  %y.fabs = call float @llvm.fabs.f32(float %y) #1
132  %z = fmul float %x.fabs, %y.fabs
133  store float %z, float addrspace(1)* %out
134  ret void
135}
136
137; FUNC-LABEL: @commute_mul_fabs_x_fneg_fabs_y_f32
138; SI-DAG: buffer_load_dword [[X:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}}
139; SI-DAG: buffer_load_dword [[Y:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4
140; SI: v_mul_f32_e64 [[REG:v[0-9]+]], |[[X]]|, -|[[Y]]|
141; SI-NEXT: buffer_store_dword [[REG]]
142define void @commute_mul_fabs_x_fneg_fabs_y_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 {
143  %tid = call i32 @llvm.r600.read.tidig.x() #1
144  %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid
145  %gep.1 = getelementptr float, float addrspace(1)* %gep.0, i32 1
146  %x = load float, float addrspace(1)* %gep.0
147  %y = load float, float addrspace(1)* %gep.1
148  %x.fabs = call float @llvm.fabs.f32(float %x) #1
149  %y.fabs = call float @llvm.fabs.f32(float %y) #1
150  %y.fabs.fneg = fsub float -0.000000e+00, %y.fabs
151  %z = fmul float %x.fabs, %y.fabs.fneg
152  store float %z, float addrspace(1)* %out
153  ret void
154}
155
156; Make sure we commute the multiply part for the constant in src0 even
157; though we have negate modifier on src2.
158
159; SI-LABEL: {{^}}fma_a_2.0_neg_b_f32
160; SI-DAG: buffer_load_dword [[R1:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}}
161; SI-DAG: buffer_load_dword [[R2:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4
162; SI: v_fma_f32 [[RESULT:v[0-9]+]], 2.0, [[R1]], |[[R2]]|
163; SI: buffer_store_dword [[RESULT]]
164define void @fma_a_2.0_neg_b_f32(float addrspace(1)* %out, float addrspace(1)* %in) {
165  %tid = call i32 @llvm.r600.read.tidig.x() nounwind readnone
166  %gep.0 = getelementptr float, float addrspace(1)* %out, i32 %tid
167  %gep.1 = getelementptr float, float addrspace(1)* %gep.0, i32 1
168  %gep.out = getelementptr float, float addrspace(1)* %out, i32 %tid
169
170  %r1 = load float, float addrspace(1)* %gep.0
171  %r2 = load float, float addrspace(1)* %gep.1
172
173  %r2.fabs = call float @llvm.fabs.f32(float %r2)
174
175  %r3 = tail call float @llvm.fma.f32(float %r1, float 2.0, float %r2.fabs)
176  store float %r3, float addrspace(1)* %gep.out
177  ret void
178}
179
180attributes #0 = { nounwind }
181attributes #1 = { nounwind readnone }
182