test/MC/X86/mpx-encodings.s

   1 // RUN: llvm-mc -triple x86_64-- --show-encoding %s |\
   2 // RUN:   FileCheck %s --check-prefixes=CHECK,ENCODING
   3
   4 // RUN: llvm-mc -triple x86_64-- -filetype=obj %s |\
   5 // RUN:   llvm-objdump -d - | FileCheck %s
   6
   7 // CHECK: bndmk (%rax), %bnd0
   8 // ENCODING:  encoding: [0xf3,0x0f,0x1b,0x00]
   9 bndmk (%rax), %bnd0
  10
  11 // CHECK: bndmk 1024(%rax), %bnd1
  12 // ENCODING:  encoding: [0xf3,0x0f,0x1b,0x88,0x00,0x04,0x00,0x00]
  13 bndmk 1024(%rax), %bnd1
  14
  15 // CHECK: bndmov  %bnd2, %bnd1
  16 // ENCODING:  encoding: [0x66,0x0f,0x1a,0xca]
  17 bndmov %bnd2, %bnd1
  18
  19 // CHECK: bndmov %bnd1, 1024(%r9)
  20 // ENCODING:  encoding: [0x66,0x41,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,0x41,0x0f,0x1a,0x4a,0x79]
  33 bndcl 121(%r10), %bnd1
  34
  35 // CHECK: bndcn 121(%rcx), %bnd3
  36 // ENCODING:  encoding: [0xf2,0x0f,0x1b,0x59,0x79]
  37 bndcn 121(%rcx), %bnd3
  38
  39 // CHECK: bndcu %rdx, %bnd3
  40 // ENCODING:  encoding: [0xf2,0x0f,0x1a,0xda]
  41 bndcu %rdx, %bnd3