Chromium Code Reviews Chromium Code Reviews
Issue 2259983004:
[SubZero] Generate ELF output for MIPS (Closed)
Base URL: https://chromium.googlesource.com/native_client/pnacl-subzero.git@master| Index: tests_lit/assembler/mips32/encoding_test_01.ll |
| diff --git a/tests_lit/assembler/mips32/encoding_test_01.ll b/tests_lit/assembler/mips32/encoding_test_01.ll |
| new file mode 100644 |
| index 0000000000000000000000000000000000000000..7df1d49de4ccb1f6b4aea0ab112cd3c81c966ea6 |
| --- /dev/null |
| +++ b/tests_lit/assembler/mips32/encoding_test_01.ll |
| @@ -0,0 +1,164 @@ |
| +; Test encoding of MIPS32 arithmetic instructions |
|
Jim Stichnoth
2016/08/24 15:37:39
Can you name the file something more indicative of
|
| + |
| +; 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 |
