mlir/test/IR/distinct-attr.mlir

   1 // RUN: mlir-opt %s | FileCheck %s
   2 // RUN: mlir-opt -mlir-print-local-scope %s | FileCheck %s --check-prefix=CHECK-GENERIC
   3
   4 // CHECK: #[[DISTINCT0:.*]] = distinct[0]<42 : i32>
   5 // CHECK: #[[DISTINCT1:.*]] = distinct[1]<array<i32: 10, 42>>
   6 // CHECK: #[[DISTINCT2:.*]] = distinct[2]<42 : i32>
   7
   8 // CHECK:         distinct.attr = #[[DISTINCT0]]
   9 // CHECK-GENERIC: distinct.attr = distinct[0]<42 : i32>
  10 "test.op"() {distinct.attr = distinct[0]<42 : i32>} : () -> ()
  11
  12 // CHECK:         distinct.attr = #[[DISTINCT1]]
  13 // CHECK-GENERIC: distinct.attr = distinct[1]<array<i32: 10, 42>>
  14 "test.op"() {distinct.attr = distinct[1]<array<i32: 10, 42>>} : () -> ()
  15
  16 // CHECK:         distinct.attr = #[[DISTINCT0]]
  17 // CHECK-GENERIC: distinct.attr = distinct[0]<42 : i32>
  18 "test.op"() {distinct.attr = distinct[0]<42 : i32>} : () -> ()
  19
  20 // CHECK:         distinct.attr = #[[DISTINCT2]]
  21 // CHECK-GENERIC: distinct.attr = distinct[2]<42 : i32>
  22 "test.op"() {distinct.attr = distinct[42]<42 : i32>} : () -> ()
  23
  24 // CHECK: distinct.attr = distinct[3]<>
  25 "test.op"() {distinct.attr = distinct[3]<>} : () -> ()
  26
  27 // CHECK: distinct.attr = distinct[4]<>
  28 "test.op"() {distinct.attr = distinct[4]<unit>} : () -> ()