1// RUN: mlir-opt %s -split-input-file | mlir-opt | FileCheck %s 2 3// CHECK-LABEL: func @ptr_test 4// CHECK: (%[[ARG0:.*]]: !ptr.ptr, %[[ARG1:.*]]: !ptr.ptr<1 : i32>) 5// CHECK: -> (!ptr.ptr<1 : i32>, !ptr.ptr) 6func.func @ptr_test(%arg0: !ptr.ptr, %arg1: !ptr.ptr<1 : i32>) -> (!ptr.ptr<1 : i32>, !ptr.ptr) { 7 // CHECK: return %[[ARG1]], %[[ARG0]] : !ptr.ptr<1 : i32>, !ptr.ptr 8 return %arg1, %arg0 : !ptr.ptr<1 : i32>, !ptr.ptr 9} 10 11// ----- 12 13// CHECK-LABEL: func @ptr_test 14// CHECK: %[[ARG:.*]]: memref<!ptr.ptr> 15func.func @ptr_test(%arg0: memref<!ptr.ptr>) { 16 return 17} 18