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