# RUN: llvm-mc -triple armv7 -mattr=virtualization -show-encoding %s | FileCheck %s --check-prefix=CHECK-ARM

    hvc    #1
    hvc    #7
    hvc    #257
    hvc    #65535
# CHECK-ARM: [0x71,0x00,0x40,0xe1]
# CHECK-ARM: [0x77,0x00,0x40,0xe1]
# CHECK-ARM: [0x71,0x10,0x40,0xe1]
# CHECK-ARM: [0x7f,0xff,0x4f,0xe1]

    eret
    ereteq
    eretne
    ereths
    eretlo
    eretmi
    eretpl
    eretvs
    eretvc
    erethi
    eretls
    eretge
    eretlt
    eretgt
    eretle
# CHECK-ARM: [0x6e,0x00,0x60,0xe1]
# CHECK-ARM: [0x6e,0x00,0x60,0x01]
# CHECK-ARM: [0x6e,0x00,0x60,0x11]
# CHECK-ARM: [0x6e,0x00,0x60,0x21]
# CHECK-ARM: [0x6e,0x00,0x60,0x31]
# CHECK-ARM: [0x6e,0x00,0x60,0x41]
# CHECK-ARM: [0x6e,0x00,0x60,0x51]
# CHECK-ARM: [0x6e,0x00,0x60,0x61]
# CHECK-ARM: [0x6e,0x00,0x60,0x71]
# CHECK-ARM: [0x6e,0x00,0x60,0x81]
# CHECK-ARM: [0x6e,0x00,0x60,0x91]
# CHECK-ARM: [0x6e,0x00,0x60,0xa1]
# CHECK-ARM: [0x6e,0x00,0x60,0xb1]
# CHECK-ARM: [0x6e,0x00,0x60,0xc1]
# CHECK-ARM: [0x6e,0x00,0x60,0xd1]

