Home | History | Annotate | Download | only in X86
      1 // RUN: llvm-mc -triple x86_64-- -mattr=+mpx --show-encoding %s |\
      2 // RUN:   FileCheck %s --check-prefixes=CHECK,ENCODING
      3 
      4 // RUN: llvm-mc -triple x86_64-- -mattr=+mpx -filetype=obj %s |\
      5 // RUN:   llvm-objdump -d - -mattr=+mpx | FileCheck %s
      6 
      7 // CHECK: bndmk (%rax), %bnd0
      8 // ENCODING:  encoding: [0xf3,0x48,0x0f,0x1b,0x00]
      9 bndmk (%rax), %bnd0
     10 
     11 // CHECK: bndmk 1024(%rax), %bnd1
     12 // ENCODING:  encoding: [0xf3,0x48,0x0f,0x1b,0x88,0x00,0x04,0x00,0x00]
     13 bndmk 1024(%rax), %bnd1
     14 
     15 // CHECK: bndmov  %bnd2, %bnd1
     16 // ENCODING:  encoding: [0x66,0x0f,0x1b,0xd1]
     17 bndmov %bnd2, %bnd1
     18 
     19 // CHECK: bndmov %bnd1, 1024(%r9)
     20 // ENCODING:  encoding: [0x66,0x49,0x0f,0x1b,0x89,0x00,0x04,0x00,0x00]
     21 bndmov %bnd1, 1024(%r9)
     22 
     23 // CHECK: bndstx %bnd1, 1024(%rax)
     24 // ENCODING:  encoding: [0x0f,0x1b,0x88,0x00,0x04,0x00,0x00]
     25 bndstx %bnd1, 1024(%rax)
     26 
     27 // CHECK: bndldx 1024(%r8), %bnd1
     28 // ENCODING:  encoding: [0x41,0x0f,0x1a,0x88,0x00,0x04,0x00,0x00]
     29 bndldx 1024(%r8), %bnd1
     30 
     31 // CHECK: bndcl 121(%r10), %bnd1
     32 // ENCODING:  encoding: [0xf3,0x49,0x0f,0x1a,0x4a,0x79]
     33 bndcl 121(%r10), %bnd1
     34 
     35 // CHECK: bndcn 121(%rcx), %bnd3
     36 // ENCODING:  encoding: [0xf2,0x48,0x0f,0x1b,0x59,0x79]
     37 bndcn 121(%rcx), %bnd3
     38 
     39 // CHECK: bndcu %rdx, %bnd3
     40 // ENCODING:  encoding: [0xf2,0x48,0x0f,0x1a,0xda]
     41 bndcu %rdx, %bnd3
     42