[Mlir-commits] [mlir] [mlir][GPU] Improve handling of GPU bounds (PR #95166)

[Krzysztof Drewniak]

krzysz00 wrote:

> I understand your intention. However, I'm asking if we can use a verifier to ensure that the blocksize attribute cannot be present unless `func.func` is within the `gpu.module`?

The specific intent of this change is that that is *not* a requirement.

You are allowed to do 
```
some.other.thing target(SomeGPUTargetAttr) {
  func.func {gpu.known_block_size = array:i32: 64, 2, 1>} {
    ...
   %N = gpu.thread_id x
   ...
  }
}
```

https://github.com/llvm/llvm-project/pull/95166