[all-commits] [llvm/llvm-project] 94189e: [mlir][spirv] Implement missing validation rules f...

[Jakub Kuderski via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 94189e101c232d2f5911d34da857df815955470e
      https://github.com/llvm/llvm-project/commit/94189e101c232d2f5911d34da857df815955470e
  Author: Jakub Kuderski <jakub at nod-labs.com>
  Date:   2023-09-30 (Sat, 30 Sep 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/SPIRV/IR/SPIRVMemoryOps.td
    M mlir/lib/Dialect/SPIRV/IR/MemoryOps.cpp
    M mlir/test/Dialect/SPIRV/IR/memory-ops.mlir

  Log Message:
  -----------
  [mlir][spirv] Implement missing validation rules for ptr variables (#67871)

Variables that point to physical storage buffer require aliasing
decorations. This is specified by the `SPV_KHR_physical_storage_buffer`
extension.

Also add an example of a variable with a decoration attribute.