[PATCH] D112445: [fir] Add fir.array_access op

[Valentin Clement via Phabricator via llvm-commits]

clementval added inline comments.


================
Comment at: flang/include/flang/Optimizer/Dialect/FIROps.td:1570
+
+    It is only possible to use `array_access` on an `array_load` result value or
+    a value that can be trace back transitively to an `array_load` as the
----------------
kiranchandramohan wrote:
> Can this be verified in the verifier? Or is it too costly due to the transitive look up?
I think that it can be done. Do you mind if we do a separate patch for this?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D112445/new/

https://reviews.llvm.org/D112445