mlir/test/Conversion/MemRefToLLVM/invalid.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 "foo" to integer address space failed. Consider adding memory space conversions.
   6 // CHECK-LABEL: @bad_address_space
   7 func.func @bad_address_space(%a: memref<2xindex, "foo">) {
   8     %c0 = arith.constant 0 : index
   9     // CHECK: memref.store
  10     memref.store %c0, %a[%c0] : memref<2xindex, "foo">
  11     return
  12 }