Index: tests_lit/assembler/mips32/encoding_test_branch.ll |
diff --git a/tests_lit/assembler/mips32/encoding_test_branch.ll b/tests_lit/assembler/mips32/encoding_test_branch.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..a26614520d22a3af28520be255a03723cb8fa9cc |
--- /dev/null |
+++ b/tests_lit/assembler/mips32/encoding_test_branch.ll |
@@ -0,0 +1,255 @@ |
+; 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: |