| # 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 |
