X-Git-Url: http://plrg.eecs.uci.edu/git/?p=oota-llvm.git;a=blobdiff_plain;f=include%2Fllvm%2FIR%2FIntrinsicsWebAssembly.td;h=3953aef43dad8d19ed94e77e44f5a9147ddd9afe;hp=04edae5294fa9e2dac7177129beaee35506b7a0b;hb=db61103ea811b2fc0443e6438da3067a19ba1793;hpb=216303e8fdb41429edd615c5fb9bd992201e4ee3

diff --git a/include/llvm/IR/IntrinsicsWebAssembly.td b/include/llvm/IR/IntrinsicsWebAssembly.td
index 04edae5294f..3953aef43da 100644
--- a/include/llvm/IR/IntrinsicsWebAssembly.td
+++ b/include/llvm/IR/IntrinsicsWebAssembly.td
@@ -14,8 +14,9 @@
 
 let TargetPrefix = "wasm" in {  // All intrinsics start with "llvm.wasm.".
 
-def int_wasm_page_size : Intrinsic<[llvm_anyint_ty], [], [IntrNoMem]>;
-def int_wasm_memory_size : Intrinsic<[llvm_anyint_ty], [], [IntrNoMem]>;
-def int_wasm_resize_memory : Intrinsic<[], [llvm_anyint_ty], []>;
+// Note that memory_size is not IntrNoMem because it must be sequenced with
+// respect to grow_memory calls.
+def int_wasm_memory_size : Intrinsic<[llvm_anyint_ty], [], [IntrReadMem]>;
+def int_wasm_grow_memory : Intrinsic<[], [llvm_anyint_ty], []>;
 
 }