[Mlir-commits] [mlir] [mlir][affine][gpu] support unroll dynamic value and apply it to gpu.thread_id op (PR #128113)

[lonely eagle]

linuxlonelyeagle wrote:

I feel like this question is very abstract.Is there something wrong with the lattice I got this way?It works just fine on the existing tests.I'm wondering if there's a potential problem here?Thanks.
```
  solver.load<dataflow::IntegerRangeAnalysis>();
  if (failed(solver.initializeAndRun(
          forOp->getParentOfType<FunctionOpInterface>())))
    return;
  LLVM_DEBUG(llvm::dbgs() << "after init and run");
  for (unsigned i = numDim, e = operands.size(); i < e; ++i) {
    Value operand = operands[i];
    auto lattice =
        solver.lookupState<dataflow::IntegerValueRangeLattice>(operand);
```

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