; Test encoding of MIPS32 arithmetic instructions

; REQUIRES: allow_dump

; Compile using standalone assembler.
; RUN: %p2i --filetype=asm -i %s --target=mips32 --args -O2 \
; RUN:   --allow-externally-defined-symbols \
; RUN:   | FileCheck %s --check-prefix=ASM

; Show bytes in assembled standalone code.
; RUN: %p2i --filetype=asm -i %s --target=mips32 --assemble --disassemble \
; RUN:   --args -O2 --allow-externally-defined-symbols \
; RUN:   | FileCheck %s --check-prefix=DIS

; Compile using integrated assembler.
; RUN: %p2i --filetype=iasm -i %s --target=mips32 --args -O2 \
; RUN:   --allow-externally-defined-symbols \
; RUN:   | FileCheck %s --check-prefix=IASM

; Show bytes in assembled integrated code.
; RUN: %p2i --filetype=iasm -i %s --target=mips32 --assemble --disassemble \
; RUN:   --args -O2 --allow-externally-defined-symbols \
; RUN:   | FileCheck %s --check-prefix=DIS

define internal i32 @test_01(i32 %a) {
  %v = add i32 %a, 1
  %v1 = and i32 %v, 1
  %v2 = or i32 %v1, 1
  %v3 = xor i32 %v2, 1
  ret i32 %v3
}

; ASM-LABEL: test_01:
; ASM-NEXT: .Ltest_01$__0:
; ASM-NEXT:	addiu	$a0, $a0, 1
; ASM-NEXT:	andi	$a0, $a0, 1
; ASM-NEXT:	ori	$a0, $a0, 1
; ASM-NEXT:	xori	$a0, $a0, 1
; ASM-NEXT:	move	$v0, $a0
; ASM-NEXT:	jr	$ra

; DIS-LABEL:00000000 <test_01>:
; DIS-NEXT:   0:	24840001 	addiu	a0,a0,1
; DIS-NEXT:   4:	30840001 	andi	a0,a0,0x1
; DIS-NEXT:   8:	34840001 	ori	a0,a0,0x1
; DIS-NEXT:   c:	38840001 	xori	a0,a0,0x1
; DIS-NEXT:  10:	00801021 	move	v0,a0
; DIS-NEXT:  14:	03e00008 	jr	ra
; DIS-NEXT:  18:	00000000 	nop

; IASM-LABEL: test_01:
; IASM-LABEL: .Ltest_01$__0:
; IASM-NEXT:	.byte 0x1
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x84
; IASM-NEXT:	.byte 0x24
; IASM-NEXT:	.byte 0x1
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x84
; IASM-NEXT:	.byte 0x30
; IASM-NEXT:	.byte 0x1
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x84
; IASM-NEXT:	.byte 0x34
; IASM-NEXT:	.byte 0x1
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x84
; IASM-NEXT:	.byte 0x38
; IASM-NEXT:	.byte 0x21
; IASM-NEXT:	.byte 0x10
; IASM-NEXT:	.byte 0x80
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x8
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0xe0
; IASM-NEXT:	.byte 0x3
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x0

define internal i32 @test_02(i32 %a) {
  %cmp = icmp eq i32 %a, 9
  %cmp.ret_ext = zext i1 %cmp to i32
  ret i32 %cmp.ret_ext
}

; ASM-LABEL: test_02:
; ASM-NEXT: .Ltest_02$__0:
; ASM-NEXT:	# $zero = def.pseudo
; ASM-NEXT:	addiu	$v0, $zero, 9
; ASM-NEXT:	xor	$a0, $a0, $v0
; ASM-NEXT:	sltiu	$a0, $a0, 1
; ASM-NEXT:	andi	$a0, $a0, 1
; ASM-NEXT:	move	$v0, $a0
; ASM-NEXT:	jr	$ra

; DIS-LABEL:00000020 <test_02>:
; DIS-NEXT:   20:	24020009 	li	v0,9
; DIS-NEXT:   24:	00822026 	xor	a0,a0,v0
; DIS-NEXT:   28:	2c840001 	sltiu	a0,a0,1
; DIS-NEXT:   2c:	30840001 	andi	a0,a0,0x1
; DIS-NEXT:   30:	00801021 	move	v0,a0
; DIS-NEXT:   34:	03e00008 	jr	ra
; DIS-NEXT:   38:	00000000 	nop

; IASM-LABEL: test_02:
; IASM-LABEL: .Ltest_02$__0:
; IASM-NEXT:	.byte 0x9
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x2
; IASM-NEXT:	.byte 0x24
; IASM-NEXT:	.byte 0x26
; IASM-NEXT:	.byte 0x20
; IASM-NEXT:	.byte 0x82
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x1
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x84
; IASM-NEXT:	.byte 0x2c
; IASM-NEXT:	.byte 0x1
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x84
; IASM-NEXT:	.byte 0x30
; IASM-NEXT:	.byte 0x21
; IASM-NEXT:	.byte 0x10
; IASM-NEXT:	.byte 0x80
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x8
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0xe0
; IASM-NEXT:	.byte 0x3
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x0

define internal i32 @ashrImm(i32 %val, i32 %shift) {
entry:
  %result = ashr i32 %val, %shift
  ret i32 %result
}

; ASM-LABEL: ashrImm:
; ASM-NEXT: .LashrImm$entry:
; ASM-NEXT: 	srav	$a0, $a0, $a1
; ASM-NEXT: 	move	$v0, $a0
; ASM-NEXT: 	jr	$ra

; DIS-LABEL: <ashrImm>:
; DIS-NEXT:  00a42007 	srav	a0,a0,a1
; DIS-NEXT:  00801021 	move	v0,a0
; DIS-NEXT:  03e00008 	jr	ra

; IASM-LABEL: ashrImm:
; IASM-NEXT: .LashrImm$entry:
; IASM-NEXT:	.byte 0x7
; IASM-NEXT:	.byte 0x20
; IASM-NEXT:	.byte 0xa4
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x21
; IASM-NEXT:	.byte 0x10
; IASM-NEXT:	.byte 0x80
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x8
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0xe0
; IASM-NEXT:	.byte 0x3
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x0