1*4d88ae20SCharlie Turner# RUN: llvm-mc -triple armv7 -mattr=virtualization -show-encoding %s | FileCheck %s --check-prefix=CHECK-ARM 2*4d88ae20SCharlie Turner 3*4d88ae20SCharlie Turner hvc #1 4*4d88ae20SCharlie Turner hvc #7 5*4d88ae20SCharlie Turner hvc #257 6*4d88ae20SCharlie Turner hvc #65535 7*4d88ae20SCharlie Turner# CHECK-ARM: [0x71,0x00,0x40,0xe1] 8*4d88ae20SCharlie Turner# CHECK-ARM: [0x77,0x00,0x40,0xe1] 9*4d88ae20SCharlie Turner# CHECK-ARM: [0x71,0x10,0x40,0xe1] 10*4d88ae20SCharlie Turner# CHECK-ARM: [0x7f,0xff,0x4f,0xe1] 11*4d88ae20SCharlie Turner 12*4d88ae20SCharlie Turner eret 13*4d88ae20SCharlie Turner ereteq 14*4d88ae20SCharlie Turner eretne 15*4d88ae20SCharlie Turner ereths 16*4d88ae20SCharlie Turner eretlo 17*4d88ae20SCharlie Turner eretmi 18*4d88ae20SCharlie Turner eretpl 19*4d88ae20SCharlie Turner eretvs 20*4d88ae20SCharlie Turner eretvc 21*4d88ae20SCharlie Turner erethi 22*4d88ae20SCharlie Turner eretls 23*4d88ae20SCharlie Turner eretge 24*4d88ae20SCharlie Turner eretlt 25*4d88ae20SCharlie Turner eretgt 26*4d88ae20SCharlie Turner eretle 27*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0xe1] 28*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0x01] 29*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0x11] 30*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0x21] 31*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0x31] 32*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0x41] 33*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0x51] 34*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0x61] 35*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0x71] 36*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0x81] 37*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0x91] 38*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0xa1] 39*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0xb1] 40*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0xc1] 41*4d88ae20SCharlie Turner# CHECK-ARM: [0x6e,0x00,0x60,0xd1] 42*4d88ae20SCharlie Turner 43