# 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