1// RUN: mlir-opt %s -finalize-memref-to-llvm 2>&1 | FileCheck %s 2// Since the error is at an unknown location, we use FileCheck instead of 3// -veri-y-diagnostics here 4 5// CHECK: conversion of memref memory space #gpu.address_space<workgroup> to integer address space failed. Consider adding memory space conversions 6// CHECK-LABEL: @issue_70160 7func.func @issue_70160() { 8 %alloc = memref.alloc() : memref<1x32x33xi32, #gpu.address_space<workgroup>> 9 %alloc1 = memref.alloc() : memref<i32> 10 %c0 = arith.constant 0 : index 11 // CHECK: memref.load 12 %0 = memref.load %alloc[%c0, %c0, %c0] : memref<1x32x33xi32, #gpu.address_space<workgroup>> 13 memref.store %0, %alloc1[] : memref<i32> 14 func.return 15} 16