# RUN: llvm-mc -triple=ve --show-encoding < %s \
# RUN:     | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INST
# RUN: llvm-mc -triple=ve -filetype=obj < %s | llvm-objdump -d - \
# RUN:     | FileCheck %s --check-prefixes=CHECK-INST

# CHECK-INST: vbrd %v11, 23
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0x0b,0x00,0x17,0x00,0x8c]
vbrd %v11, 23

# CHECK-INST: vbrd %v11, %s12, %vm15
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0x0b,0x00,0x8c,0x0f,0x8c]
vbrd %v11, %s12, %vm15

# CHECK-INST: vbrd %vix, %s22
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0xff,0x00,0x96,0x00,0x8c]
vbrd %vix, %s22, %vm0

# CHECK-INST: vbrdl %v11, 23
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0x0b,0x00,0x17,0x40,0x8c]
vbrdl %v11, 23

# CHECK-INST: vbrdl %v11, %s12, %vm15
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0x0b,0x00,0x8c,0x4f,0x8c]
vbrdl %v11, %s12, %vm15

# CHECK-INST: vbrdl %vix, %s22
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0xff,0x00,0x96,0x40,0x8c]
vbrdl %vix, %s22, %vm0

# CHECK-INST: vbrdu %v11, 23
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0x0b,0x00,0x17,0x80,0x8c]
vbrdu %v11, 23

# CHECK-INST: vbrdu %v11, %s12, %vm15
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0x0b,0x00,0x8c,0x8f,0x8c]
vbrdu %v11, %s12, %vm15

# CHECK-INST: vbrdu %vix, %s22
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0xff,0x00,0x96,0x80,0x8c]
vbrdu %vix, %s22, %vm0

# CHECK-INST: pvbrd %v11, 23
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0x0b,0x00,0x17,0xc0,0x8c]
pvbrd %v11, 23

# CHECK-INST: pvbrd %v11, %s12, %vm14
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0x0b,0x00,0x8c,0xce,0x8c]
pvbrd %v11, %s12, %vm14

# CHECK-INST: pvbrd %vix, %s22
# CHECK-ENCODING: encoding: [0x00,0x00,0x00,0xff,0x00,0x96,0xc0,0x8c]
pvbrd %vix, %s22, %vm0