Update IntrinsicsWebAssembly.td

Author: 0xGeorgii

llvm/include/llvm/IR/IntrinsicsWebAssembly.td

@@ -121,10 +121,10 @@ def int_wasm_trunc_saturate_unsigned :
 // Uzumaki intrinsics
 
 def int_wasm_uzumaki_i32 :
-  DefaultAttrsIntrinsic<[llvm_i32_ty], [], [IntrNoMem]>;
+  DefaultAttrsIntrinsic<[llvm_i32_ty], [], [IntrNoMem, IntrHasSideEffects]>;
 
 def int_wasm_uzumaki_i64 :
-  DefaultAttrsIntrinsic<[llvm_i64_ty], [], [IntrNoMem]>;
+  DefaultAttrsIntrinsic<[llvm_i64_ty], [], [IntrNoMem, IntrHasSideEffects]>;
 
 //===----------------------------------------------------------------------===//
 // Inference block intrinsics
@@ -135,28 +135,28 @@ def int_wasm_uzumaki_i64 :
 // transforms into proper blocks
 
 def int_wasm_forall_start :
-  DefaultAttrsIntrinsic<[], [], [IntrHasSideEffects]>;
+  DefaultAttrsIntrinsic<[], [], [IntrNoMem, IntrHasSideEffects]>;
 
 def int_wasm_forall_end :
-  DefaultAttrsIntrinsic<[], [], [IntrHasSideEffects]>;
+  DefaultAttrsIntrinsic<[], [], [IntrNoMem, IntrHasSideEffects]>;
 
 def int_wasm_exists_start :
-  DefaultAttrsIntrinsic<[], [], [IntrHasSideEffects]>;
+  DefaultAttrsIntrinsic<[], [], [IntrNoMem, IntrHasSideEffects]>;
 
 def int_wasm_exists_end :
-  DefaultAttrsIntrinsic<[], [], [IntrHasSideEffects]>;
+  DefaultAttrsIntrinsic<[], [], [IntrNoMem, IntrHasSideEffects]>;
 
 def int_wasm_assume_start :
-  DefaultAttrsIntrinsic<[], [], [IntrHasSideEffects]>;
+  DefaultAttrsIntrinsic<[], [], [IntrNoMem, IntrHasSideEffects]>;
 
 def int_wasm_assume_end :
-  DefaultAttrsIntrinsic<[], [], [IntrHasSideEffects]>;
+  DefaultAttrsIntrinsic<[], [], [IntrNoMem, IntrHasSideEffects]>;
 
 def int_wasm_unique_start :
-  DefaultAttrsIntrinsic<[], [], [IntrHasSideEffects]>;
+  DefaultAttrsIntrinsic<[], [], [IntrNoMem, IntrHasSideEffects]>;
 
 def int_wasm_unique_end :
-  DefaultAttrsIntrinsic<[], [], [IntrHasSideEffects]>;
+  DefaultAttrsIntrinsic<[], [], [IntrNoMem, IntrHasSideEffects]>;
 
 //===----------------------------------------------------------------------===//
 // Exception handling intrinsics