mlir/test/Dialect/X86Vector/roundtrip.mlir

   1 // RUN: mlir-opt -verify-diagnostics %s | mlir-opt | FileCheck %s
   2
   3 // CHECK-LABEL: func @avx512_mask_rndscale
   4 func.func @avx512_mask_rndscale(%a: vector<16xf32>, %b: vector<8xf64>, %i32: i32, %i16: i16, %i8: i8)
   5   -> (vector<16xf32>, vector<8xf64>)
   6 {
   7   // CHECK: x86vector.avx512.mask.rndscale {{.*}}: vector<16xf32>
   8   %0 = x86vector.avx512.mask.rndscale %a, %i32, %a, %i16, %i32 : vector<16xf32>
   9   // CHECK: x86vector.avx512.mask.rndscale {{.*}}: vector<8xf64>
  10   %1 = x86vector.avx512.mask.rndscale %b, %i32, %b, %i8, %i32 : vector<8xf64>
  11   return %0, %1: vector<16xf32>, vector<8xf64>
  12 }
  13
  14 // CHECK-LABEL: func @avx512_scalef
  15 func.func @avx512_scalef(%a: vector<16xf32>, %b: vector<8xf64>, %i32: i32, %i16: i16, %i8: i8)
  16   -> (vector<16xf32>, vector<8xf64>)
  17 {
  18   // CHECK: x86vector.avx512.mask.scalef {{.*}}: vector<16xf32>
  19   %0 = x86vector.avx512.mask.scalef %a, %a, %a, %i16, %i32: vector<16xf32>
  20   // CHECK: x86vector.avx512.mask.scalef {{.*}}: vector<8xf64>
  21   %1 = x86vector.avx512.mask.scalef %b, %b, %b, %i8, %i32 : vector<8xf64>
  22   return %0, %1: vector<16xf32>, vector<8xf64>
  23 }
  24
  25 // CHECK-LABEL: func @avx512_vp2intersect
  26 func.func @avx512_vp2intersect(%a: vector<16xi32>, %b: vector<8xi64>)
  27   -> (vector<16xi1>, vector<16xi1>, vector<8xi1>, vector<8xi1>)
  28 {
  29   // CHECK: x86vector.avx512.vp2intersect {{.*}} : vector<16xi32>
  30   %0, %1 = x86vector.avx512.vp2intersect %a, %a : vector<16xi32>
  31   // CHECK: x86vector.avx512.vp2intersect {{.*}} : vector<8xi64>
  32   %2, %3 = x86vector.avx512.vp2intersect %b, %b : vector<8xi64>
  33   return %0, %1, %2, %3 : vector<16xi1>, vector<16xi1>, vector<8xi1>, vector<8xi1>
  34 }
  35
  36 // CHECK-LABEL: func @avx512_mask_compress
  37 func.func @avx512_mask_compress(%k1: vector<16xi1>, %a1: vector<16xf32>,
  38                            %k2: vector<8xi1>, %a2: vector<8xi64>)
  39   -> (vector<16xf32>, vector<16xf32>, vector<8xi64>)
  40 {
  41   // CHECK: x86vector.avx512.mask.compress {{.*}} : vector<16xf32>
  42   %0 = x86vector.avx512.mask.compress %k1, %a1 : vector<16xf32>
  43   // CHECK: x86vector.avx512.mask.compress {{.*}} : vector<16xf32>
  44   %1 = x86vector.avx512.mask.compress %k1, %a1 {constant_src = dense<5.0> : vector<16xf32>} : vector<16xf32>
  45   // CHECK: x86vector.avx512.mask.compress {{.*}} : vector<8xi64>
  46   %2 = x86vector.avx512.mask.compress %k2, %a2, %a2 : vector<8xi64>, vector<8xi64>
  47   return %0, %1, %2 : vector<16xf32>, vector<16xf32>, vector<8xi64>
  48 }
  49
  50 // CHECK-LABEL: func @avx_rsqrt
  51 func.func @avx_rsqrt(%a: vector<8xf32>) -> (vector<8xf32>)
  52 {
  53   // CHECK: x86vector.avx.rsqrt {{.*}} : vector<8xf32>
  54   %0 = x86vector.avx.rsqrt %a : vector<8xf32>
  55   return %0 : vector<8xf32>
  56 }
  57
  58 // CHECK-LABEL: func @avx_dot
  59 func.func @avx_dot(%a: vector<8xf32>, %b: vector<8xf32>) -> (vector<8xf32>)
  60 {
  61   // CHECK: x86vector.avx.intr.dot {{.*}} : vector<8xf32>
  62   %0 = x86vector.avx.intr.dot %a, %b : vector<8xf32>
  63   return %0 : vector<8xf32>
  64 }