mlir/test/Conversion/MemRefToLLVM/issue-70160.mlir

   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
   7 func.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 }