llvm/test/MC/X86/sm3-att-32.s

   1 // RUN: llvm-mc -triple i686-unknown-unknown --show-encoding %s | FileCheck %s
   2
   3 // CHECK:      vsm3msg1 %xmm4, %xmm3, %xmm2
   4 // CHECK: encoding: [0xc4,0xe2,0x60,0xda,0xd4]
   5                vsm3msg1 %xmm4, %xmm3, %xmm2
   6
   7 // CHECK:      vsm3msg1  268435456(%esp,%esi,8), %xmm3, %xmm2
   8 // CHECK: encoding: [0xc4,0xe2,0x60,0xda,0x94,0xf4,0x00,0x00,0x00,0x10]
   9                vsm3msg1  268435456(%esp,%esi,8), %xmm3, %xmm2
  10
  11 // CHECK:      vsm3msg1  291(%edi,%eax,4), %xmm3, %xmm2
  12 // CHECK: encoding: [0xc4,0xe2,0x60,0xda,0x94,0x87,0x23,0x01,0x00,0x00]
  13                vsm3msg1  291(%edi,%eax,4), %xmm3, %xmm2
  14
  15 // CHECK:      vsm3msg1  (%eax), %xmm3, %xmm2
  16 // CHECK: encoding: [0xc4,0xe2,0x60,0xda,0x10]
  17                vsm3msg1  (%eax), %xmm3, %xmm2
  18
  19 // CHECK:      vsm3msg1  -512(,%ebp,2), %xmm3, %xmm2
  20 // CHECK: encoding: [0xc4,0xe2,0x60,0xda,0x14,0x6d,0x00,0xfe,0xff,0xff]
  21                vsm3msg1  -512(,%ebp,2), %xmm3, %xmm2
  22
  23 // CHECK:      vsm3msg1  2032(%ecx), %xmm3, %xmm2
  24 // CHECK: encoding: [0xc4,0xe2,0x60,0xda,0x91,0xf0,0x07,0x00,0x00]
  25                vsm3msg1  2032(%ecx), %xmm3, %xmm2
  26
  27 // CHECK:      vsm3msg1  -2048(%edx), %xmm3, %xmm2
  28 // CHECK: encoding: [0xc4,0xe2,0x60,0xda,0x92,0x00,0xf8,0xff,0xff]
  29                vsm3msg1  -2048(%edx), %xmm3, %xmm2
  30
  31 // CHECK:      vsm3msg2 %xmm4, %xmm3, %xmm2
  32 // CHECK: encoding: [0xc4,0xe2,0x61,0xda,0xd4]
  33                vsm3msg2 %xmm4, %xmm3, %xmm2
  34
  35 // CHECK:      vsm3msg2  268435456(%esp,%esi,8), %xmm3, %xmm2
  36 // CHECK: encoding: [0xc4,0xe2,0x61,0xda,0x94,0xf4,0x00,0x00,0x00,0x10]
  37                vsm3msg2  268435456(%esp,%esi,8), %xmm3, %xmm2
  38
  39 // CHECK:      vsm3msg2  291(%edi,%eax,4), %xmm3, %xmm2
  40 // CHECK: encoding: [0xc4,0xe2,0x61,0xda,0x94,0x87,0x23,0x01,0x00,0x00]
  41                vsm3msg2  291(%edi,%eax,4), %xmm3, %xmm2
  42
  43 // CHECK:      vsm3msg2  (%eax), %xmm3, %xmm2
  44 // CHECK: encoding: [0xc4,0xe2,0x61,0xda,0x10]
  45                vsm3msg2  (%eax), %xmm3, %xmm2
  46
  47 // CHECK:      vsm3msg2  -512(,%ebp,2), %xmm3, %xmm2
  48 // CHECK: encoding: [0xc4,0xe2,0x61,0xda,0x14,0x6d,0x00,0xfe,0xff,0xff]
  49                vsm3msg2  -512(,%ebp,2), %xmm3, %xmm2
  50
  51 // CHECK:      vsm3msg2  2032(%ecx), %xmm3, %xmm2
  52 // CHECK: encoding: [0xc4,0xe2,0x61,0xda,0x91,0xf0,0x07,0x00,0x00]
  53                vsm3msg2  2032(%ecx), %xmm3, %xmm2
  54
  55 // CHECK:      vsm3msg2  -2048(%edx), %xmm3, %xmm2
  56 // CHECK: encoding: [0xc4,0xe2,0x61,0xda,0x92,0x00,0xf8,0xff,0xff]
  57                vsm3msg2  -2048(%edx), %xmm3, %xmm2
  58
  59 // CHECK:      vsm3rnds2 $123, %xmm4, %xmm3, %xmm2
  60 // CHECK: encoding: [0xc4,0xe3,0x61,0xde,0xd4,0x7b]
  61                vsm3rnds2 $123, %xmm4, %xmm3, %xmm2
  62
  63 // CHECK:      vsm3rnds2  $123, 268435456(%esp,%esi,8), %xmm3, %xmm2
  64 // CHECK: encoding: [0xc4,0xe3,0x61,0xde,0x94,0xf4,0x00,0x00,0x00,0x10,0x7b]
  65                vsm3rnds2  $123, 268435456(%esp,%esi,8), %xmm3, %xmm2
  66
  67 // CHECK:      vsm3rnds2  $123, 291(%edi,%eax,4), %xmm3, %xmm2
  68 // CHECK: encoding: [0xc4,0xe3,0x61,0xde,0x94,0x87,0x23,0x01,0x00,0x00,0x7b]
  69                vsm3rnds2  $123, 291(%edi,%eax,4), %xmm3, %xmm2
  70
  71 // CHECK:      vsm3rnds2  $123, (%eax), %xmm3, %xmm2
  72 // CHECK: encoding: [0xc4,0xe3,0x61,0xde,0x10,0x7b]
  73                vsm3rnds2  $123, (%eax), %xmm3, %xmm2
  74
  75 // CHECK:      vsm3rnds2  $123, -512(,%ebp,2), %xmm3, %xmm2
  76 // CHECK: encoding: [0xc4,0xe3,0x61,0xde,0x14,0x6d,0x00,0xfe,0xff,0xff,0x7b]
  77                vsm3rnds2  $123, -512(,%ebp,2), %xmm3, %xmm2
  78
  79 // CHECK:      vsm3rnds2  $123, 2032(%ecx), %xmm3, %xmm2
  80 // CHECK: encoding: [0xc4,0xe3,0x61,0xde,0x91,0xf0,0x07,0x00,0x00,0x7b]
  81                vsm3rnds2  $123, 2032(%ecx), %xmm3, %xmm2
  82
  83 // CHECK:      vsm3rnds2  $123, -2048(%edx), %xmm3, %xmm2
  84 // CHECK: encoding: [0xc4,0xe3,0x61,0xde,0x92,0x00,0xf8,0xff,0xff,0x7b]
  85                vsm3rnds2  $123, -2048(%edx), %xmm3, %xmm2
  86