[SubZero] Generate ELF output for MIPS

tests_lit/assembler/mips32/encoding_test_01.ll

+; Test encoding of MIPS32 arithmetic instructions

[Jim Stichnoth, 2016/08/24 15:37:39]

Can you name the file something more indicative of its content?
e.g. encoding_test_arith.ll

It's probably fine to keep the less descriptive function names within the file.

+
+; 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