tests_lit/assembler/mips32/encoding_test_arith.ll

; 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 --skip-unimplemented \
; 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 --skip-unimplemented \
; 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 --skip-unimplemented \
; 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 --skip-unimplemented \
; 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:	# $zero = def.pseudo
; ASM-NEXT:	addiu	$v0, $zero, 1
; ASM-NEXT:	addu	$a0, $a0, $v0
; ASM-NEXT:	# $zero = def.pseudo
; ASM-NEXT:	addiu	$v0, $zero, 1
; ASM-NEXT:	and	$a0, $a0, $v0
; ASM-NEXT:	# $zero = def.pseudo
; ASM-NEXT:	addiu	$v0, $zero, 1
; ASM-NEXT:	or	$a0, $a0, $v0
; ASM-NEXT:	# $zero = def.pseudo
; ASM-NEXT:	addiu	$v0, $zero, 1
; ASM-NEXT:	xor	$a0, $a0, $v0
; ASM-NEXT:	move	$v0, $a0
; ASM-NEXT:	jr	$ra

; DIS-LABEL:00000000 <test_01>:
; DIS-NEXT:   0:   24020001	li	v0,1
; DIS-NEXT:   4:   00822021	addu	a0,a0,v0
; DIS-NEXT:   8:   24020001	li	v0,1
; DIS-NEXT:   c:   00822024	and	a0,a0,v0
; DIS-NEXT:  10:   24020001	li	v0,1
; DIS-NEXT:  14:   00822025	or	a0,a0,v0
; DIS-NEXT:  18:   24020001	li	v0,1
; DIS-NEXT:  1c:   00822026	xor	a0,a0,v0
; DIS-NEXT:  20:   00801021	move	v0,a0
; DIS-NEXT:  24:   03e00008	jr	ra
; DIS-NEXT:  28:   00000000	nop

; IASM-LABEL: test_01:
; IASM-LABEL: .Ltest_01$__0:
; IASM-NEXT:	.byte 0x1
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x2
; IASM-NEXT:	.byte 0x24
; IASM-NEXT:	.byte 0x21
; IASM-NEXT:	.byte 0x20
; IASM-NEXT:	.byte 0x82
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x1
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x2
; IASM-NEXT:	.byte 0x24
; IASM-NEXT:	.byte 0x24
; IASM-NEXT:	.byte 0x20
; IASM-NEXT:	.byte 0x82
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x1
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x2
; IASM-NEXT:	.byte 0x24
; IASM-NEXT:	.byte 0x25
; IASM-NEXT:	.byte 0x20
; IASM-NEXT:	.byte 0x82
; IASM-NEXT:	.byte 0x0
; IASM-NEXT:	.byte 0x1
; 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 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:00000030 <test_02>:
; DIS-NEXT:  30:   24020009	li	v0,9
; DIS-NEXT:  34:   00822026	xor	a0,a0,v0
; DIS-NEXT:  38:   2c840001	sltiu	a0,a0,1
; DIS-NEXT:  3c:   30840001	andi	a0,a0,0x1
; DIS-NEXT:  40:   00801021	move	v0,a0
; DIS-NEXT:  44:   03e00008	jr	ra
; DIS-NEXT:  48:   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