1 # RUN: llvm-mc -triple mblaze-unknown-unknown -show-encoding %s | FileCheck %s 2 3 # In the microblaze instruction set, any TYPE-B instruction with a 4 # signed immediate value requiring more than 16-bits must be prefixed 5 # with an IMM instruction that contains the high 16-bits. The higher 6 # 16-bits are then combined with the lower 16-bits in the original 7 # instruction to form a 32-bit immediate value. 8 # 9 # The generation of IMM instructions is handled automatically by the 10 # code emitter. Test to ensure that IMM instructions are generated 11 # when they are suppose to and are not generated when they are not 12 # needed. 13 14 # CHECK: addi 15 # BINARY: 001000 00000 00000 0000000000000000 16 # CHECK: encoding: [0x20,0x00,0x00,0x00] 17 addi r0, r0, 0x00000000 18 19 # CHECK: addi 20 # BINARY: 001000 00000 00000 0000000000000001 21 # CHECK: encoding: [0x20,0x00,0x00,0x01] 22 addi r0, r0, 0x00000001 23 24 # CHECK: addi 25 # BINARY: 001000 00000 00000 0000000000000010 26 # CHECK: encoding: [0x20,0x00,0x00,0x02] 27 addi r0, r0, 0x00000002 28 29 # CHECK: addi 30 # BINARY: 001000 00000 00000 0000000000000100 31 # CHECK: encoding: [0x20,0x00,0x00,0x04] 32 addi r0, r0, 0x00000004 33 34 # CHECK: addi 35 # BINARY: 001000 00000 00000 0000000000001000 36 # CHECK: encoding: [0x20,0x00,0x00,0x08] 37 addi r0, r0, 0x00000008 38 39 # CHECK: addi 40 # BINARY: 001000 00000 00000 0000000000010000 41 # CHECK: encoding: [0x20,0x00,0x00,0x10] 42 addi r0, r0, 0x00000010 43 44 # CHECK: addi 45 # BINARY: 001000 00000 00000 0000000000100000 46 # CHECK: encoding: [0x20,0x00,0x00,0x20] 47 addi r0, r0, 0x00000020 48 49 # CHECK: addi 50 # BINARY: 001000 00000 00000 0000000001000000 51 # CHECK: encoding: [0x20,0x00,0x00,0x40] 52 addi r0, r0, 0x00000040 53 54 # CHECK: addi 55 # BINARY: 001000 00000 00000 0000000010000000 56 # CHECK: encoding: [0x20,0x00,0x00,0x80] 57 addi r0, r0, 0x00000080 58 59 # CHECK: addi 60 # BINARY: 001000 00000 00000 0000000100000000 61 # CHECK: encoding: [0x20,0x00,0x01,0x00] 62 addi r0, r0, 0x00000100 63 64 # CHECK: addi 65 # BINARY: 001000 00000 00000 0000001000000000 66 # CHECK: encoding: [0x20,0x00,0x02,0x00] 67 addi r0, r0, 0x00000200 68 69 # CHECK: addi 70 # BINARY: 001000 00000 00000 0000010000000000 71 # CHECK: encoding: [0x20,0x00,0x04,0x00] 72 addi r0, r0, 0x00000400 73 74 # CHECK: addi 75 # BINARY: 001000 00000 00000 0000100000000000 76 # CHECK: encoding: [0x20,0x00,0x08,0x00] 77 addi r0, r0, 0x00000800 78 79 # CHECK: addi 80 # BINARY: 001000 00000 00000 0001000000000000 81 # CHECK: encoding: [0x20,0x00,0x10,0x00] 82 addi r0, r0, 0x00001000 83 84 # CHECK: addi 85 # BINARY: 001000 00000 00000 0010000000000000 86 # CHECK: encoding: [0x20,0x00,0x20,0x00] 87 addi r0, r0, 0x00002000 88 89 # CHECK: addi 90 # BINARY: 001000 00000 00000 0100000000000000 91 # CHECK: encoding: [0x20,0x00,0x40,0x00] 92 addi r0, r0, 0x00004000 93 94 # CHECK: addi 95 # BINARY: 101100 00000 00000 0000000000000000 96 # BINARY: 001000 00000 00000 1000000000000000 97 # CHECK: encoding: [0xb0,0x00,0x00,0x00,0x20,0x00,0x80,0x00] 98 addi r0, r0, 0x00008000 99 100 # CHECK: addi 101 # BINARY: 101100 00000 00000 0000000000000001 102 # 001000 00000 00000 0000000000000000 103 # CHECK: encoding: [0xb0,0x00,0x00,0x01,0x20,0x00,0x00,0x00] 104 addi r0, r0, 0x00010000 105 106 # CHECK: addi 107 # BINARY: 101100 00000 00000 0000000000000010 108 # 001000 00000 00000 0000000000000000 109 # CHECK: encoding: [0xb0,0x00,0x00,0x02,0x20,0x00,0x00,0x00] 110 addi r0, r0, 0x00020000 111 112 # CHECK: addi 113 # BINARY: 101100 00000 00000 0000000000000100 114 # 001000 00000 00000 0000000000000000 115 # CHECK: encoding: [0xb0,0x00,0x00,0x04,0x20,0x00,0x00,0x00] 116 addi r0, r0, 0x00040000 117 118 # CHECK: addi 119 # BINARY: 101100 00000 00000 0000000000001000 120 # 001000 00000 00000 0000000000000000 121 # CHECK: encoding: [0xb0,0x00,0x00,0x08,0x20,0x00,0x00,0x00] 122 addi r0, r0, 0x00080000 123 124 # CHECK: addi 125 # BINARY: 101100 00000 00000 0000000000010000 126 # 001000 00000 00000 0000000000000000 127 # CHECK: encoding: [0xb0,0x00,0x00,0x10,0x20,0x00,0x00,0x00] 128 addi r0, r0, 0x00100000 129 130 # CHECK: addi 131 # BINARY: 101100 00000 00000 0000000000100000 132 # 001000 00000 00000 0000000000000000 133 # CHECK: encoding: [0xb0,0x00,0x00,0x20,0x20,0x00,0x00,0x00] 134 addi r0, r0, 0x00200000 135 136 # CHECK: addi 137 # BINARY: 101100 00000 00000 0000000001000000 138 # 001000 00000 00000 0000000000000000 139 # CHECK: encoding: [0xb0,0x00,0x00,0x40,0x20,0x00,0x00,0x00] 140 addi r0, r0, 0x00400000 141 142 # CHECK: addi 143 # BINARY: 101100 00000 00000 0000000010000000 144 # 001000 00000 00000 0000000000000000 145 # CHECK: encoding: [0xb0,0x00,0x00,0x80,0x20,0x00,0x00,0x00] 146 addi r0, r0, 0x00800000 147 148 # CHECK: addi 149 # BINARY: 101100 00000 00000 0000000100000000 150 # 001000 00000 00000 0000000000000000 151 # CHECK: encoding: [0xb0,0x00,0x01,0x00,0x20,0x00,0x00,0x00] 152 addi r0, r0, 0x01000000 153 154 # CHECK: addi 155 # BINARY: 101100 00000 00000 0000001000000000 156 # 001000 00000 00000 0000000000000000 157 # CHECK: encoding: [0xb0,0x00,0x02,0x00,0x20,0x00,0x00,0x00] 158 addi r0, r0, 0x02000000 159 160 # CHECK: addi 161 # BINARY: 101100 00000 00000 0000010000000000 162 # 001000 00000 00000 0000000000000000 163 # CHECK: encoding: [0xb0,0x00,0x04,0x00,0x20,0x00,0x00,0x00] 164 addi r0, r0, 0x04000000 165 166 # CHECK: addi 167 # BINARY: 101100 00000 00000 0000100000000000 168 # 001000 00000 00000 0000000000000000 169 # CHECK: encoding: [0xb0,0x00,0x08,0x00,0x20,0x00,0x00,0x00] 170 addi r0, r0, 0x08000000 171 172 # CHECK: addi 173 # BINARY: 101100 00000 00000 0001000000000000 174 # 001000 00000 00000 0000000000000000 175 # CHECK: encoding: [0xb0,0x00,0x10,0x00,0x20,0x00,0x00,0x00] 176 addi r0, r0, 0x10000000 177 178 # CHECK: addi 179 # BINARY: 101100 00000 00000 0010000000000000 180 # 001000 00000 00000 0000000000000000 181 # CHECK: encoding: [0xb0,0x00,0x20,0x00,0x20,0x00,0x00,0x00] 182 addi r0, r0, 0x20000000 183 184 # CHECK: addi 185 # BINARY: 101100 00000 00000 0100000000000000 186 # 001000 00000 00000 0000000000000000 187 # CHECK: encoding: [0xb0,0x00,0x40,0x00,0x20,0x00,0x00,0x00] 188 addi r0, r0, 0x40000000 189 190 # CHECK: addi 191 # BINARY: 101100 00000 00000 1000000000000000 192 # 001000 00000 00000 0000000000000000 193 # CHECK: encoding: [0xb0,0x00,0x80,0x00,0x20,0x00,0x00,0x00] 194 addi r0, r0, 0x80000000 195
