// RUN: mlir-opt %s -mlir-print-local-scope | FileCheck %s --dump-input-on-failure // CHECK: "foo.op"() : () -> memref (d0 * 2)>> "foo.op"() : () -> (memref (2*d0)>>)