third_party/subzero/tests_lit/llvm2ice_tests/sdiv.ll

; This checks the correctness of the lowering code for the small
; integer variants of sdiv and srem.

; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 | FileCheck %s
; RUN: %p2i -i %s --filetype=obj --disassemble --args -Om1 | FileCheck %s

; RUN: %if --need=target_MIPS32 --need=allow_dump \
; RUN:   --command %p2i --filetype=asm --assemble --disassemble --target \
; RUN:   mips32 -i %s --args -O2 -allow-externally-defined-symbols \
; RUN:   | %if --need=target_MIPS32 --need=allow_dump \
; RUN:   --command FileCheck --check-prefix MIPS32 %s

define internal i32 @sdiv_i8(i32 %a.i32, i32 %b.i32) {
entry:
  %a = trunc i32 %a.i32 to i8
  %b = trunc i32 %b.i32 to i8
  %res = sdiv i8 %a, %b
  %res.i32 = zext i8 %res to i32
  ret i32 %res.i32
; CHECK-LABEL: sdiv_i8
; CHECK: cbw
; CHECK: idiv
; MIPS32-LABEL: sdiv_i8
; MIPS32: 	div
; MIPS32: 	teq
; MIPS32: 	mflo
; MIPS32: 	andi	{{.*}},0xff
}

define internal i32 @sdiv_i16(i32 %a.i32, i32 %b.i32) {
entry:
  %a = trunc i32 %a.i32 to i16
  %b = trunc i32 %b.i32 to i16
  %res = sdiv i16 %a, %b
  %res.i32 = zext i16 %res to i32
  ret i32 %res.i32
; CHECK-LABEL: sdiv_i16
; CHECK: cwd
; CHECK: idiv
; MIPS32-LABEL: sdiv_i16
; MIPS32: 	div
; MIPS32: 	teq
; MIPS32: 	mflo
; MIPS32: 	andi	{{.*}},0xffff
}

define internal i32 @sdiv_i32(i32 %a, i32 %b) {
entry:
  %res = sdiv i32 %a, %b
  ret i32 %res
; CHECK-LABEL: sdiv_i32
; CHECK: cdq
; CHECK: idiv
; MIPS32-LABEL: sdiv_i32
; MIPS32: 	div
; MIPS32: 	teq
; MIPS32: 	mflo
}

define internal i32 @srem_i8(i32 %a.i32, i32 %b.i32) {
entry:
  %a = trunc i32 %a.i32 to i8
  %b = trunc i32 %b.i32 to i8
  %res = srem i8 %a, %b
  %res.i32 = zext i8 %res to i32
  ret i32 %res.i32
; CHECK-LABEL: srem_i8
; CHECK: cbw
; CHECK: idiv
; MIPS32-LABEL: srem_i8
; MIPS32: 	div
; MIPS32: 	teq
; MIPS32: 	mfhi
; MIPS32: 	andi	{{.*}},0xff
}

define internal i32 @srem_i16(i32 %a.i32, i32 %b.i32) {
entry:
  %a = trunc i32 %a.i32 to i16
  %b = trunc i32 %b.i32 to i16
  %res = srem i16 %a, %b
  %res.i32 = zext i16 %res to i32
  ret i32 %res.i32
; CHECK-LABEL: srem_i16
; CHECK: cwd
; CHECK: idiv
; MIPS32-LABEL: srem_i16
; MIPS32: 	div
; MIPS32: 	teq
; MIPS32: 	mfhi
; MIPS32: 	andi	{{.*}},0xffff
}

define internal i32 @srem_i32(i32 %a, i32 %b) {
entry:
  %res = srem i32 %a, %b
  ret i32 %res
; CHECK-LABEL: srem_i32
; CHECK: cdq
; CHECK: idiv
; MIPS32-LABEL: srem_i32
; MIPS32: 	div
; MIPS32: 	teq
; MIPS32: 	mfhi
}