xref: /llvm-project/llvm/test/MC/ARM/virtexts-arm.s (revision 4d88ae20026521a4a5ff1a8f74f482242c63f8c9)
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