| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | |
| ; RUN: llc < %s -mtriple=i686-unknown | FileCheck %s --check-prefix=X86 | |
| ; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefix=X64 | |
| define i16 @test_mul_by_1(i16 %x) { | |
| ; X86-LABEL: test_mul_by_1: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_1: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: movl %edi, %eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 1 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_2(i16 %x) { | |
| ; X86-LABEL: test_mul_by_2: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: addl %eax, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_2: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 2 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_3(i16 %x) { | |
| ; X86-LABEL: test_mul_by_3: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,2), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_3: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,2), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 3 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_4(i16 %x) { | |
| ; X86-LABEL: test_mul_by_4: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: shll $2, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_4: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (,%rdi,4), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 4 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_5(i16 %x) { | |
| ; X86-LABEL: test_mul_by_5: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,4), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_5: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,4), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 5 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_6(i16 %x) { | |
| ; X86-LABEL: test_mul_by_6: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: addl %eax, %eax | |
| ; X86-NEXT: leal (%eax,%eax,2), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_6: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: addl %edi, %edi | |
| ; X64-NEXT: leal (%rdi,%rdi,2), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 6 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_7(i16 %x) { | |
| ; X86-LABEL: test_mul_by_7: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx | |
| ; X86-NEXT: leal (,%ecx,8), %eax | |
| ; X86-NEXT: subl %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_7: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (,%rdi,8), %eax | |
| ; X64-NEXT: subl %edi, %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 7 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_8(i16 %x) { | |
| ; X86-LABEL: test_mul_by_8: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: shll $3, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_8: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (,%rdi,8), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 8 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_9(i16 %x) { | |
| ; X86-LABEL: test_mul_by_9: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,8), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_9: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,8), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 9 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_10(i16 %x) { | |
| ; X86-LABEL: test_mul_by_10: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: addl %eax, %eax | |
| ; X86-NEXT: leal (%eax,%eax,4), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_10: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: addl %edi, %edi | |
| ; X64-NEXT: leal (%rdi,%rdi,4), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 10 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_11(i16 %x) { | |
| ; X86-LABEL: test_mul_by_11: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,4), %ecx | |
| ; X86-NEXT: leal (%eax,%ecx,2), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_11: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,4), %eax | |
| ; X64-NEXT: leal (%rdi,%rax,2), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 11 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_12(i16 %x) { | |
| ; X86-LABEL: test_mul_by_12: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: shll $2, %eax | |
| ; X86-NEXT: leal (%eax,%eax,2), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_12: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: shll $2, %edi | |
| ; X64-NEXT: leal (%rdi,%rdi,2), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 12 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_13(i16 %x) { | |
| ; X86-LABEL: test_mul_by_13: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,2), %ecx | |
| ; X86-NEXT: leal (%eax,%ecx,4), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_13: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,2), %eax | |
| ; X64-NEXT: leal (%rdi,%rax,4), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 13 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_14(i16 %x) { | |
| ; X86-LABEL: test_mul_by_14: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx | |
| ; X86-NEXT: movl %ecx, %eax | |
| ; X86-NEXT: shll $4, %eax | |
| ; X86-NEXT: subl %ecx, %eax | |
| ; X86-NEXT: subl %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_14: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: movl %edi, %eax | |
| ; X64-NEXT: shll $4, %eax | |
| ; X64-NEXT: subl %edi, %eax | |
| ; X64-NEXT: subl %edi, %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 14 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_15(i16 %x) { | |
| ; X86-LABEL: test_mul_by_15: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,4), %eax | |
| ; X86-NEXT: leal (%eax,%eax,2), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_15: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,4), %eax | |
| ; X64-NEXT: leal (%rax,%rax,2), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 15 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_16(i16 %x) { | |
| ; X86-LABEL: test_mul_by_16: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: shll $4, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_16: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: shll $4, %edi | |
| ; X64-NEXT: movl %edi, %eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 16 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_17(i16 %x) { | |
| ; X86-LABEL: test_mul_by_17: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx | |
| ; X86-NEXT: movl %ecx, %eax | |
| ; X86-NEXT: shll $4, %eax | |
| ; X86-NEXT: addl %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_17: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: movl %edi, %eax | |
| ; X64-NEXT: shll $4, %eax | |
| ; X64-NEXT: leal (%rax,%rdi), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 17 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_18(i16 %x) { | |
| ; X86-LABEL: test_mul_by_18: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: addl %eax, %eax | |
| ; X86-NEXT: leal (%eax,%eax,8), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_18: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: addl %edi, %edi | |
| ; X64-NEXT: leal (%rdi,%rdi,8), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 18 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_19(i16 %x) { | |
| ; X86-LABEL: test_mul_by_19: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,8), %ecx | |
| ; X86-NEXT: leal (%eax,%ecx,2), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_19: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,8), %eax | |
| ; X64-NEXT: leal (%rdi,%rax,2), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 19 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_20(i16 %x) { | |
| ; X86-LABEL: test_mul_by_20: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: shll $2, %eax | |
| ; X86-NEXT: leal (%eax,%eax,4), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_20: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: shll $2, %edi | |
| ; X64-NEXT: leal (%rdi,%rdi,4), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 20 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_21(i16 %x) { | |
| ; X86-LABEL: test_mul_by_21: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,4), %ecx | |
| ; X86-NEXT: leal (%eax,%ecx,4), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_21: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,4), %eax | |
| ; X64-NEXT: leal (%rdi,%rax,4), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 21 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_22(i16 %x) { | |
| ; X86-LABEL: test_mul_by_22: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx | |
| ; X86-NEXT: leal (%ecx,%ecx,4), %eax | |
| ; X86-NEXT: leal (%ecx,%eax,4), %eax | |
| ; X86-NEXT: addl %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_22: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,4), %eax | |
| ; X64-NEXT: leal (%rdi,%rax,4), %eax | |
| ; X64-NEXT: addl %edi, %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 22 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_23(i16 %x) { | |
| ; X86-LABEL: test_mul_by_23: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx | |
| ; X86-NEXT: leal (%ecx,%ecx,2), %eax | |
| ; X86-NEXT: shll $3, %eax | |
| ; X86-NEXT: subl %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_23: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,2), %eax | |
| ; X64-NEXT: shll $3, %eax | |
| ; X64-NEXT: subl %edi, %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 23 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_24(i16 %x) { | |
| ; X86-LABEL: test_mul_by_24: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: shll $3, %eax | |
| ; X86-NEXT: leal (%eax,%eax,2), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_24: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: shll $3, %edi | |
| ; X64-NEXT: leal (%rdi,%rdi,2), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 24 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_25(i16 %x) { | |
| ; X86-LABEL: test_mul_by_25: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,4), %eax | |
| ; X86-NEXT: leal (%eax,%eax,4), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_25: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,4), %eax | |
| ; X64-NEXT: leal (%rax,%rax,4), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 25 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_26(i16 %x) { | |
| ; X86-LABEL: test_mul_by_26: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx | |
| ; X86-NEXT: leal (%ecx,%ecx,4), %eax | |
| ; X86-NEXT: leal (%eax,%eax,4), %eax | |
| ; X86-NEXT: addl %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_26: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,4), %eax | |
| ; X64-NEXT: leal (%rax,%rax,4), %eax | |
| ; X64-NEXT: addl %edi, %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 26 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_27(i16 %x) { | |
| ; X86-LABEL: test_mul_by_27: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,8), %eax | |
| ; X86-NEXT: leal (%eax,%eax,2), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_27: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,8), %eax | |
| ; X64-NEXT: leal (%rax,%rax,2), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 27 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_28(i16 %x) { | |
| ; X86-LABEL: test_mul_by_28: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx | |
| ; X86-NEXT: leal (%ecx,%ecx,8), %eax | |
| ; X86-NEXT: leal (%eax,%eax,2), %eax | |
| ; X86-NEXT: addl %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_28: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,8), %eax | |
| ; X64-NEXT: leal (%rax,%rax,2), %eax | |
| ; X64-NEXT: addl %edi, %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 28 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_29(i16 %x) { | |
| ; X86-LABEL: test_mul_by_29: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx | |
| ; X86-NEXT: leal (%ecx,%ecx,8), %eax | |
| ; X86-NEXT: leal (%eax,%eax,2), %eax | |
| ; X86-NEXT: addl %ecx, %eax | |
| ; X86-NEXT: addl %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_29: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,8), %eax | |
| ; X64-NEXT: leal (%rax,%rax,2), %eax | |
| ; X64-NEXT: addl %edi, %eax | |
| ; X64-NEXT: addl %edi, %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 29 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_30(i16 %x) { | |
| ; X86-LABEL: test_mul_by_30: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx | |
| ; X86-NEXT: movl %ecx, %eax | |
| ; X86-NEXT: shll $5, %eax | |
| ; X86-NEXT: subl %ecx, %eax | |
| ; X86-NEXT: subl %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_30: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: movl %edi, %eax | |
| ; X64-NEXT: shll $5, %eax | |
| ; X64-NEXT: subl %edi, %eax | |
| ; X64-NEXT: subl %edi, %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 30 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_31(i16 %x) { | |
| ; X86-LABEL: test_mul_by_31: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx | |
| ; X86-NEXT: movl %ecx, %eax | |
| ; X86-NEXT: shll $5, %eax | |
| ; X86-NEXT: subl %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_31: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: movl %edi, %eax | |
| ; X64-NEXT: shll $5, %eax | |
| ; X64-NEXT: subl %edi, %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 31 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_32(i16 %x) { | |
| ; X86-LABEL: test_mul_by_32: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: shll $5, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_32: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: shll $5, %edi | |
| ; X64-NEXT: movl %edi, %eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 32 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_37(i16 %x) { | |
| ; X86-LABEL: test_mul_by_37: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,8), %ecx | |
| ; X86-NEXT: leal (%eax,%ecx,4), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_37: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,8), %eax | |
| ; X64-NEXT: leal (%rdi,%rax,4), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 37 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_41(i16 %x) { | |
| ; X86-LABEL: test_mul_by_41: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,4), %ecx | |
| ; X86-NEXT: leal (%eax,%ecx,8), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_41: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,4), %eax | |
| ; X64-NEXT: leal (%rdi,%rax,8), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 41 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_62(i16 %x) { | |
| ; X86-LABEL: test_mul_by_62: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx | |
| ; X86-NEXT: movl %ecx, %eax | |
| ; X86-NEXT: shll $6, %eax | |
| ; X86-NEXT: subl %ecx, %eax | |
| ; X86-NEXT: subl %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_62: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: movl %edi, %eax | |
| ; X64-NEXT: shll $6, %eax | |
| ; X64-NEXT: subl %edi, %eax | |
| ; X64-NEXT: subl %edi, %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 62 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_66(i16 %x) { | |
| ; X86-LABEL: test_mul_by_66: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: movl %eax, %ecx | |
| ; X86-NEXT: shll $6, %ecx | |
| ; X86-NEXT: leal (%ecx,%eax,2), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_66: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: movl %edi, %eax | |
| ; X64-NEXT: shll $6, %eax | |
| ; X64-NEXT: leal (%rax,%rdi,2), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 66 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_73(i16 %x) { | |
| ; X86-LABEL: test_mul_by_73: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal (%eax,%eax,8), %ecx | |
| ; X86-NEXT: leal (%eax,%ecx,8), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_73: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal (%rdi,%rdi,8), %eax | |
| ; X64-NEXT: leal (%rdi,%rax,8), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 73 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_520(i16 %x) { | |
| ; X86-LABEL: test_mul_by_520: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: movl %eax, %ecx | |
| ; X86-NEXT: shll $9, %ecx | |
| ; X86-NEXT: leal (%ecx,%eax,8), %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_520: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: movl %edi, %eax | |
| ; X64-NEXT: shll $9, %eax | |
| ; X64-NEXT: leal (%rax,%rdi,8), %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 520 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_neg10(i16 %x) { | |
| ; X86-LABEL: test_mul_by_neg10: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: addl %eax, %eax | |
| ; X86-NEXT: leal (%eax,%eax,4), %eax | |
| ; X86-NEXT: negl %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_neg10: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: addl %edi, %edi | |
| ; X64-NEXT: leal (%rdi,%rdi,4), %eax | |
| ; X64-NEXT: negl %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, -10 | |
| ret i16 %mul | |
| } | |
| define i16 @test_mul_by_neg36(i16 %x) { | |
| ; X86-LABEL: test_mul_by_neg36: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: shll $2, %eax | |
| ; X86-NEXT: leal (%eax,%eax,8), %eax | |
| ; X86-NEXT: negl %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_by_neg36: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: shll $2, %edi | |
| ; X64-NEXT: leal (%rdi,%rdi,8), %eax | |
| ; X64-NEXT: negl %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, -36 | |
| ret i16 %mul | |
| } | |
| ; (x*9+42)*(x*5+2) | |
| define i16 @test_mul_spec(i16 %x) nounwind { | |
| ; X86-LABEL: test_mul_spec: | |
| ; X86: # %bb.0: | |
| ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax | |
| ; X86-NEXT: leal 42(%eax,%eax,8), %ecx | |
| ; X86-NEXT: leal 2(%eax,%eax,4), %eax | |
| ; X86-NEXT: imull %ecx, %eax | |
| ; X86-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X86-NEXT: retl | |
| ; | |
| ; X64-LABEL: test_mul_spec: | |
| ; X64: # %bb.0: | |
| ; X64-NEXT: # kill: def $edi killed $edi def $rdi | |
| ; X64-NEXT: leal 42(%rdi,%rdi,8), %ecx | |
| ; X64-NEXT: leal 2(%rdi,%rdi,4), %eax | |
| ; X64-NEXT: imull %ecx, %eax | |
| ; X64-NEXT: # kill: def $ax killed $ax killed $eax | |
| ; X64-NEXT: retq | |
| %mul = mul nsw i16 %x, 9 | |
| %add = add nsw i16 %mul, 42 | |
| %mul2 = mul nsw i16 %x, 5 | |
| %add2 = add nsw i16 %mul2, 2 | |
| %mul3 = mul nsw i16 %add, %add2 | |
| ret i16 %mul3 | |
| } |