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