test/MC/X86/x86-64-avx512vp2intersectvl-att.s

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding < %s  | FileCheck %s
   2
   3 // CHECK: vp2intersectd %ymm24, %ymm23, %k6
   4 // CHECK: encoding: [0x62,0x92,0x47,0x20,0x68,0xf0]
   5           vp2intersectd %ymm24, %ymm23, %k6
   6
   7 // CHECK: vp2intersectd %xmm24, %xmm23, %k6
   8 // CHECK: encoding: [0x62,0x92,0x47,0x00,0x68,0xf0]
   9           vp2intersectd %xmm24, %xmm23, %k6
  10
  11 // CHECK: vp2intersectd  268435456(%rbp,%r14,8), %ymm23, %k6
  12 // CHECK: encoding: [0x62,0xb2,0x47,0x20,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
  13           vp2intersectd  268435456(%rbp,%r14,8), %ymm23, %k6
  14
  15 // CHECK: vp2intersectd  291(%r8,%rax,4), %ymm23, %k6
  16 // CHECK: encoding: [0x62,0xd2,0x47,0x20,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
  17           vp2intersectd  291(%r8,%rax,4), %ymm23, %k6
  18
  19 // CHECK: vp2intersectd  (%rip){1to8}, %ymm23, %k6
  20 // CHECK: encoding: [0x62,0xf2,0x47,0x30,0x68,0x35,0x00,0x00,0x00,0x00]
  21           vp2intersectd  (%rip){1to8}, %ymm23, %k6
  22
  23 // CHECK: vp2intersectd  -1024(,%rbp,2), %ymm23, %k6
  24 // CHECK: encoding: [0x62,0xf2,0x47,0x20,0x68,0x34,0x6d,0x00,0xfc,0xff,0xff]
  25           vp2intersectd  -1024(,%rbp,2), %ymm23, %k6
  26
  27 // CHECK: vp2intersectd  4064(%rcx), %ymm23, %k6
  28 // CHECK: encoding: [0x62,0xf2,0x47,0x20,0x68,0x71,0x7f]
  29           vp2intersectd  4064(%rcx), %ymm23, %k6
  30
  31 // CHECK: vp2intersectd  -512(%rdx){1to8}, %ymm23, %k6
  32 // CHECK: encoding: [0x62,0xf2,0x47,0x30,0x68,0x72,0x80]
  33           vp2intersectd  -512(%rdx){1to8}, %ymm23, %k6
  34
  35 // CHECK: vp2intersectd  268435456(%rbp,%r14,8), %xmm23, %k6
  36 // CHECK: encoding: [0x62,0xb2,0x47,0x00,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
  37           vp2intersectd  268435456(%rbp,%r14,8), %xmm23, %k6
  38
  39 // CHECK: vp2intersectd  291(%r8,%rax,4), %xmm23, %k6
  40 // CHECK: encoding: [0x62,0xd2,0x47,0x00,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
  41           vp2intersectd  291(%r8,%rax,4), %xmm23, %k6
  42
  43 // CHECK: vp2intersectd  (%rip){1to4}, %xmm23, %k6
  44 // CHECK: encoding: [0x62,0xf2,0x47,0x10,0x68,0x35,0x00,0x00,0x00,0x00]
  45           vp2intersectd  (%rip){1to4}, %xmm23, %k6
  46
  47 // CHECK: vp2intersectd  -512(,%rbp,2), %xmm23, %k6
  48 // CHECK: encoding: [0x62,0xf2,0x47,0x00,0x68,0x34,0x6d,0x00,0xfe,0xff,0xff]
  49           vp2intersectd  -512(,%rbp,2), %xmm23, %k6
  50
  51 // CHECK: vp2intersectd  2032(%rcx), %xmm23, %k6
  52 // CHECK: encoding: [0x62,0xf2,0x47,0x00,0x68,0x71,0x7f]
  53           vp2intersectd  2032(%rcx), %xmm23, %k6
  54
  55 // CHECK: vp2intersectd  -512(%rdx){1to4}, %xmm23, %k6
  56 // CHECK: encoding: [0x62,0xf2,0x47,0x10,0x68,0x72,0x80]
  57           vp2intersectd  -512(%rdx){1to4}, %xmm23, %k6
  58
  59 // CHECK: vp2intersectq %ymm24, %ymm23, %k6
  60 // CHECK: encoding: [0x62,0x92,0xc7,0x20,0x68,0xf0]
  61           vp2intersectq %ymm24, %ymm23, %k6
  62
  63 // CHECK: vp2intersectq %xmm24, %xmm23, %k6
  64 // CHECK: encoding: [0x62,0x92,0xc7,0x00,0x68,0xf0]
  65           vp2intersectq %xmm24, %xmm23, %k6
  66
  67 // CHECK: vp2intersectq  268435456(%rbp,%r14,8), %ymm23, %k6
  68 // CHECK: encoding: [0x62,0xb2,0xc7,0x20,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
  69           vp2intersectq  268435456(%rbp,%r14,8), %ymm23, %k6
  70
  71 // CHECK: vp2intersectq  291(%r8,%rax,4), %ymm23, %k6
  72 // CHECK: encoding: [0x62,0xd2,0xc7,0x20,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
  73           vp2intersectq  291(%r8,%rax,4), %ymm23, %k6
  74
  75 // CHECK: vp2intersectq  (%rip){1to4}, %ymm23, %k6
  76 // CHECK: encoding: [0x62,0xf2,0xc7,0x30,0x68,0x35,0x00,0x00,0x00,0x00]
  77           vp2intersectq  (%rip){1to4}, %ymm23, %k6
  78
  79 // CHECK: vp2intersectq  -1024(,%rbp,2), %ymm23, %k6
  80 // CHECK: encoding: [0x62,0xf2,0xc7,0x20,0x68,0x34,0x6d,0x00,0xfc,0xff,0xff]
  81           vp2intersectq  -1024(,%rbp,2), %ymm23, %k6
  82
  83 // CHECK: vp2intersectq  4064(%rcx), %ymm23, %k6
  84 // CHECK: encoding: [0x62,0xf2,0xc7,0x20,0x68,0x71,0x7f]
  85           vp2intersectq  4064(%rcx), %ymm23, %k6
  86
  87 // CHECK: vp2intersectq  -1024(%rdx){1to4}, %ymm23, %k6
  88 // CHECK: encoding: [0x62,0xf2,0xc7,0x30,0x68,0x72,0x80]
  89           vp2intersectq  -1024(%rdx){1to4}, %ymm23, %k6
  90
  91 // CHECK: vp2intersectq  268435456(%rbp,%r14,8), %xmm23, %k6
  92 // CHECK: encoding: [0x62,0xb2,0xc7,0x00,0x68,0xb4,0xf5,0x00,0x00,0x00,0x10]
  93           vp2intersectq  268435456(%rbp,%r14,8), %xmm23, %k6
  94
  95 // CHECK: vp2intersectq  291(%r8,%rax,4), %xmm23, %k6
  96 // CHECK: encoding: [0x62,0xd2,0xc7,0x00,0x68,0xb4,0x80,0x23,0x01,0x00,0x00]
  97           vp2intersectq  291(%r8,%rax,4), %xmm23, %k6
  98
  99 // CHECK: vp2intersectq  (%rip){1to2}, %xmm23, %k6
 100 // CHECK: encoding: [0x62,0xf2,0xc7,0x10,0x68,0x35,0x00,0x00,0x00,0x00]
 101           vp2intersectq  (%rip){1to2}, %xmm23, %k6
 102
 103 // CHECK: vp2intersectq  -512(,%rbp,2), %xmm23, %k6
 104 // CHECK: encoding: [0x62,0xf2,0xc7,0x00,0x68,0x34,0x6d,0x00,0xfe,0xff,0xff]
 105           vp2intersectq  -512(,%rbp,2), %xmm23, %k6
 106
 107 // CHECK: vp2intersectq  2032(%rcx), %xmm23, %k6
 108 // CHECK: encoding: [0x62,0xf2,0xc7,0x00,0x68,0x71,0x7f]
 109           vp2intersectq  2032(%rcx), %xmm23, %k6
 110
 111 // CHECK: vp2intersectq  -1024(%rdx){1to2}, %xmm23, %k6
 112 // CHECK: encoding: [0x62,0xf2,0xc7,0x10,0x68,0x72,0x80]
 113           vp2intersectq  -1024(%rdx){1to2}, %xmm23, %k6