llvm-6502/test/CodeGen/X86/fast-isel-divrem.ll
Tim Northover 15983b80a0 X86: use sub-register sequences for MOV*r0 operations
Instead of having a bunch of separate MOV8r0, MOV16r0, ... pseudo-instructions,
it's better to use a single MOV32r0 (which will expand to "xorl %reg, %reg")
and obtain other sizes with EXTRACT_SUBREG and SUBREG_TO_REG. The encoding is
smaller and partial register updates can sometimes be avoided.

Until recently, this sequence was a barrier to rematerialization though. That
should now be fixed so it's an appropriate time to make the change.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182928 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-30 13:19:42 +00:00

123 lines
2.4 KiB
LLVM

; RUN: llc -mtriple=x86_64-none-linux -fast-isel -fast-isel-abort -verify-machineinstrs < %s | FileCheck %s
; RUN: llc -mtriple=i686-none-linux -fast-isel -fast-isel-abort -verify-machineinstrs < %s | FileCheck %s
define i8 @test_sdiv8(i8 %dividend, i8 %divisor) nounwind {
entry:
%result = sdiv i8 %dividend, %divisor
ret i8 %result
}
; CHECK: test_sdiv8:
; CHECK: movsbw
; CHECK: idivb
define i8 @test_srem8(i8 %dividend, i8 %divisor) nounwind {
entry:
%result = srem i8 %dividend, %divisor
ret i8 %result
}
; CHECK: test_srem8:
; CHECK: movsbw
; CHECK: idivb
define i8 @test_udiv8(i8 %dividend, i8 %divisor) nounwind {
entry:
%result = udiv i8 %dividend, %divisor
ret i8 %result
}
; CHECK: test_udiv8:
; CHECK: movzbw
; CHECK: divb
define i8 @test_urem8(i8 %dividend, i8 %divisor) nounwind {
entry:
%result = urem i8 %dividend, %divisor
ret i8 %result
}
; CHECK: test_urem8:
; CHECK: movzbw
; CHECK: divb
define i16 @test_sdiv16(i16 %dividend, i16 %divisor) nounwind {
entry:
%result = sdiv i16 %dividend, %divisor
ret i16 %result
}
; CHECK: test_sdiv16:
; CHECK: cwtd
; CHECK: idivw
define i16 @test_srem16(i16 %dividend, i16 %divisor) nounwind {
entry:
%result = srem i16 %dividend, %divisor
ret i16 %result
}
; CHECK: test_srem16:
; CHECK: cwtd
; CHECK: idivw
define i16 @test_udiv16(i16 %dividend, i16 %divisor) nounwind {
entry:
%result = udiv i16 %dividend, %divisor
ret i16 %result
}
; CHECK: test_udiv16:
; CHECK: xorl
; CHECK: divw
define i16 @test_urem16(i16 %dividend, i16 %divisor) nounwind {
entry:
%result = urem i16 %dividend, %divisor
ret i16 %result
}
; CHECK: test_urem16:
; CHECK: xorl
; CHECK: divw
define i32 @test_sdiv32(i32 %dividend, i32 %divisor) nounwind {
entry:
%result = sdiv i32 %dividend, %divisor
ret i32 %result
}
; CHECK: test_sdiv32:
; CHECK: cltd
; CHECK: idivl
define i32 @test_srem32(i32 %dividend, i32 %divisor) nounwind {
entry:
%result = srem i32 %dividend, %divisor
ret i32 %result
}
; CHECK: test_srem32:
; CHECK: cltd
; CHECK: idivl
define i32 @test_udiv32(i32 %dividend, i32 %divisor) nounwind {
entry:
%result = udiv i32 %dividend, %divisor
ret i32 %result
}
; CHECK: test_udiv32:
; CHECK: xorl
; CHECK: divl
define i32 @test_urem32(i32 %dividend, i32 %divisor) nounwind {
entry:
%result = urem i32 %dividend, %divisor
ret i32 %result
}
; CHECK: test_urem32:
; CHECK: xorl
; CHECK: divl