# RUN: llvm-mc -triple mblaze-unknown-unknown -show-encoding %s | FileCheck %s

# Test to make sure that all of the TYPE-B instructions supported by
# the Microblaze can be parsed by the assembly parser.

# TYPE B:   OPCODE RD    RA    IMMEDIATE
#           000000 00000 00000 0000000000000000

# CHECK:    addi
# BINARY:   001000 00001 00010 0000000000001111
# CHECK:    encoding: [0x20,0x22,0x00,0x0f]
            addi    r1, r2, 0x000F

# CHECK:    addic
# BINARY:   001010 00001 00010 0000000000001111
# CHECK:    encoding: [0x28,0x22,0x00,0x0f]
            addic   r1, r2, 0x000F

# CHECK:    addik
# BINARY:   001100 00001 00010 0000000000001111
# CHECK:    encoding: [0x30,0x22,0x00,0x0f]
            addik   r1, r2, 0x000F

# CHECK:    addikc
# BINARY:   001110 00001 00010 0000000000001111
# CHECK:    encoding: [0x38,0x22,0x00,0x0f]
            addikc  r1, r2, 0x000F

# CHECK:    andi
# BINARY:   101001 00001 00010 0000000000001111
# CHECK:    encoding: [0xa4,0x22,0x00,0x0f]
            andi    r1, r2, 0x000F

# CHECK:    andni
# BINARY:   101011 00001 00010 0000000000001111
# CHECK:    encoding: [0xac,0x22,0x00,0x0f]
            andni   r1, r2, 0x000F

# CHECK:    muli
# BINARY:   011000 00001 00010 0000000000001111
# CHECK:    encoding: [0x60,0x22,0x00,0x0f]
            muli    r1, r2, 0x000F

# CHECK:    ori
# BINARY:   101000 00001 00010 0000000000001111
# CHECK:    encoding: [0xa0,0x22,0x00,0x0f]
            ori     r1, r2, 0x000F

# CHECK:    rsubi
# BINARY:   001001 00001 00010 0000000000001111
# CHECK:    encoding: [0x24,0x22,0x00,0x0f]
            rsubi   r1, r2, 0x000F

# CHECK:    rsubic
# BINARY:   001011 00001 00010 0000000000001111
# CHECK:    encoding: [0x2c,0x22,0x00,0x0f]
            rsubic  r1, r2, 0x000F

# CHECK:    rsubik
# BINARY:   001101 00001 00010 0000000000001111
# CHECK:    encoding: [0x34,0x22,0x00,0x0f]
            rsubik  r1, r2, 0x000F

# CHECK:    rsubikc
# BINARY:   001111 00001 00010 0000000000001111
# CHECK:    encoding: [0x3c,0x22,0x00,0x0f]
            rsubikc r1, r2, 0x000F

# CHECK:    rtbd
# BINARY:   101101 10010 01111 0000000000001111
# CHECK:    encoding: [0xb6,0x4f,0x00,0x0f]
            rtbd r15, 0x000F

# CHECK:    rted
# BINARY:   101101 10001 01111 0000000000001111
# CHECK:    encoding: [0xb6,0x8f,0x00,0x0f]
            rted r15, 0x000F

# CHECK:    rtid
# BINARY:   101101 10001 01111 0000000000001111
# CHECK:    encoding: [0xb6,0x2f,0x00,0x0f]
            rtid r15, 0x000F

# CHECK:    rtsd
# BINARY:   101101 10000 01111 0000000000001111
# CHECK:    encoding: [0xb6,0x0f,0x00,0x0f]
            rtsd r15, 0x000F

# CHECK:    xori
# BINARY:   101010 00001 00010 0000000000001111
# CHECK:    encoding: [0xa8,0x22,0x00,0x0f]
            xori r1, r2, 0x000F