1; Test the lowering sequence for commutative operations.  If there is a source
2; operand whose lifetime ends in an operation, it should be the first operand,
3; eliminating the need for a move to start the new lifetime.
4
5; RUN: %if --need=target_X8632 --command %p2i --filetype=obj --disassemble \
6; RUN:   --target x8632 -i %s --args -O2 \
7; RUN:   | %if --need=target_X8632 --command FileCheck %s
8
9; RUN: %if --need=target_MIPS32 --need=allow_dump \
10; RUN:   --command %p2i --filetype=asm --assemble --disassemble --target \
11; RUN:   mips32 -i %s --args -O2 -allow-externally-defined-symbols \
12; RUN:   | %if --need=target_MIPS32 --need=allow_dump \
13; RUN:   --command FileCheck --check-prefix MIPS32 %s
14
15define internal i32 @integerAddLeft(i32 %a, i32 %b) {
16entry:
17  %tmp = add i32 %a, %b
18  %result = add i32 %a, %tmp
19  ret i32 %result
20}
21; CHECK-LABEL: integerAddLeft
22; CHECK-NEXT: mov {{e..}},DWORD PTR
23; CHECK-NEXT: mov {{e..}},DWORD PTR
24; CHECK-NEXT: add {{e..}},{{e..}}
25; CHECK-NEXT: add {{e..}},{{e..}}
26; MIPS32-LABEL: integerAddLeft
27; MIPS32: 	move	v0,a0
28; MIPS32: 	addu	v0,v0,a1
29; MIPS32: 	addu	a0,a0,v0
30
31define internal i32 @integerAddRight(i32 %a, i32 %b) {
32entry:
33  %tmp = add i32 %a, %b
34  %result = add i32 %b, %tmp
35  ret i32 %result
36}
37; CHECK-LABEL: integerAddRight
38; CHECK-NEXT: mov {{e..}},DWORD PTR
39; CHECK-NEXT: mov {{e..}},DWORD PTR
40; CHECK-NEXT: add {{e..}},{{e..}}
41; CHECK-NEXT: add {{e..}},{{e..}}
42; MIPS32-LABEL: integerAddRight
43; MIPS32: 	move	v0,a1
44; MIPS32: 	addu	a0,a0,v0
45; MIPS32: 	addu	a1,a1,a0
46
47define internal i32 @integerMultiplyLeft(i32 %a, i32 %b) {
48entry:
49  %tmp = mul i32 %a, %b
50  %result = mul i32 %a, %tmp
51  ret i32 %result
52}
53; CHECK-LABEL: integerMultiplyLeft
54; CHECK-NEXT: mov {{e..}},DWORD PTR
55; CHECK-NEXT: mov {{e..}},DWORD PTR
56; CHECK-NEXT: imul {{e..}},{{e..}}
57; CHECK-NEXT: imul {{e..}},{{e..}}
58; MIPS32-LABEL: integerMultiplyLeft
59; MIPS32: 	move	v0,a0
60; MIPS32: 	mul	v0,v0,a1
61; MIPS32: 	mul	a0,a0,v0
62
63define internal i32 @integerMultiplyRight(i32 %a, i32 %b) {
64entry:
65  %tmp = mul i32 %a, %b
66  %result = mul i32 %b, %tmp
67  ret i32 %result
68}
69; CHECK-LABEL: integerMultiplyRight
70; CHECK-NEXT: mov {{e..}},DWORD PTR
71; CHECK-NEXT: mov {{e..}},DWORD PTR
72; CHECK-NEXT: imul {{e..}},{{e..}}
73; CHECK-NEXT: imul {{e..}},{{e..}}
74; MIPS32-LABEL: integerMultiplyRight
75; MIPS32: 	move	v0,a1
76; MIPS32: 	mul	a0,a0,v0
77; MIPS32: 	mul	a1,a1,a0
78
79define internal float @floatAddLeft(float %a, float %b) {
80entry:
81  %tmp = fadd float %a, %b
82  %result = fadd float %a, %tmp
83  ret float %result
84}
85; CHECK-LABEL: floatAddLeft
86; CHECK-NEXT: sub esp,0x1c
87; CHECK-NEXT: movss xmm0,DWORD PTR
88; CHECK-NEXT: movss xmm1,DWORD PTR
89; CHECK-NEXT: addss xmm1,xmm0
90; CHECK-NEXT: addss xmm0,xmm1
91; MIPS32-LABEL: floatAddLeft
92; MIPS32: 	mov.s	$f0,$f12
93; MIPS32: 	add.s	$f0,$f0,$f14
94; MIPS32: 	add.s	$f12,$f12,$f0
95
96define internal float @floatAddRight(float %a, float %b) {
97entry:
98  %tmp = fadd float %a, %b
99  %result = fadd float %b, %tmp
100  ret float %result
101}
102; CHECK-LABEL: floatAddRight
103; CHECK-NEXT: sub esp,0x1c
104; CHECK-NEXT: movss xmm0,DWORD PTR
105; CHECK-NEXT: movss xmm1,DWORD PTR
106; CHECK-NEXT: addss xmm0,xmm1
107; CHECK-NEXT: addss xmm1,xmm0
108; MIPS32-LABEL: floatAddRight
109; MIPS32: 	mov.s	$f0,$f14
110; MIPS32: 	add.s	$f12,$f12,$f0
111; MIPS32: 	add.s	$f14,$f14,$f12
112
113define internal float @floatMultiplyLeft(float %a, float %b) {
114entry:
115  %tmp = fmul float %a, %b
116  %result = fmul float %a, %tmp
117  ret float %result
118}
119; CHECK-LABEL: floatMultiplyLeft
120; CHECK-NEXT: sub esp,0x1c
121; CHECK-NEXT: movss xmm0,DWORD PTR
122; CHECK-NEXT: movss xmm1,DWORD PTR
123; CHECK-NEXT: mulss xmm1,xmm0
124; CHECK-NEXT: mulss xmm0,xmm1
125; MIPS32-LABEL: floatMultiplyLeft
126; MIPS32: 	mov.s	$f0,$f12
127; MIPS32: 	mul.s	$f0,$f0,$f14
128; MIPS32: 	mul.s	$f12,$f12,$f0
129
130define internal float @floatMultiplyRight(float %a, float %b) {
131entry:
132  %tmp = fmul float %a, %b
133  %result = fmul float %b, %tmp
134  ret float %result
135}
136; CHECK-LABEL: floatMultiplyRight
137; CHECK-NEXT: sub esp,0x1c
138; CHECK-NEXT: movss xmm0,DWORD PTR
139; CHECK-NEXT: movss xmm1,DWORD PTR
140; CHECK-NEXT: mulss xmm0,xmm1
141; CHECK-NEXT: mulss xmm1,xmm0
142; MIPS32-LABEL: floatMultiplyRight
143; MIPS32: 	mov.s	$f0,$f14
144; MIPS32: 	mul.s	$f12,$f12,$f0
145; MIPS32: 	mul.s	$f14,$f14,$f12
146