// RUN: mlir-opt -allow-unregistered-dialect %s -mlir-print-local-scope | FileCheck %s // CHECK: "foo.op"() : () -> memref (d0 * 2)>> "foo.op"() : () -> (memref (2*d0)>>)