mlir/test/Dialect/IRDL/test-type.irdl.mlir

   1 // RUN: mlir-opt %s | mlir-opt | FileCheck %s
   2
   3 module {
   4   // CHECK-LABEL: irdl.dialect @testd {
   5   irdl.dialect @testd {
   6     // CHECK: irdl.type @singleton
   7     irdl.type @singleton
   8
   9     // CHECK: irdl.type @parametrized {
  10     // CHECK:   %[[v0:[^ ]*]] = irdl.any
  11     // CHECK:   %[[v1:[^ ]*]] = irdl.is i32
  12     // CHECK:   %[[v2:[^ ]*]] = irdl.is i64
  13     // CHECK:   %[[v3:[^ ]*]] = irdl.any_of(%[[v1]], %[[v2]])
  14     // CHECK:   irdl.parameters(%[[v0]], %[[v3]])
  15     // CHECK: }
  16     irdl.type @parametrized {
  17       %0 = irdl.any
  18       %1 = irdl.is i32
  19       %2 = irdl.is i64
  20       %3 = irdl.any_of(%1, %2)
  21       irdl.parameters(%0, %3)
  22     }
  23
  24     // CHECK: irdl.operation @any {
  25     // CHECK:   %[[v0:[^ ]*]] = irdl.any
  26     // CHECK:   irdl.results(%[[v0]])
  27     // CHECK: }
  28     irdl.operation @any {
  29       %0 = irdl.any
  30       irdl.results(%0)
  31     }
  32   }
  33 }