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