[SubZero] Generate ELF output for MIPS

tests_lit/assembler/mips32/encoding_test_02.ll

+; Test encoding of MIPS32 branch 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 void @test_01(i32 %a) {
+  %cmp = icmp eq i32 %a, 1
+  br i1 %cmp, label %then, label %else
+then:
+  br label %end
+else:
+  br label %end
+end:
+  ret void
+}
+
+; ASM-LABEL: test_01:
+; ASM-LABEL: .Ltest_01$__0:
+; ASM-NEXT:     # $zero = def.pseudo
+; ASM-NEXT:     addiu   $v0, $zero, 1
+; ASM-NEXT:     bne     $a0, $v0, .Ltest_01$end
+; ASM-LABEL: .Ltest_01$end:
+; ASM-NEXT:     jr      $ra
+; ASM-LABEL: .Ltest_01$then:
+; ASM-LABEL: .Ltest_01$else:
+
+; DIS-LABEL:00000000 <test_01>:
+; DIS-NEXT:   0:   24020001     li      v0,1
+; DIS-NEXT:   4:   14820001     bne     a0,v0,c <.Ltest_01$end>
+; DIS-NEXT:   8:   00000000     nop
+; DIS-LABEL:0000000c <.Ltest_01$end>:
+; DIS-NEXT:   c:   03e00008     jr      ra
+; DIS-NEXT:  10:   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 0x1
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x82
+; IASM-NEXT:    .byte 0x14
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-LABEL: .Ltest_01$end:
+; 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
+; IASM-LABEL: .Ltest_01$then:
+; IASM-LABEL: .Ltest_01$else:
+
+define internal void @test_02(i32 %a) {
+  %cmp = icmp ne i32 %a, 2
+  br i1 %cmp, label %then, label %else
+then:
+  br label %end
+else:
+  br label %end
+end:
+  ret void
+}
+
+; ASM-LABEL: test_02:
+; ASM-LABEL: .Ltest_02$__0:
+; ASM-NEXT:     # $zero = def.pseudo
+; ASM-NEXT:     addiu   $v0, $zero, 2
+; ASM-NEXT:     beq     $a0, $v0, .Ltest_02$end
+; ASM-LABEL: .Ltest_02$end:
+; ASM-NEXT:     jr      $ra
+; ASM-LABEL: .Ltest_02$then:
+; ASM-LABEL: .Ltest_02$else:
+
+; DIS-LABEL:00000020 <test_02>:
+; DIS-NEXT:  20:   24020002     li      v0,2
+; DIS-NEXT:  24:   10820001     beq     a0,v0,2c <.Ltest_02$end>
+; DIS-NEXT:  28:   00000000     nop
+; DIS-LABEL:0000002c <.Ltest_02$end>:
+; DIS-NEXT:  2c:   03e00008     jr      ra
+; DIS-NEXT:  30:   00000000     nop
+
+; IASM-LABEL: test_02:
+; IASM-LABEL: .Ltest_02$__0:
+; IASM-NEXT:    .byte 0x2
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x2
+; IASM-NEXT:    .byte 0x24
+; IASM-NEXT:    .byte 0x1
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x82
+; IASM-NEXT:    .byte 0x10
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-LABEL: .Ltest_02$end:
+; 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
+; IASM-LABEL: .Ltest_02$then:
+; IASM-LABEL: .Ltest_02$else:
+
+define internal void @test_03(i32 %a) {
+  %cmp = icmp ugt i32 %a, 3
+  br i1 %cmp, label %then, label %else
+then:
+  br label %end
+else:
+  br label %end
+end:
+  ret void
+}
+
+; ASM-LABEL: test_03:
+; ASM-LABEL: .Ltest_03$__0:
+; ASM-NEXT:     # $zero = def.pseudo
+; ASM-NEXT:     addiu   $v0, $zero, 3
+; ASM-NEXT:     sltu    $v0, $v0, $a0
+; ASM-NEXT:     beqz    $v0, .Ltest_03$end
+; ASM-LABEL: .Ltest_03$end:
+; ASM-NEXT:     jr      $ra
+; ASM-LABEL: .Ltest_03$then:
+; ASM-LABEL: .Ltest_03$else:
+
+; DIS-LABEL:00000040 <test_03>:
+; DIS-NEXT:  40:   24020003     li      v0,3
+; DIS-NEXT:  44:   0044102b     sltu    v0,v0,a0
+; DIS-NEXT:  48:   10400001     beqz    v0,50 <.Ltest_03$end>
+; DIS-NEXT:  4c:   00000000     nop
+; DIS-LABEL:00000050 <.Ltest_03$end>:
+; DIS-NEXT:  50:   03e00008     jr      ra
+; DIS-NEXT:  54:   00000000     nop
+
+; IASM-LABEL: test_03:
+; IASM-LABEL: .Ltest_03$__0:
+; IASM-NEXT:    .byte 0x3
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x2
+; IASM-NEXT:    .byte 0x24
+; IASM-NEXT:    .byte 0x2b
+; IASM-NEXT:    .byte 0x10
+; IASM-NEXT:    .byte 0x44
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x1
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x40
+; IASM-NEXT:    .byte 0x10
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-LABEL: .Ltest_03$end:
+; 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
+; IASM-LABEL: .Ltest_03$then:
+; IASM-LABEL: .Ltest_03$else:
+
+define internal void @test_04(i32 %a) {
+  %cmp = icmp uge i32 %a, 4
+  br i1 %cmp, label %then, label %else
+then:
+  br label %end
+else:
+  br label %end
+end:
+  ret void
+}
+
+; ASM-LABEL: test_04:
+; ASM-LABEL: .Ltest_04$__0:
+; ASM-NEXT:     # $zero = def.pseudo
+; ASM-NEXT:     addiu   $v0, $zero, 4
+; ASM-NEXT:     sltu    $a0, $a0, $v0
+; ASM-NEXT:     bnez    $a0, .Ltest_04$end
+; ASM-LABEL: .Ltest_04$end:
+; ASM-NEXT:     jr      $ra
+; ASM-LABEL: .Ltest_04$then:
+; ASM-LABEL: .Ltest_04$else:
+
+; DIS-LABEL:00000060 <test_04>:
+; DIS-NEXT:  60:   24020004     li      v0,4
+; DIS-NEXT:  64:   0082202b     sltu    a0,a0,v0
+; DIS-NEXT:  68:   14800001     bnez    a0,70 <.Ltest_04$end>
+; DIS-NEXT:  6c:   00000000     nop
+; DIS-LABEL:00000070 <.Ltest_04$end>:
+; DIS-NEXT:  70:   03e00008     jr      ra
+; DIS-NEXT:  74:   00000000     nop
+
+; IASM-LABEL: test_04:
+; IASM-LABEL: .Ltest_04$__0:
+; IASM-NEXT:    .byte 0x4
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x2
+; IASM-NEXT:    .byte 0x24
+; IASM-NEXT:    .byte 0x2b
+; IASM-NEXT:    .byte 0x20
+; IASM-NEXT:    .byte 0x82
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x1
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x80
+; IASM-NEXT:    .byte 0x14
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-NEXT:    .byte 0x0
+; IASM-LABEL: .Ltest_04$end:
+; 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
+; IASM-LABEL: .Ltest_04$then:
+; IASM-LABEL: .Ltest_04$else: