diff options
Diffstat (limited to 'src/ir/effects.h')
-rw-r--r-- | src/ir/effects.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ir/effects.h b/src/ir/effects.h index 5483242b5..71957d1f8 100644 --- a/src/ir/effects.h +++ b/src/ir/effects.h @@ -415,6 +415,11 @@ private: } parent.implicitTrap = true; } + void visitPrefetch(Prefetch* curr) { + // Do not reorder with respect to other memory ops + parent.writesMemory = true; + parent.readsMemory = true; + } void visitMemoryInit(MemoryInit* curr) { parent.writesMemory = true; parent.implicitTrap = true; |