test/MC/X86/XSAVES-64.s

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
   2
   3 // CHECK: xrstors 485498096
   4 // CHECK: encoding: [0x0f,0xc7,0x1c,0x25,0xf0,0x1c,0xf0,0x1c]
   5 xrstors 485498096
   6
   7 // CHECK: xrstors64 485498096
   8 // CHECK: encoding: [0x48,0x0f,0xc7,0x1c,0x25,0xf0,0x1c,0xf0,0x1c]
   9 xrstors64 485498096
  10
  11 // CHECK: xrstors64 64(%rdx)
  12 // CHECK: encoding: [0x48,0x0f,0xc7,0x5a,0x40]
  13 xrstors64 64(%rdx)
  14
  15 // CHECK: xrstors64 64(%rdx,%rax,4)
  16 // CHECK: encoding: [0x48,0x0f,0xc7,0x5c,0x82,0x40]
  17 xrstors64 64(%rdx,%rax,4)
  18
  19 // CHECK: xrstors64 -64(%rdx,%rax,4)
  20 // CHECK: encoding: [0x48,0x0f,0xc7,0x5c,0x82,0xc0]
  21 xrstors64 -64(%rdx,%rax,4)
  22
  23 // CHECK: xrstors64 64(%rdx,%rax)
  24 // CHECK: encoding: [0x48,0x0f,0xc7,0x5c,0x02,0x40]
  25 xrstors64 64(%rdx,%rax)
  26
  27 // CHECK: xrstors 64(%rdx)
  28 // CHECK: encoding: [0x0f,0xc7,0x5a,0x40]
  29 xrstors 64(%rdx)
  30
  31 // CHECK: xrstors64 (%rdx)
  32 // CHECK: encoding: [0x48,0x0f,0xc7,0x1a]
  33 xrstors64 (%rdx)
  34
  35 // CHECK: xrstors 64(%rdx,%rax,4)
  36 // CHECK: encoding: [0x0f,0xc7,0x5c,0x82,0x40]
  37 xrstors 64(%rdx,%rax,4)
  38
  39 // CHECK: xrstors -64(%rdx,%rax,4)
  40 // CHECK: encoding: [0x0f,0xc7,0x5c,0x82,0xc0]
  41 xrstors -64(%rdx,%rax,4)
  42
  43 // CHECK: xrstors 64(%rdx,%rax)
  44 // CHECK: encoding: [0x0f,0xc7,0x5c,0x02,0x40]
  45 xrstors 64(%rdx,%rax)
  46
  47 // CHECK: xrstors (%rdx)
  48 // CHECK: encoding: [0x0f,0xc7,0x1a]
  49 xrstors (%rdx)
  50
  51 // CHECK: xsaves 485498096
  52 // CHECK: encoding: [0x0f,0xc7,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
  53 xsaves 485498096
  54
  55 // CHECK: xsaves64 485498096
  56 // CHECK: encoding: [0x48,0x0f,0xc7,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
  57 xsaves64 485498096
  58
  59 // CHECK: xsaves64 64(%rdx)
  60 // CHECK: encoding: [0x48,0x0f,0xc7,0x6a,0x40]
  61 xsaves64 64(%rdx)
  62
  63 // CHECK: xsaves64 64(%rdx,%rax,4)
  64 // CHECK: encoding: [0x48,0x0f,0xc7,0x6c,0x82,0x40]
  65 xsaves64 64(%rdx,%rax,4)
  66
  67 // CHECK: xsaves64 -64(%rdx,%rax,4)
  68 // CHECK: encoding: [0x48,0x0f,0xc7,0x6c,0x82,0xc0]
  69 xsaves64 -64(%rdx,%rax,4)
  70
  71 // CHECK: xsaves64 64(%rdx,%rax)
  72 // CHECK: encoding: [0x48,0x0f,0xc7,0x6c,0x02,0x40]
  73 xsaves64 64(%rdx,%rax)
  74
  75 // CHECK: xsaves 64(%rdx)
  76 // CHECK: encoding: [0x0f,0xc7,0x6a,0x40]
  77 xsaves 64(%rdx)
  78
  79 // CHECK: xsaves64 (%rdx)
  80 // CHECK: encoding: [0x48,0x0f,0xc7,0x2a]
  81 xsaves64 (%rdx)
  82
  83 // CHECK: xsaves 64(%rdx,%rax,4)
  84 // CHECK: encoding: [0x0f,0xc7,0x6c,0x82,0x40]
  85 xsaves 64(%rdx,%rax,4)
  86
  87 // CHECK: xsaves -64(%rdx,%rax,4)
  88 // CHECK: encoding: [0x0f,0xc7,0x6c,0x82,0xc0]
  89 xsaves -64(%rdx,%rax,4)
  90
  91 // CHECK: xsaves 64(%rdx,%rax)
  92 // CHECK: encoding: [0x0f,0xc7,0x6c,0x02,0x40]
  93 xsaves 64(%rdx,%rax)
  94
  95 // CHECK: xsaves (%rdx)
  96 // CHECK: encoding: [0x0f,0xc7,0x2a]
  97 xsaves (%rdx)
  98