| # RUN: llvm-mc %s -triple=csky -show-encoding | FileCheck -check-prefixes=CHECK-ASM %s |
| |
| # CHECK-ASM: addi32 a0, sp, 2 |
| # CHECK-ASM: encoding: [0x0e,0xe4,0x01,0x00] |
| addi32 a0, sp, 2 |
| |
| # CHECK-ASM: subi32 a0, sp, 2 |
| # CHECK-ASM: encoding: [0x0e,0xe4,0x01,0x10] |
| subi32 a0, sp, 2 |
| |
| # CHECK-ASM: andi32 a0, sp, 2 |
| # CHECK-ASM: encoding: [0x0e,0xe4,0x02,0x20] |
| andi32 a0, sp, 2 |
| |
| # CHECK-ASM: andni32 a0, sp, 2 |
| # CHECK-ASM: encoding: [0x0e,0xe4,0x02,0x30] |
| andni32 a0, sp, 2 |
| |
| # CHECK-ASM: xori32 a0, sp, 2 |
| # CHECK-ASM: encoding: [0x0e,0xe4,0x02,0x40] |
| xori32 a0, sp, 2 |
| |
| # CHECK-ASM: lsli32 a0, sp, 2 |
| # CHECK-ASM: encoding: [0x4e,0xc4,0x20,0x48] |
| lsli32 a0, sp, 2 |
| |
| # CHECK-ASM: lsri32 a0, sp, 2 |
| # CHECK-ASM: encoding: [0x4e,0xc4,0x40,0x48] |
| lsri32 a0, sp, 2 |
| |
| # CHECK-ASM: asri32 a0, sp, 2 |
| # CHECK-ASM: encoding: [0x4e,0xc4,0x80,0x48] |
| asri32 a0, sp, 2 |
| |
| # CHECK-ASM: ori32 a0, sp, 2 |
| # CHECK-ASM: encoding: [0x0e,0xec,0x02,0x00] |
| ori32 a0, sp, 2 |
| |
| # CHECK-ASM: rotli32 a0, sp, 2 |
| # CHECK-ASM: encoding: [0x4e,0xc4,0x00,0x49] |
| rotli32 a0, sp, 2 |
| |
| # CHECK-ASM: cmpnei32 a0, 2 |
| # CHECK-ASM: encoding: [0x40,0xeb,0x02,0x00] |
| cmpnei32 a0, 2 |
| |
| # CHECK-ASM: cmphsi32 a0, 2 |
| # CHECK-ASM: encoding: [0x00,0xeb,0x01,0x00] |
| cmphsi32 a0, 2 |
| |
| # CHECK-ASM: cmplti32 a0, 2 |
| # CHECK-ASM: encoding: [0x20,0xeb,0x01,0x00] |
| cmplti32 a0, 2 |
| |
| # CHECK-ASM: movi32 a0, 2 |
| # CHECK-ASM: encoding: [0x00,0xea,0x02,0x00] |
| movi32 a0, 2 |
| |
| # CHECK-ASM: movih32 a0, 2 |
| # CHECK-ASM: encoding: [0x20,0xea,0x02,0x00] |
| movih32 a0, 2 |
| |
| # CHECK-ASM: addu32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x23,0x00] |
| addu32 a3, l0, l1 |
| |
| # CHECK-ASM: subu32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x83,0x00] |
| subu32 a3, l0, l1 |
| |
| # CHECK-ASM: and32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x23,0x20] |
| and32 a3, l0, l1 |
| |
| # CHECK-ASM: andn32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x43,0x20] |
| andn32 a3, l0, l1 |
| |
| # CHECK-ASM: or32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x23,0x24] |
| or32 a3, l0, l1 |
| |
| # CHECK-ASM: xor32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x43,0x24] |
| xor32 a3, l0, l1 |
| |
| # CHECK-ASM: nor32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x83,0x24] |
| nor32 a3, l0, l1 |
| |
| # CHECK-ASM: lsl32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x23,0x40] |
| lsl32 a3, l0, l1 |
| |
| # CHECK-ASM: lsr32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x43,0x40] |
| lsr32 a3, l0, l1 |
| |
| # CHECK-ASM: asr32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x83,0x40] |
| asr32 a3, l0, l1 |
| |
| # CHECK-ASM: mult32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x23,0x84] |
| mult32 a3, l0, l1 |
| |
| # CHECK-ASM: divs32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x43,0x80] |
| divs32 a3, l0, l1 |
| |
| # CHECK-ASM: divu32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x23,0x80] |
| divu32 a3, l0, l1 |
| |
| # CHECK-ASM: ixh32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x23,0x08] |
| ixh32 a3, l0, l1 |
| |
| # CHECK-ASM: ixw32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x43,0x08] |
| ixw32 a3, l0, l1 |
| |
| # CHECK-ASM: ixd32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x83,0x08] |
| ixd32 a3, l0, l1 |
| |
| # CHECK-ASM: addc32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x43,0x00] |
| addc32 a3, l0, l1 |
| |
| # CHECK-ASM: subc32 a3, l0, l1 |
| # CHECK-ASM: encoding: [0xa4,0xc4,0x03,0x01] |
| subc32 a3, l0, l1 |
| |
| # CHECK-ASM: ld32.b a0, (sp, 2) |
| # CHECK-ASM: encoding: [0x0e,0xd8,0x02,0x00] |
| ld32.b a0, (sp, 2) |
| |
| # CHECK-ASM: ld32.bs a0, (sp, 2) |
| # CHECK-ASM: encoding: [0x0e,0xd8,0x02,0x40] |
| ld32.bs a0, (sp, 2) |
| |
| # CHECK-ASM: ld32.h a0, (sp, 2) |
| # CHECK-ASM: encoding: [0x0e,0xd8,0x01,0x10] |
| ld32.h a0, (sp, 2) |
| |
| # CHECK-ASM: ld32.hs a0, (sp, 2) |
| # CHECK-ASM: encoding: [0x0e,0xd8,0x01,0x50] |
| ld32.hs a0, (sp, 2) |
| |
| # CHECK-ASM: ld32.w a0, (sp, 4) |
| # CHECK-ASM: encoding: [0x0e,0xd8,0x01,0x20] |
| ld32.w a0, (sp, 4) |
| |
| # CHECK-ASM: ldr32.b a0, (sp, l1 << 2) |
| # CHECK-ASM: encoding: [0xae,0xd0,0x80,0x00] |
| ldr32.b a0, (sp, l1 << 2) |
| |
| # CHECK-ASM: ldr32.bs a0, (sp, l1 << 2) |
| # CHECK-ASM: encoding: [0xae,0xd0,0x80,0x10] |
| ldr32.bs a0, (sp, l1 << 2) |
| |
| # CHECK-ASM: ldr32.h a0, (sp, l1 << 3) |
| # CHECK-ASM: encoding: [0xae,0xd0,0x00,0x05] |
| ldr32.h a0, (sp, l1 << 3) |
| |
| # CHECK-ASM: ldr32.hs a0, (sp, l1 << 3) |
| # CHECK-ASM: encoding: [0xae,0xd0,0x00,0x15] |
| ldr32.hs a0, (sp, l1 << 3) |
| |
| # CHECK-ASM: ldr32.w a0, (sp, l1 << 3) |
| # CHECK-ASM: encoding: [0xae,0xd0,0x00,0x09] |
| ldr32.w a0, (sp, l1 << 3) |
| |
| # CHECK-ASM: st32.b a0, (sp, 2) |
| # CHECK-ASM: encoding: [0x0e,0xdc,0x02,0x00] |
| st32.b a0, (sp, 2) |
| |
| # CHECK-ASM: st32.h a0, (sp, 2) |
| # CHECK-ASM: encoding: [0x0e,0xdc,0x01,0x10] |
| st32.h a0, (sp, 2) |
| |
| # CHECK-ASM: st32.w a0, (sp, 4) |
| # CHECK-ASM: encoding: [0x0e,0xdc,0x01,0x20] |
| st32.w a0, (sp, 4) |
| |
| # CHECK-ASM: str32.b a0, (sp, l1 << 2) |
| # CHECK-ASM: encoding: [0xae,0xd4,0x80,0x00] |
| str32.b a0, (sp, l1 << 2) |
| |
| # CHECK-ASM: str32.h a0, (sp, l1 << 3) |
| # CHECK-ASM: encoding: [0xae,0xd4,0x00,0x05] |
| str32.h a0, (sp, l1 << 3) |
| |
| # CHECK-ASM: str32.w a0, (sp, l1 << 3) |
| # CHECK-ASM: encoding: [0xae,0xd4,0x00,0x09] |
| str32.w a0, (sp, l1 << 3) |
| |
| # CHECK-ASM: not32 a3, l0 |
| # CHECK-ASM: encoding: [0x84,0xc4,0x83,0x24] |
| not32 a3, l0 |
| |
| # CHECK-ASM: mov32 a3, l0 |
| # CHECK-ASM: encoding: [0x04,0xc4,0x23,0x48] |
| mov32 a3, l0 |
| |
| # CHECK-ASM: movt32 a3, l0 |
| # CHECK-ASM: encoding: [0x64,0xc4,0x40,0x0c] |
| movt32 a3, l0 |
| |
| # CHECK-ASM: movf32 a3, l0 |
| # CHECK-ASM: encoding: [0x64,0xc4,0x20,0x0c] |
| movf32 a3, l0 |
| |
| # CHECK-ASM: mvc32 a3 |
| # CHECK-ASM: encoding: [0x00,0xc4,0x03,0x05] |
| mvc32 a3 |
| |
| # CHECK-ASM: mvcv32 a3 |
| # CHECK-ASM: encoding: [0x00,0xc4,0x03,0x06] |
| mvcv32 a3 |
| |
| # CHECK-ASM: cmpne32 a3, l0 |
| # CHECK-ASM: encoding: [0x83,0xc4,0x80,0x04] |
| cmpne32 a3, l0 |
| |
| # CHECK-ASM: cmphs32 a3, l0 |
| # CHECK-ASM: encoding: [0x83,0xc4,0x20,0x04] |
| cmphs32 a3, l0 |
| |
| # CHECK-ASM: cmplt32 a3, l0 |
| # CHECK-ASM: encoding: [0x83,0xc4,0x40,0x04] |
| cmplt32 a3, l0 |
| |
| # CHECK-ASM: zext32 a3, l0, 7, 0 |
| # CHECK-ASM: encoding: [0x04,0xc4,0xe3,0x54] |
| zext32 a3, l0, 7, 0 |
| |
| # CHECK-ASM: sext32 a3, l0, 7, 0 |
| # CHECK-ASM: encoding: [0x04,0xc4,0xe3,0x58] |
| sext32 a3, l0, 7, 0 |
| |
| # CHECK-ASM: br32 .L.test |
| # CHECK-ASM: encoding: [A,0xe8'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test, kind: fixup_csky_pcrel_imm16_scale2 |
| .L.test: |
| br32 .L.test |
| |
| # CHECK-ASM: bt32 .L.test2 |
| # CHECK-ASM: encoding: [0x60'A',0xe8'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test2, kind: fixup_csky_pcrel_imm16_scale2 |
| .L.test2: |
| bt32 .L.test2 |
| |
| # CHECK-ASM: bf32 .L.test3 |
| # CHECK-ASM: encoding: [0x40'A',0xe8'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test3, kind: fixup_csky_pcrel_imm16_scale2 |
| .L.test3: |
| bf32 .L.test3 |
| |
| # CHECK-ASM: bez32 a0, .L.test4 |
| # CHECK-ASM: encoding: [A,0xe9'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test4, kind: fixup_csky_pcrel_imm16_scale2 |
| .L.test4: |
| bez32 a0, .L.test4 |
| |
| # CHECK-ASM: bnez32 a0, .L.test5 |
| # CHECK-ASM: encoding: [0x20'A',0xe9'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test5, kind: fixup_csky_pcrel_imm16_scale2 |
| .L.test5: |
| bnez32 a0, .L.test5 |
| |
| # CHECK-ASM: bhz32 a0, .L.test6 |
| # CHECK-ASM: encoding: [0x40'A',0xe9'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test6, kind: fixup_csky_pcrel_imm16_scale2 |
| .L.test6: |
| bhz32 a0, .L.test6 |
| |
| # CHECK-ASM: blsz32 a0, .L.test7 |
| # CHECK-ASM: encoding: [0x60'A',0xe9'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test7, kind: fixup_csky_pcrel_imm16_scale2 |
| .L.test7: |
| blsz32 a0, .L.test7 |
| |
| # CHECK-ASM: blz32 a0, .L.test8 |
| # CHECK-ASM: encoding: [0x80'A',0xe9'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test8, kind: fixup_csky_pcrel_imm16_scale2 |
| .L.test8: |
| blz32 a0, .L.test8 |
| |
| # CHECK-ASM: bhsz32 a0, .L.test9 |
| # CHECK-ASM: encoding: [0xa0'A',0xe9'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test9, kind: fixup_csky_pcrel_imm16_scale2 |
| .L.test9: |
| bhsz32 a0, .L.test9 |
| |
| # CHECK-ASM: jmp32 a3 |
| # CHECK-ASM: encoding: [0xc3,0xe8,0x00,0x00] |
| jmp32 a3 |
| |
| # CHECK-ASM: jmpi32 .L.test10 |
| # CHECK-ASM: encoding: [0xc0'A',0xea'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test10, kind: fixup_csky_pcrel_uimm16_scale4 |
| .L.test10: |
| jmpi32 [.L.test10] |
| |
| # CHECK-ASM: bsr32 .L.test11 |
| # CHECK-ASM: encoding: [A,0xe0'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test11, kind: fixup_csky_pcrel_imm26_scale2 |
| .L.test11: |
| bsr32 .L.test11 |
| |
| # CHECK-ASM: jsr32 a3 |
| # CHECK-ASM: encoding: [0xe3,0xe8,0x00,0x00] |
| jsr32 a3 |
| |
| # CHECK-ASM: jsri32 .L.test12 |
| # CHECK-ASM: encoding: [0xe0'A',0xea'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test12, kind: fixup_csky_pcrel_uimm16_scale4 |
| .L.test12: |
| jsri32 [.L.test12] |
| |
| # CHECK-ASM: rts32 |
| # CHECK-ASM: encoding: [0xcf,0xe8,0x00,0x00] |
| rts32 |
| |
| # CHECK-ASM: grs32 a0, .L.test13 |
| # CHECK-ASM: encoding: [0x0c'A',0xcc'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test13, kind: fixup_csky_pcrel_imm18_scale2 |
| .L.test13: |
| grs32 a0, .L.test13 |
| |
| # CHECK-ASM: lrw32 a0, .L.test14 |
| # CHECK-ASM: encoding: [0x80'A',0xea'A',A,A] |
| # CHECK-ASM: fixup A - offset: 0, value: .L.test14, kind: fixup_csky_pcrel_uimm16_scale4 |
| .L.test14: |
| lrw32 a0, [.L.test14] |
| |
| # RUN: not llvm-mc -triple csky --defsym=ERR=1 < %s 2>&1 | FileCheck %s |
| |
| .ifdef ERR |
| |
| # uimm12/oimm12/nimm12 |
| addi32 a0, a0, 0 # CHECK: :[[#@LINE]]:16: error: immediate must be an integer in the range [1, 4096] |
| subi32 a0, a0, 4097 # CHECK: :[[#@LINE]]:16: error: immediate must be an integer in the range [1, 4096] |
| andi32 a0, a0, 4096 # CHECK: :[[#@LINE]]:16: error: immediate must be an integer in the range [0, 4095] |
| andni32 a0, a0, 4096 # CHECK: :[[#@LINE]]:17: error: immediate must be an integer in the range [0, 4095] |
| xori32 a0, a0, 4096 # CHECK: :[[#@LINE]]:16: error: immediate must be an integer in the range [0, 4095] |
| |
| |
| # uimm5 |
| lsli32 a0, a0, 32 # CHECK: :[[#@LINE]]:16: error: immediate must be an integer in the range [0, 31] |
| lsri32 a0, a0, 32 # CHECK: :[[#@LINE]]:16: error: immediate must be an integer in the range [0, 31] |
| asri32 a0, a0, 32 # CHECK: :[[#@LINE]]:16: error: immediate must be an integer in the range [0, 31] |
| rotli32 a0, a0, 32 # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 31] |
| |
| # uimm12(shift0)/uimm12_1/uimm12_2 |
| ld32.b a0, (a0, -1) # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 4095] |
| ld32.h a0, (a0, 4095) # CHECK: :[[@LINE]]:17: error: immediate must be a multiple of 2 bytes in the range [0, 4094] |
| ld32.h a0, (a0, 4093) # CHECK: :[[@LINE]]:17: error: immediate must be a multiple of 2 bytes in the range [0, 4094] |
| ld32.w a0, (a0, 4093) # CHECK: :[[@LINE]]:17: error: immediate must be a multiple of 4 bytes in the range [0, 4092] |
| ld32.w a0, (a0, 2) # CHECK: :[[@LINE]]:17: error: immediate must be a multiple of 4 bytes in the range [0, 4092] |
| ldr32.b a0, (a0, a1 << 4) # CHECK: :[[@LINE]]:24: error: immediate must be an integer in the range [0, 3] |
| ldr32.bs a0, (a0, a1 << 4) # CHECK: :[[@LINE]]:25: error: immediate must be an integer in the range [0, 3] |
| ldr32.h a0, (a0, a1 << -1) # CHECK: :[[@LINE]]:24: error: immediate must be an integer in the range [0, 3] |
| ldr32.hs a0, (a0, a1 << 4) # CHECK: :[[@LINE]]:25: error: immediate must be an integer in the range [0, 3] |
| ldr32.w a0, (a0, a1 << 4) # CHECK: :[[@LINE]]:24: error: immediate must be an integer in the range [0, 3] |
| |
| st32.b a0, (a0, -1) # CHECK: :[[@LINE]]:17: error: immediate must be an integer in the range [0, 4095] |
| st32.h a0, (a0, 4095) # CHECK: :[[@LINE]]:17: error: immediate must be a multiple of 2 bytes in the range [0, 4094] |
| st32.h a0, (a0, 4093) # CHECK: :[[@LINE]]:17: error: immediate must be a multiple of 2 bytes in the range [0, 4094] |
| st32.w a0, (a0, 4093) # CHECK: :[[@LINE]]:17: error: immediate must be a multiple of 4 bytes in the range [0, 4092] |
| st32.w a0, (a0, 2) # CHECK: :[[@LINE]]:17: error: immediate must be a multiple of 4 bytes in the range [0, 4092] |
| |
| str32.b a0, (a0, a1 << 4) # CHECK: :[[@LINE]]:24: error: immediate must be an integer in the range [0, 3] |
| str32.h a0, (a0, a1 << -1) # CHECK: :[[@LINE]]:24: error: immediate must be an integer in the range [0, 3] |
| str32.w a0, (a0, a1 << 4) # CHECK: :[[@LINE]]:24: error: immediate must be an integer in the range [0, 3] |
| |
| # uimm16/oimm16 |
| ori32 a0, a0, 0x10000 # CHECK: :[[@LINE]]:15: error: immediate must be an integer in the range [0, 65535] |
| cmpnei32 a0, 0x10000 # CHECK: :[[@LINE]]:14: error: immediate must be an integer in the range [0, 65535] |
| cmphsi32 a0, 0x10001 # CHECK: :[[@LINE]]:14: error: immediate must be an integer in the range [1, 65536] |
| cmplti32 a0, 0 # CHECK: :[[@LINE]]:14: error: immediate must be an integer in the range [1, 65536] |
| movi32 a0, 0x10000 # CHECK: :[[@LINE]]:12: error: immediate must be an integer in the range [0, 65535] |
| movih32 a0, 0x10000 # CHECK: :[[@LINE]]:13: error: immediate must be an integer in the range [0, 65535] |
| |
| # Invalid mnemonics |
| subs t0, t2, t1 # CHECK: :[[#@LINE]]:1: error: unrecognized instruction mnemonic |
| nandi t0, t2, 0 # CHECK: :[[#@LINE]]:1: error: unrecognized instruction mnemonic |
| |
| # Invalid register names |
| addi32 foo, sp, 10 # CHECK: :[[#@LINE]]:8: error: unknown operand |
| lsli32 a10, a2, 0x20 # CHECK: :[[#@LINE]]:8: error: unknown operand |
| asri32 x32, s0, s0 # CHECK: :[[#@LINE]]:8: error: unknown operand |
| |
| # Invalid operand types |
| xori32 sp, 22, 220 # CHECK: :[[#@LINE]]:12: error: invalid operand for instruction |
| subu32 t0, t2, 1 # CHECK: :[[#@LINE]]:16: error: invalid operand for instruction |
| |
| # Too many operands |
| subi32 t2, t3, 0x50, 0x60 # CHECK: :[[@LINE]]:22: error: invalid operand for instruction |
| |
| # Too few operands |
| xori32 a0, a1 # CHECK: :[[#@LINE]]:1: error: too few operands for instruction |
| xor32 a0, a2 # CHECK: :[[#@LINE]]:1: error: too few operands for instruction |
| |
| # Need label |
| br32 0x100 # CHECK: :[[@LINE]]:6: error: operand must be a symbol name |
| jmpi32 0x100 # CHECK: :[[@LINE]]:8: error: operand must be a constpool symbol name |
| bsr32 0x100 # CHECK: :[[@LINE]]:7: error: operand must be a symbol name |
| |
| .endif |