[flang-commits] [flang] [flang][rfc] Add represention of volatile references (PR #132486)

[Tom Eccles via flang-commits]

================
@@ -37,6 +37,15 @@ namespace {
 #include "flang/Optimizer/Dialect/CanonicalizationPatterns.inc"
 } // namespace
 
+static void addVolatileMemoryEffects(
+    mlir::Type type, llvm::SmallVectorImpl<mlir::SideEffects::EffectInstance<
+                         mlir::MemoryEffects::Effect>> &effects) {
+  if (fir::isa_volatile_ref_type(type)) {
+    effects.emplace_back(mlir::MemoryEffects::Read::get());
+    effects.emplace_back(mlir::MemoryEffects::Write::get());
----------------
tblah wrote:

What was your reasoning for adding both read and write? Maybe this should be modeled as unknown memory effects?

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