[all-commits] [llvm/llvm-project] 50c33a: [MLIR] Harden gpu.func verification

[Christian Sigg via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 50c33a3a9cb654cd659e134a90a3242e9544eba5
      https://github.com/llvm/llvm-project/commit/50c33a3a9cb654cd659e134a90a3242e9544eba5
  Author: Christian Sigg <csigg at google.com>
  Date:   2022-08-23 (Tue, 23 Aug 2022)

  Changed paths:
    M mlir/lib/Dialect/GPU/IR/GPUDialect.cpp
    M mlir/test/Dialect/GPU/invalid.mlir

  Log Message:
  -----------
  [MLIR] Harden gpu.func verification

GPUFuncOpLowering moves the body out of gpu.func op and erases it. An empty gpu.func may fail verification but should not crash it. Verification of an erased op is triggered e.g. with debug printing on.

Reviewed By: akuegel

Differential Revision: https://reviews.llvm.org/D132446