29 lines · plain
1// RUN: mlir-opt %s | FileCheck %s2// RUN: mlir-opt -mlir-print-local-scope %s | FileCheck %s --check-prefix=CHECK-GENERIC3 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>} : () -> ()29