# RUN: llvm-mc -triple mblaze-unknown-unknown -show-encoding %s | FileCheck %s # In the microblaze instruction set, any TYPE-B instruction with a # signed immediate value requiring more than 16-bits must be prefixed # with an IMM instruction that contains the high 16-bits. The higher # 16-bits are then combined with the lower 16-bits in the original # instruction to form a 32-bit immediate value. # # The generation of IMM instructions is handled automatically by the # code emitter. Test to ensure that IMM instructions are generated # when they are suppose to and are not generated when they are not # needed. # CHECK: addi # BINARY: 001000 00000 00000 0000000000000000 # CHECK: encoding: [0x20,0x00,0x00,0x00] addi r0, r0, 0x00000000 # CHECK: addi # BINARY: 001000 00000 00000 0000000000000001 # CHECK: encoding: [0x20,0x00,0x00,0x01] addi r0, r0, 0x00000001 # CHECK: addi # BINARY: 001000 00000 00000 0000000000000010 # CHECK: encoding: [0x20,0x00,0x00,0x02] addi r0, r0, 0x00000002 # CHECK: addi # BINARY: 001000 00000 00000 0000000000000100 # CHECK: encoding: [0x20,0x00,0x00,0x04] addi r0, r0, 0x00000004 # CHECK: addi # BINARY: 001000 00000 00000 0000000000001000 # CHECK: encoding: [0x20,0x00,0x00,0x08] addi r0, r0, 0x00000008 # CHECK: addi # BINARY: 001000 00000 00000 0000000000010000 # CHECK: encoding: [0x20,0x00,0x00,0x10] addi r0, r0, 0x00000010 # CHECK: addi # BINARY: 001000 00000 00000 0000000000100000 # CHECK: encoding: [0x20,0x00,0x00,0x20] addi r0, r0, 0x00000020 # CHECK: addi # BINARY: 001000 00000 00000 0000000001000000 # CHECK: encoding: [0x20,0x00,0x00,0x40] addi r0, r0, 0x00000040 # CHECK: addi # BINARY: 001000 00000 00000 0000000010000000 # CHECK: encoding: [0x20,0x00,0x00,0x80] addi r0, r0, 0x00000080 # CHECK: addi # BINARY: 001000 00000 00000 0000000100000000 # CHECK: encoding: [0x20,0x00,0x01,0x00] addi r0, r0, 0x00000100 # CHECK: addi # BINARY: 001000 00000 00000 0000001000000000 # CHECK: encoding: [0x20,0x00,0x02,0x00] addi r0, r0, 0x00000200 # CHECK: addi # BINARY: 001000 00000 00000 0000010000000000 # CHECK: encoding: [0x20,0x00,0x04,0x00] addi r0, r0, 0x00000400 # CHECK: addi # BINARY: 001000 00000 00000 0000100000000000 # CHECK: encoding: [0x20,0x00,0x08,0x00] addi r0, r0, 0x00000800 # CHECK: addi # BINARY: 001000 00000 00000 0001000000000000 # CHECK: encoding: [0x20,0x00,0x10,0x00] addi r0, r0, 0x00001000 # CHECK: addi # BINARY: 001000 00000 00000 0010000000000000 # CHECK: encoding: [0x20,0x00,0x20,0x00] addi r0, r0, 0x00002000 # CHECK: addi # BINARY: 001000 00000 00000 0100000000000000 # CHECK: encoding: [0x20,0x00,0x40,0x00] addi r0, r0, 0x00004000 # CHECK: addi # BINARY: 101100 00000 00000 0000000000000000 # BINARY: 001000 00000 00000 1000000000000000 # CHECK: encoding: [0xb0,0x00,0x00,0x00,0x20,0x00,0x80,0x00] addi r0, r0, 0x00008000 # CHECK: addi # BINARY: 101100 00000 00000 0000000000000001 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x00,0x01,0x20,0x00,0x00,0x00] addi r0, r0, 0x00010000 # CHECK: addi # BINARY: 101100 00000 00000 0000000000000010 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x00,0x02,0x20,0x00,0x00,0x00] addi r0, r0, 0x00020000 # CHECK: addi # BINARY: 101100 00000 00000 0000000000000100 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x00,0x04,0x20,0x00,0x00,0x00] addi r0, r0, 0x00040000 # CHECK: addi # BINARY: 101100 00000 00000 0000000000001000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x00,0x08,0x20,0x00,0x00,0x00] addi r0, r0, 0x00080000 # CHECK: addi # BINARY: 101100 00000 00000 0000000000010000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x00,0x10,0x20,0x00,0x00,0x00] addi r0, r0, 0x00100000 # CHECK: addi # BINARY: 101100 00000 00000 0000000000100000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x00,0x20,0x20,0x00,0x00,0x00] addi r0, r0, 0x00200000 # CHECK: addi # BINARY: 101100 00000 00000 0000000001000000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x00,0x40,0x20,0x00,0x00,0x00] addi r0, r0, 0x00400000 # CHECK: addi # BINARY: 101100 00000 00000 0000000010000000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x00,0x80,0x20,0x00,0x00,0x00] addi r0, r0, 0x00800000 # CHECK: addi # BINARY: 101100 00000 00000 0000000100000000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x01,0x00,0x20,0x00,0x00,0x00] addi r0, r0, 0x01000000 # CHECK: addi # BINARY: 101100 00000 00000 0000001000000000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x02,0x00,0x20,0x00,0x00,0x00] addi r0, r0, 0x02000000 # CHECK: addi # BINARY: 101100 00000 00000 0000010000000000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x04,0x00,0x20,0x00,0x00,0x00] addi r0, r0, 0x04000000 # CHECK: addi # BINARY: 101100 00000 00000 0000100000000000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x08,0x00,0x20,0x00,0x00,0x00] addi r0, r0, 0x08000000 # CHECK: addi # BINARY: 101100 00000 00000 0001000000000000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x10,0x00,0x20,0x00,0x00,0x00] addi r0, r0, 0x10000000 # CHECK: addi # BINARY: 101100 00000 00000 0010000000000000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x20,0x00,0x20,0x00,0x00,0x00] addi r0, r0, 0x20000000 # CHECK: addi # BINARY: 101100 00000 00000 0100000000000000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x40,0x00,0x20,0x00,0x00,0x00] addi r0, r0, 0x40000000 # CHECK: addi # BINARY: 101100 00000 00000 1000000000000000 # 001000 00000 00000 0000000000000000 # CHECK: encoding: [0xb0,0x00,0x80,0x00,0x20,0x00,0x00,0x00] addi r0, r0, 0x80000000