From 896bcd3cf7e0c9844b10cc108c6e831f2814e6b8 Mon Sep 17 00:00:00 2001
From: Ian Wood <ianwood2024@u.northwestern.edu>
Date: Sun, 13 Oct 2024 15:06:32 -0500
Subject: [PATCH] Add NoMemoryEffect for ops with value semantics

---
 .../Dialect/Torch/IR/GeneratedTorchOps.td     | 529 ++++++++++++++++++
 .../build_tools/torch_ods_gen.py              |   1 +
 2 files changed, 530 insertions(+)

diff --git a/include/torch-mlir/Dialect/Torch/IR/GeneratedTorchOps.td b/include/torch-mlir/Dialect/Torch/IR/GeneratedTorchOps.td
index b1a670b6d..814881e06 100644
--- a/include/torch-mlir/Dialect/Torch/IR/GeneratedTorchOps.td
+++ b/include/torch-mlir/Dialect/Torch/IR/GeneratedTorchOps.td
@@ -22,6 +22,7 @@
 def Torch_AtenHardtanhOp : Torch_Op<"aten.hardtanh", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::hardtanh : (Tensor, Scalar, Scalar) -> (Tensor)`";
@@ -71,6 +72,7 @@ def Torch_AtenHardtanh_Op : Torch_Op<"aten.hardtanh_", [
 def Torch_AtenEluOp : Torch_Op<"aten.elu", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::elu : (Tensor, Scalar, Scalar, Scalar) -> (Tensor)`";
@@ -122,6 +124,7 @@ def Torch_AtenElu_Op : Torch_Op<"aten.elu_", [
 def Torch_AtenReluOp : Torch_Op<"aten.relu", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::relu : (Tensor) -> (Tensor)`";
@@ -167,6 +170,7 @@ def Torch_AtenRelu_Op : Torch_Op<"aten.relu_", [
 def Torch_AtenRelu6Op : Torch_Op<"aten.relu6", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::relu6 : (Tensor) -> (Tensor)`";
@@ -212,6 +216,7 @@ def Torch_AtenRelu6_Op : Torch_Op<"aten.relu6_", [
 def Torch_AtenLeakyReluOp : Torch_Op<"aten.leaky_relu", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::leaky_relu : (Tensor, Scalar) -> (Tensor)`";
@@ -259,6 +264,7 @@ def Torch_AtenLeakyRelu_Op : Torch_Op<"aten.leaky_relu_", [
 def Torch_AtenRreluOp : Torch_Op<"aten.rrelu", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::rrelu : (Tensor, Scalar, Scalar, bool, Generator?) -> (Tensor)`";
@@ -312,6 +318,7 @@ def Torch_AtenRrelu_Op : Torch_Op<"aten.rrelu_", [
 def Torch_AtenCeluOp : Torch_Op<"aten.celu", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::celu : (Tensor, Scalar) -> (Tensor)`";
@@ -359,6 +366,7 @@ def Torch_AtenCelu_Op : Torch_Op<"aten.celu_", [
 def Torch_AtenSeluOp : Torch_Op<"aten.selu", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::selu : (Tensor) -> (Tensor)`";
@@ -404,6 +412,7 @@ def Torch_AtenSelu_Op : Torch_Op<"aten.selu_", [
 def Torch_AtenSigmoidOp : Torch_Op<"aten.sigmoid", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sigmoid : (Tensor) -> (Tensor)`";
@@ -449,6 +458,7 @@ def Torch_AtenSigmoid_Op : Torch_Op<"aten.sigmoid_", [
 def Torch_AtenSinhOp : Torch_Op<"aten.sinh", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sinh : (Tensor) -> (Tensor)`";
@@ -494,6 +504,7 @@ def Torch_AtenSinh_Op : Torch_Op<"aten.sinh_", [
 def Torch_AtenSgnOp : Torch_Op<"aten.sgn", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sgn : (Tensor) -> (Tensor)`";
@@ -539,6 +550,7 @@ def Torch_AtenSgn_Op : Torch_Op<"aten.sgn_", [
 def Torch_AtenHardsigmoidOp : Torch_Op<"aten.hardsigmoid", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::hardsigmoid : (Tensor) -> (Tensor)`";
@@ -584,6 +596,7 @@ def Torch_AtenHardsigmoid_Op : Torch_Op<"aten.hardsigmoid_", [
 def Torch_AtenHardswishOp : Torch_Op<"aten.hardswish", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::hardswish : (Tensor) -> (Tensor)`";
@@ -629,6 +642,7 @@ def Torch_AtenHardswish_Op : Torch_Op<"aten.hardswish_", [
 def Torch_AtenErfOp : Torch_Op<"aten.erf", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::erf : (Tensor) -> (Tensor)`";
@@ -674,6 +688,7 @@ def Torch_AtenErf_Op : Torch_Op<"aten.erf_", [
 def Torch_AtenErfinvOp : Torch_Op<"aten.erfinv", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::erfinv : (Tensor) -> (Tensor)`";
@@ -719,6 +734,7 @@ def Torch_AtenErfinv_Op : Torch_Op<"aten.erfinv_", [
 def Torch_AtenSiluOp : Torch_Op<"aten.silu", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::silu : (Tensor) -> (Tensor)`";
@@ -764,6 +780,7 @@ def Torch_AtenSilu_Op : Torch_Op<"aten.silu_", [
 def Torch_AtenSinOp : Torch_Op<"aten.sin", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sin : (Tensor) -> (Tensor)`";
@@ -809,6 +826,7 @@ def Torch_AtenSin_Op : Torch_Op<"aten.sin_", [
 def Torch_AtenAsinOp : Torch_Op<"aten.asin", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::asin : (Tensor) -> (Tensor)`";
@@ -854,6 +872,7 @@ def Torch_AtenAsin_Op : Torch_Op<"aten.asin_", [
 def Torch_AtenAsinhOp : Torch_Op<"aten.asinh", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::asinh : (Tensor) -> (Tensor)`";
@@ -899,6 +918,7 @@ def Torch_AtenAsinh_Op : Torch_Op<"aten.asinh_", [
 def Torch_AtenExpOp : Torch_Op<"aten.exp", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::exp : (Tensor) -> (Tensor)`";
@@ -944,6 +964,7 @@ def Torch_AtenExp_Op : Torch_Op<"aten.exp_", [
 def Torch_AtenExpm1Op : Torch_Op<"aten.expm1", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::expm1 : (Tensor) -> (Tensor)`";
@@ -989,6 +1010,7 @@ def Torch_AtenExpm1_Op : Torch_Op<"aten.expm1_", [
 def Torch_AtenCosOp : Torch_Op<"aten.cos", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::cos : (Tensor) -> (Tensor)`";
@@ -1034,6 +1056,7 @@ def Torch_AtenCos_Op : Torch_Op<"aten.cos_", [
 def Torch_AtenCoshOp : Torch_Op<"aten.cosh", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::cosh : (Tensor) -> (Tensor)`";
@@ -1079,6 +1102,7 @@ def Torch_AtenCosh_Op : Torch_Op<"aten.cosh_", [
 def Torch_AtenAcosOp : Torch_Op<"aten.acos", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::acos : (Tensor) -> (Tensor)`";
@@ -1124,6 +1148,7 @@ def Torch_AtenAcos_Op : Torch_Op<"aten.acos_", [
 def Torch_AtenAcoshOp : Torch_Op<"aten.acosh", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::acosh : (Tensor) -> (Tensor)`";
@@ -1169,6 +1194,7 @@ def Torch_AtenAcosh_Op : Torch_Op<"aten.acosh_", [
 def Torch_AtenTanOp : Torch_Op<"aten.tan", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::tan : (Tensor) -> (Tensor)`";
@@ -1214,6 +1240,7 @@ def Torch_AtenTan_Op : Torch_Op<"aten.tan_", [
 def Torch_AtenTanhOp : Torch_Op<"aten.tanh", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::tanh : (Tensor) -> (Tensor)`";
@@ -1259,6 +1286,7 @@ def Torch_AtenTanh_Op : Torch_Op<"aten.tanh_", [
 def Torch_AtenAtanOp : Torch_Op<"aten.atan", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::atan : (Tensor) -> (Tensor)`";
@@ -1304,6 +1332,7 @@ def Torch_AtenAtan_Op : Torch_Op<"aten.atan_", [
 def Torch_AtenAtanhOp : Torch_Op<"aten.atanh", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::atanh : (Tensor) -> (Tensor)`";
@@ -1349,6 +1378,7 @@ def Torch_AtenAtanh_Op : Torch_Op<"aten.atanh_", [
 def Torch_AtenAtan2Op : Torch_Op<"aten.atan2", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::atan2 : (Tensor, Tensor) -> (Tensor)`";
@@ -1396,6 +1426,7 @@ def Torch_AtenAtan2_Op : Torch_Op<"aten.atan2_", [
 def Torch_AtenNegOp : Torch_Op<"aten.neg", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::neg : (Tensor) -> (Tensor)`";
@@ -1441,6 +1472,7 @@ def Torch_AtenNeg_Op : Torch_Op<"aten.neg_", [
 def Torch_AtenBitwiseNotOp : Torch_Op<"aten.bitwise_not", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bitwise_not : (Tensor) -> (Tensor)`";
@@ -1486,6 +1518,7 @@ def Torch_AtenBitwiseNot_Op : Torch_Op<"aten.bitwise_not_", [
 def Torch_AtenDivTensorOp : Torch_Op<"aten.div.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::div.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -1533,6 +1566,7 @@ def Torch_AtenDiv_TensorOp : Torch_Op<"aten.div_.Tensor", [
 def Torch_AtenLogicalOrOp : Torch_Op<"aten.logical_or", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::logical_or : (Tensor, Tensor) -> (Tensor)`";
@@ -1580,6 +1614,7 @@ def Torch_AtenLogicalOr_Op : Torch_Op<"aten.logical_or_", [
 def Torch_AtenLogicalAndOp : Torch_Op<"aten.logical_and", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::logical_and : (Tensor, Tensor) -> (Tensor)`";
@@ -1627,6 +1662,7 @@ def Torch_AtenLogicalAnd_Op : Torch_Op<"aten.logical_and_", [
 def Torch_AtenLogicalXorOp : Torch_Op<"aten.logical_xor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::logical_xor : (Tensor, Tensor) -> (Tensor)`";
@@ -1674,6 +1710,7 @@ def Torch_AtenLogicalXor_Op : Torch_Op<"aten.logical_xor_", [
 def Torch_AtenLogicalNotOp : Torch_Op<"aten.logical_not", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::logical_not : (Tensor) -> (Tensor)`";
@@ -1719,6 +1756,7 @@ def Torch_AtenLogicalNot_Op : Torch_Op<"aten.logical_not_", [
 def Torch_AtenLerpTensorOp : Torch_Op<"aten.lerp.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::lerp.Tensor : (Tensor, Tensor, Tensor) -> (Tensor)`";
@@ -1768,6 +1806,7 @@ def Torch_AtenLerp_TensorOp : Torch_Op<"aten.lerp_.Tensor", [
 def Torch_AtenLerpScalarOp : Torch_Op<"aten.lerp.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::lerp.Scalar : (Tensor, Tensor, Scalar) -> (Tensor)`";
@@ -1817,6 +1856,7 @@ def Torch_AtenLerp_ScalarOp : Torch_Op<"aten.lerp_.Scalar", [
 def Torch_AtenGtTensorOp : Torch_Op<"aten.gt.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::gt.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -1864,6 +1904,7 @@ def Torch_AtenGt_TensorOp : Torch_Op<"aten.gt_.Tensor", [
 def Torch_AtenGeTensorOp : Torch_Op<"aten.ge.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ge.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -1911,6 +1952,7 @@ def Torch_AtenGe_TensorOp : Torch_Op<"aten.ge_.Tensor", [
 def Torch_AtenLtTensorOp : Torch_Op<"aten.lt.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::lt.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -1958,6 +2000,7 @@ def Torch_AtenLt_TensorOp : Torch_Op<"aten.lt_.Tensor", [
 def Torch_AtenLeTensorOp : Torch_Op<"aten.le.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::le.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -2005,6 +2048,7 @@ def Torch_AtenLe_TensorOp : Torch_Op<"aten.le_.Tensor", [
 def Torch_AtenNeTensorOp : Torch_Op<"aten.ne.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ne.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -2052,6 +2096,7 @@ def Torch_AtenNe_TensorOp : Torch_Op<"aten.ne_.Tensor", [
 def Torch_AtenDivScalarOp : Torch_Op<"aten.div.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::div.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -2099,6 +2144,7 @@ def Torch_AtenDiv_ScalarOp : Torch_Op<"aten.div_.Scalar", [
 def Torch_AtenFmodScalarOp : Torch_Op<"aten.fmod.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fmod.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -2146,6 +2192,7 @@ def Torch_AtenFmod_ScalarOp : Torch_Op<"aten.fmod_.Scalar", [
 def Torch_AtenMaskedFillScalarOp : Torch_Op<"aten.masked_fill.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::masked_fill.Scalar : (Tensor, Tensor, Scalar) -> (Tensor)`";
@@ -2195,6 +2242,7 @@ def Torch_AtenMaskedFill_ScalarOp : Torch_Op<"aten.masked_fill_.Scalar", [
 def Torch_AtenClampOp : Torch_Op<"aten.clamp", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::clamp : (Tensor, Scalar?, Scalar?) -> (Tensor)`";
@@ -2244,6 +2292,7 @@ def Torch_AtenClamp_Op : Torch_Op<"aten.clamp_", [
 def Torch_AtenClampTensorOp : Torch_Op<"aten.clamp.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::clamp.Tensor : (Tensor, Tensor?, Tensor?) -> (Tensor)`";
@@ -2293,6 +2342,7 @@ def Torch_AtenClamp_TensorOp : Torch_Op<"aten.clamp_.Tensor", [
 def Torch_AtenClampMinOp : Torch_Op<"aten.clamp_min", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::clamp_min : (Tensor, Scalar) -> (Tensor)`";
@@ -2340,6 +2390,7 @@ def Torch_AtenClampMin_Op : Torch_Op<"aten.clamp_min_", [
 def Torch_AtenClampMinTensorOp : Torch_Op<"aten.clamp_min.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::clamp_min.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -2387,6 +2438,7 @@ def Torch_AtenClampMin_TensorOp : Torch_Op<"aten.clamp_min_.Tensor", [
 def Torch_AtenClampMaxOp : Torch_Op<"aten.clamp_max", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::clamp_max : (Tensor, Scalar) -> (Tensor)`";
@@ -2434,6 +2486,7 @@ def Torch_AtenClampMax_Op : Torch_Op<"aten.clamp_max_", [
 def Torch_AtenClampMaxTensorOp : Torch_Op<"aten.clamp_max.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::clamp_max.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -2481,6 +2534,7 @@ def Torch_AtenClampMax_TensorOp : Torch_Op<"aten.clamp_max_.Tensor", [
 def Torch_AtenLog2Op : Torch_Op<"aten.log2", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::log2 : (Tensor) -> (Tensor)`";
@@ -2526,6 +2580,7 @@ def Torch_AtenLog2_Op : Torch_Op<"aten.log2_", [
 def Torch_AtenLog10Op : Torch_Op<"aten.log10", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::log10 : (Tensor) -> (Tensor)`";
@@ -2571,6 +2626,7 @@ def Torch_AtenLog10_Op : Torch_Op<"aten.log10_", [
 def Torch_AtenSqrtOp : Torch_Op<"aten.sqrt", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sqrt : (Tensor) -> (Tensor)`";
@@ -2616,6 +2672,7 @@ def Torch_AtenSqrt_Op : Torch_Op<"aten.sqrt_", [
 def Torch_AtenLog1pOp : Torch_Op<"aten.log1p", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::log1p : (Tensor) -> (Tensor)`";
@@ -2661,6 +2718,7 @@ def Torch_AtenLog1p_Op : Torch_Op<"aten.log1p_", [
 def Torch_AtenLogitOp : Torch_Op<"aten.logit", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::logit : (Tensor, float?) -> (Tensor)`";
@@ -2708,6 +2766,7 @@ def Torch_AtenLogit_Op : Torch_Op<"aten.logit_", [
 def Torch_AtenRsqrtOp : Torch_Op<"aten.rsqrt", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::rsqrt : (Tensor) -> (Tensor)`";
@@ -2753,6 +2812,7 @@ def Torch_AtenRsqrt_Op : Torch_Op<"aten.rsqrt_", [
 def Torch_AtenAbsOp : Torch_Op<"aten.abs", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::abs : (Tensor) -> (Tensor)`";
@@ -2798,6 +2858,7 @@ def Torch_AtenAbs_Op : Torch_Op<"aten.abs_", [
 def Torch_AtenReciprocalOp : Torch_Op<"aten.reciprocal", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::reciprocal : (Tensor) -> (Tensor)`";
@@ -2843,6 +2904,7 @@ def Torch_AtenReciprocal_Op : Torch_Op<"aten.reciprocal_", [
 def Torch_AtenBitwiseAndTensorOp : Torch_Op<"aten.bitwise_and.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bitwise_and.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -2890,6 +2952,7 @@ def Torch_AtenBitwiseAnd_TensorOp : Torch_Op<"aten.bitwise_and_.Tensor", [
 def Torch_AtenBitwiseAndScalarOp : Torch_Op<"aten.bitwise_and.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bitwise_and.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -2937,6 +3000,7 @@ def Torch_AtenBitwiseAnd_ScalarOp : Torch_Op<"aten.bitwise_and_.Scalar", [
 def Torch_AtenBitwiseOrTensorOp : Torch_Op<"aten.bitwise_or.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bitwise_or.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -2984,6 +3048,7 @@ def Torch_AtenBitwiseOr_TensorOp : Torch_Op<"aten.bitwise_or_.Tensor", [
 def Torch_AtenBitwiseXorTensorOp : Torch_Op<"aten.bitwise_xor.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bitwise_xor.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -3031,6 +3096,7 @@ def Torch_AtenBitwiseXor_TensorOp : Torch_Op<"aten.bitwise_xor_.Tensor", [
 def Torch_AtenBitwiseLeftShiftTensorOp : Torch_Op<"aten.bitwise_left_shift.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bitwise_left_shift.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -3078,6 +3144,7 @@ def Torch_AtenBitwiseLeftShift_TensorOp : Torch_Op<"aten.bitwise_left_shift_.Ten
 def Torch_AtenBitwiseRightShiftTensorOp : Torch_Op<"aten.bitwise_right_shift.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bitwise_right_shift.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -3125,6 +3192,7 @@ def Torch_AtenBitwiseRightShift_TensorOp : Torch_Op<"aten.bitwise_right_shift_.T
 def Torch_AtenThresholdOp : Torch_Op<"aten.threshold", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::threshold : (Tensor, Scalar, Scalar) -> (Tensor)`";
@@ -3174,6 +3242,7 @@ def Torch_AtenThreshold_Op : Torch_Op<"aten.threshold_", [
 def Torch_AtenSquareOp : Torch_Op<"aten.square", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::square : (Tensor) -> (Tensor)`";
@@ -3219,6 +3288,7 @@ def Torch_AtenSquare_Op : Torch_Op<"aten.square_", [
 def Torch_AtenZeroOp : Torch_Op<"aten.zero", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::zero : (Tensor) -> (Tensor)`";
@@ -3264,6 +3334,7 @@ def Torch_AtenZero_Op : Torch_Op<"aten.zero_", [
 def Torch_AtenFillScalarOp : Torch_Op<"aten.fill.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fill.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -3311,6 +3382,7 @@ def Torch_AtenFill_ScalarOp : Torch_Op<"aten.fill_.Scalar", [
 def Torch_AtenFillTensorOp : Torch_Op<"aten.fill.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fill.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -3405,6 +3477,7 @@ def Torch_AtenUnsqueeze_Op : Torch_Op<"aten.unsqueeze_", [
 def Torch_AtenDivTensorModeOp : Torch_Op<"aten.div.Tensor_mode", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::div.Tensor_mode : (Tensor, Tensor, str?) -> (Tensor)`";
@@ -3455,6 +3528,7 @@ def Torch_AtenDiv_TensorModeOp : Torch_Op<"aten.div_.Tensor_mode", [
 def Torch_AtenDivScalarModeOp : Torch_Op<"aten.div.Scalar_mode", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::div.Scalar_mode : (Tensor, Scalar, str?) -> (Tensor)`";
@@ -3505,6 +3579,7 @@ def Torch_AtenDiv_ScalarModeOp : Torch_Op<"aten.div_.Scalar_mode", [
 def Torch_AtenMulTensorOp : Torch_Op<"aten.mul.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mul.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -3554,6 +3629,7 @@ def Torch_AtenMul_TensorOp : Torch_Op<"aten.mul_.Tensor", [
 def Torch_AtenAddTensorOp : Torch_Op<"aten.add.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::add.Tensor : (Tensor, Tensor, Scalar) -> (Tensor)`";
@@ -3605,6 +3681,7 @@ def Torch_AtenAdd_TensorOp : Torch_Op<"aten.add_.Tensor", [
 def Torch_AtenSubTensorOp : Torch_Op<"aten.sub.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sub.Tensor : (Tensor, Tensor, Scalar) -> (Tensor)`";
@@ -3656,6 +3733,7 @@ def Torch_AtenSub_TensorOp : Torch_Op<"aten.sub_.Tensor", [
 def Torch_AtenAddScalarOp : Torch_Op<"aten.add.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::add.Scalar : (Tensor, Scalar, Scalar) -> (Tensor)`";
@@ -3707,6 +3785,7 @@ def Torch_AtenAdd_ScalarOp : Torch_Op<"aten.add_.Scalar", [
 def Torch_AtenSubScalarOp : Torch_Op<"aten.sub.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sub.Scalar : (Tensor, Scalar, Scalar) -> (Tensor)`";
@@ -3758,6 +3837,7 @@ def Torch_AtenSub_ScalarOp : Torch_Op<"aten.sub_.Scalar", [
 def Torch_AtenMulScalarOp : Torch_Op<"aten.mul.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mul.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -3807,6 +3887,7 @@ def Torch_AtenMul_ScalarOp : Torch_Op<"aten.mul_.Scalar", [
 def Torch_AtenEqTensorOp : Torch_Op<"aten.eq.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::eq.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -3855,6 +3936,7 @@ def Torch_AtenEq_TensorOp : Torch_Op<"aten.eq_.Tensor", [
 def Torch_AtenLeScalarOp : Torch_Op<"aten.le.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::le.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -3903,6 +3985,7 @@ def Torch_AtenLe_ScalarOp : Torch_Op<"aten.le_.Scalar", [
 def Torch_AtenLtScalarOp : Torch_Op<"aten.lt.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::lt.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -3951,6 +4034,7 @@ def Torch_AtenLt_ScalarOp : Torch_Op<"aten.lt_.Scalar", [
 def Torch_AtenGtScalarOp : Torch_Op<"aten.gt.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::gt.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -3999,6 +4083,7 @@ def Torch_AtenGt_ScalarOp : Torch_Op<"aten.gt_.Scalar", [
 def Torch_AtenGeScalarOp : Torch_Op<"aten.ge.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ge.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -4047,6 +4132,7 @@ def Torch_AtenGe_ScalarOp : Torch_Op<"aten.ge_.Scalar", [
 def Torch_AtenEqScalarOp : Torch_Op<"aten.eq.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::eq.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -4095,6 +4181,7 @@ def Torch_AtenEq_ScalarOp : Torch_Op<"aten.eq_.Scalar", [
 def Torch_AtenNeScalarOp : Torch_Op<"aten.ne.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ne.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -4143,6 +4230,7 @@ def Torch_AtenNe_ScalarOp : Torch_Op<"aten.ne_.Scalar", [
 def Torch_AtenLogOp : Torch_Op<"aten.log", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::log : (Tensor) -> (Tensor)`";
@@ -4189,6 +4277,7 @@ def Torch_AtenLog_Op : Torch_Op<"aten.log_", [
 def Torch_AtenFloorOp : Torch_Op<"aten.floor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::floor : (Tensor) -> (Tensor)`";
@@ -4235,6 +4324,7 @@ def Torch_AtenFloor_Op : Torch_Op<"aten.floor_", [
 def Torch_AtenCeilOp : Torch_Op<"aten.ceil", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ceil : (Tensor) -> (Tensor)`";
@@ -4281,6 +4371,7 @@ def Torch_AtenCeil_Op : Torch_Op<"aten.ceil_", [
 def Torch_AtenRoundOp : Torch_Op<"aten.round", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::round : (Tensor) -> (Tensor)`";
@@ -4327,6 +4418,7 @@ def Torch_AtenRound_Op : Torch_Op<"aten.round_", [
 def Torch_AtenTruncOp : Torch_Op<"aten.trunc", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::trunc : (Tensor) -> (Tensor)`";
@@ -4373,6 +4465,7 @@ def Torch_AtenTrunc_Op : Torch_Op<"aten.trunc_", [
 def Torch_AtenSignOp : Torch_Op<"aten.sign", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sign : (Tensor) -> (Tensor)`";
@@ -4419,6 +4512,7 @@ def Torch_AtenSign_Op : Torch_Op<"aten.sign_", [
 def Torch_AtenMaskedFillTensorOp : Torch_Op<"aten.masked_fill.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::masked_fill.Tensor : (Tensor, Tensor, Tensor) -> (Tensor)`";
@@ -4469,6 +4563,7 @@ def Torch_AtenMaskedFill_TensorOp : Torch_Op<"aten.masked_fill_.Tensor", [
 def Torch_AtenAddcmulOp : Torch_Op<"aten.addcmul", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::addcmul : (Tensor, Tensor, Tensor, Scalar) -> (Tensor)`";
@@ -4520,6 +4615,7 @@ def Torch_AtenAddcmul_Op : Torch_Op<"aten.addcmul_", [
 def Torch_AtenAddcdivOp : Torch_Op<"aten.addcdiv", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::addcdiv : (Tensor, Tensor, Tensor, Scalar) -> (Tensor)`";
@@ -4571,6 +4667,7 @@ def Torch_AtenAddcdiv_Op : Torch_Op<"aten.addcdiv_", [
 def Torch_AtenFakeQuantizePerTensorAffineOp : Torch_Op<"aten.fake_quantize_per_tensor_affine", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fake_quantize_per_tensor_affine : (Tensor, float, int, int, int) -> (Tensor)`";
@@ -4598,6 +4695,7 @@ def Torch_AtenFakeQuantizePerTensorAffineOp : Torch_Op<"aten.fake_quantize_per_t
 def Torch_AtenFakeQuantizePerTensorAffineCachemaskOp : Torch_Op<"aten.fake_quantize_per_tensor_affine_cachemask", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fake_quantize_per_tensor_affine_cachemask : (Tensor, float, int, int, int) -> (Tensor, Tensor)`";
@@ -4626,6 +4724,7 @@ def Torch_AtenFakeQuantizePerTensorAffineCachemaskOp : Torch_Op<"aten.fake_quant
 def Torch_AtenFakeQuantizePerTensorAffineTensorQparamsOp : Torch_Op<"aten.fake_quantize_per_tensor_affine.tensor_qparams", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fake_quantize_per_tensor_affine.tensor_qparams : (Tensor, Tensor, Tensor, int, int) -> (Tensor)`";
@@ -4653,6 +4752,7 @@ def Torch_AtenFakeQuantizePerTensorAffineTensorQparamsOp : Torch_Op<"aten.fake_q
 def Torch_Aten_FakeQuantizePerTensorAffineCachemaskTensorQparamsOp : Torch_Op<"aten._fake_quantize_per_tensor_affine_cachemask_tensor_qparams", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_fake_quantize_per_tensor_affine_cachemask_tensor_qparams : (Tensor, Tensor, Tensor, Tensor, int, int) -> (Tensor, Tensor)`";
@@ -4682,6 +4782,7 @@ def Torch_Aten_FakeQuantizePerTensorAffineCachemaskTensorQparamsOp : Torch_Op<"a
 def Torch_AtenFakeQuantizePerChannelAffineOp : Torch_Op<"aten.fake_quantize_per_channel_affine", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fake_quantize_per_channel_affine : (Tensor, Tensor, Tensor, int, int, int) -> (Tensor)`";
@@ -4710,6 +4811,7 @@ def Torch_AtenFakeQuantizePerChannelAffineOp : Torch_Op<"aten.fake_quantize_per_
 def Torch_AtenFakeQuantizePerChannelAffineCachemaskOp : Torch_Op<"aten.fake_quantize_per_channel_affine_cachemask", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fake_quantize_per_channel_affine_cachemask : (Tensor, Tensor, Tensor, int, int, int) -> (Tensor, Tensor)`";
@@ -4739,6 +4841,7 @@ def Torch_AtenFakeQuantizePerChannelAffineCachemaskOp : Torch_Op<"aten.fake_quan
 def Torch_AtenMaximumOp : Torch_Op<"aten.maximum", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::maximum : (Tensor, Tensor) -> (Tensor)`";
@@ -4763,6 +4866,7 @@ def Torch_AtenMaximumOp : Torch_Op<"aten.maximum", [
 def Torch_AtenMinimumOp : Torch_Op<"aten.minimum", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::minimum : (Tensor, Tensor) -> (Tensor)`";
@@ -4787,6 +4891,7 @@ def Torch_AtenMinimumOp : Torch_Op<"aten.minimum", [
 def Torch_AtenFmaxOp : Torch_Op<"aten.fmax", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fmax : (Tensor, Tensor) -> (Tensor)`";
@@ -4811,6 +4916,7 @@ def Torch_AtenFmaxOp : Torch_Op<"aten.fmax", [
 def Torch_AtenFminOp : Torch_Op<"aten.fmin", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fmin : (Tensor, Tensor) -> (Tensor)`";
@@ -4835,6 +4941,7 @@ def Torch_AtenFminOp : Torch_Op<"aten.fmin", [
 def Torch_AtenMishOp : Torch_Op<"aten.mish", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mish : (Tensor) -> (Tensor)`";
@@ -4858,6 +4965,7 @@ def Torch_AtenMishOp : Torch_Op<"aten.mish", [
 def Torch_AtenXlogyTensorOp : Torch_Op<"aten.xlogy.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::xlogy.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -4882,6 +4990,7 @@ def Torch_AtenXlogyTensorOp : Torch_Op<"aten.xlogy.Tensor", [
 def Torch_AtenRsubScalarOp : Torch_Op<"aten.rsub.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::rsub.Scalar : (Tensor, Scalar, Scalar) -> (Tensor)`";
@@ -4908,6 +5017,7 @@ def Torch_AtenRsubScalarOp : Torch_Op<"aten.rsub.Scalar", [
 def Torch_AtenGeluOp : Torch_Op<"aten.gelu", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::gelu : (Tensor, str) -> (Tensor)`";
@@ -4932,6 +5042,7 @@ def Torch_AtenGeluOp : Torch_Op<"aten.gelu", [
 def Torch_AtenPowTensorScalarOp : Torch_Op<"aten.pow.Tensor_Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::pow.Tensor_Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -4956,6 +5067,7 @@ def Torch_AtenPowTensorScalarOp : Torch_Op<"aten.pow.Tensor_Scalar", [
 def Torch_AtenPowTensorTensorOp : Torch_Op<"aten.pow.Tensor_Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::pow.Tensor_Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -4980,6 +5092,7 @@ def Torch_AtenPowTensorTensorOp : Torch_Op<"aten.pow.Tensor_Tensor", [
 def Torch_AtenPowScalarOp : Torch_Op<"aten.pow.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::pow.Scalar : (Scalar, Tensor) -> (Tensor)`";
@@ -5004,6 +5117,7 @@ def Torch_AtenPowScalarOp : Torch_Op<"aten.pow.Scalar", [
 def Torch_AtenThresholdBackwardOp : Torch_Op<"aten.threshold_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::threshold_backward : (Tensor, Tensor, Scalar) -> (Tensor)`";
@@ -5029,6 +5143,7 @@ def Torch_AtenThresholdBackwardOp : Torch_Op<"aten.threshold_backward", [
 def Torch_AtenFloorDivideOp : Torch_Op<"aten.floor_divide", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::floor_divide : (Tensor, Tensor) -> (Tensor)`";
@@ -5053,6 +5168,7 @@ def Torch_AtenFloorDivideOp : Torch_Op<"aten.floor_divide", [
 def Torch_AtenSoftplusOp : Torch_Op<"aten.softplus", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::softplus : (Tensor, Scalar, Scalar) -> (Tensor)`";
@@ -5078,6 +5194,7 @@ def Torch_AtenSoftplusOp : Torch_Op<"aten.softplus", [
 def Torch_AtenPreluOp : Torch_Op<"aten.prelu", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::prelu : (Tensor, Tensor) -> (Tensor)`";
@@ -5102,6 +5219,7 @@ def Torch_AtenPreluOp : Torch_Op<"aten.prelu", [
 def Torch_AtenRad2degOp : Torch_Op<"aten.rad2deg", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::rad2deg : (Tensor) -> (Tensor)`";
@@ -5125,6 +5243,7 @@ def Torch_AtenRad2degOp : Torch_Op<"aten.rad2deg", [
 def Torch_AtenComplexOp : Torch_Op<"aten.complex", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::complex : (Tensor, Tensor) -> (Tensor)`";
@@ -5237,6 +5356,7 @@ def Torch_AtenViewAsRealOp : Torch_Op<"aten.view_as_real", [
 def Torch_AtenIscloseOp : Torch_Op<"aten.isclose", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::isclose : (Tensor, Tensor, float, float, bool) -> (Tensor)`";
@@ -5264,6 +5384,7 @@ def Torch_AtenIscloseOp : Torch_Op<"aten.isclose", [
 def Torch_AtenGluOp : Torch_Op<"aten.glu", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::glu : (Tensor, int) -> (Tensor)`";
@@ -5288,6 +5409,7 @@ def Torch_AtenGluOp : Torch_Op<"aten.glu", [
 def Torch_AtenLogSigmoidOp : Torch_Op<"aten.log_sigmoid", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::log_sigmoid : (Tensor) -> (Tensor)`";
@@ -5311,6 +5433,7 @@ def Torch_AtenLogSigmoidOp : Torch_Op<"aten.log_sigmoid", [
 def Torch_AtenHardshrinkOp : Torch_Op<"aten.hardshrink", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::hardshrink : (Tensor, Scalar) -> (Tensor)`";
@@ -5335,6 +5458,7 @@ def Torch_AtenHardshrinkOp : Torch_Op<"aten.hardshrink", [
 def Torch_AtenSoftshrinkOp : Torch_Op<"aten.softshrink", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::softshrink : (Tensor, Scalar) -> (Tensor)`";
@@ -5359,6 +5483,7 @@ def Torch_AtenSoftshrinkOp : Torch_Op<"aten.softshrink", [
 def Torch_AtenPolarOp : Torch_Op<"aten.polar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::polar : (Tensor, Tensor) -> (Tensor)`";
@@ -5383,6 +5508,7 @@ def Torch_AtenPolarOp : Torch_Op<"aten.polar", [
 def Torch_AtenUnbindCopyIntOp : Torch_Op<"aten.unbind_copy.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::unbind_copy.int : (Tensor, int) -> (Tensor[])`";
@@ -5407,6 +5533,7 @@ def Torch_AtenUnbindCopyIntOp : Torch_Op<"aten.unbind_copy.int", [
 def Torch_AtenSplitCopyTensorOp : Torch_Op<"aten.split_copy.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::split_copy.Tensor : (Tensor, int, int) -> (Tensor[])`";
@@ -5432,6 +5559,7 @@ def Torch_AtenSplitCopyTensorOp : Torch_Op<"aten.split_copy.Tensor", [
 def Torch_AtenSplitWithSizesCopyOp : Torch_Op<"aten.split_with_sizes_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::split_with_sizes_copy : (Tensor, int[], int) -> (Tensor[])`";
@@ -5457,6 +5585,7 @@ def Torch_AtenSplitWithSizesCopyOp : Torch_Op<"aten.split_with_sizes_copy", [
 def Torch_AtenUniformOp : Torch_Op<"aten.uniform", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::uniform : (Tensor, float, float, Generator?) -> (Tensor)`";
@@ -5508,6 +5637,7 @@ def Torch_AtenUniform_Op : Torch_Op<"aten.uniform_", [
 def Torch_AtenRandLikeOp : Torch_Op<"aten.rand_like", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::rand_like : (Tensor, int?, int?, Device?, bool?, int?) -> (Tensor)`";
@@ -5536,6 +5666,7 @@ def Torch_AtenRandLikeOp : Torch_Op<"aten.rand_like", [
 def Torch_AtenRandOp : Torch_Op<"aten.rand", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::rand : (int[], int?, int?, Device?, bool?) -> (Tensor)`";
@@ -5563,6 +5694,7 @@ def Torch_AtenRandOp : Torch_Op<"aten.rand", [
 def Torch_AtenBernoulliOp : Torch_Op<"aten.bernoulli", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bernoulli : (Tensor, Generator?) -> (Tensor)`";
@@ -5610,6 +5742,7 @@ def Torch_AtenBernoulli_FloatOp : Torch_Op<"aten.bernoulli_.float", [
 def Torch_AtenBernoulliPOp : Torch_Op<"aten.bernoulli.p", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bernoulli.p : (Tensor, float, Generator?) -> (Tensor)`";
@@ -5635,6 +5768,7 @@ def Torch_AtenBernoulliPOp : Torch_Op<"aten.bernoulli.p", [
 def Torch_AtenExponentialOp : Torch_Op<"aten.exponential", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::exponential : (Tensor, float, Generator?) -> (Tensor)`";
@@ -5660,6 +5794,7 @@ def Torch_AtenExponentialOp : Torch_Op<"aten.exponential", [
 def Torch_AtenMultinomialOp : Torch_Op<"aten.multinomial", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::multinomial : (Tensor, int, bool, Generator?) -> (Tensor)`";
@@ -5686,6 +5821,7 @@ def Torch_AtenMultinomialOp : Torch_Op<"aten.multinomial", [
 def Torch_AtenRandintLowOp : Torch_Op<"aten.randint.low", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::randint.low : (int, int, int[], int?, int?, Device?, bool?) -> (Tensor)`";
@@ -5715,6 +5851,7 @@ def Torch_AtenRandintLowOp : Torch_Op<"aten.randint.low", [
 def Torch_AtenRandintOp : Torch_Op<"aten.randint", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::randint : (int, int[], int?, int?, Device?, bool?) -> (Tensor)`";
@@ -5743,6 +5880,7 @@ def Torch_AtenRandintOp : Torch_Op<"aten.randint", [
 def Torch_AtenBernoulliTensorOp : Torch_Op<"aten.bernoulli.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bernoulli.Tensor : (Tensor, Tensor, Generator?) -> (Tensor)`";
@@ -5792,6 +5930,7 @@ def Torch_AtenBernoulli_TensorOp : Torch_Op<"aten.bernoulli_.Tensor", [
 def Torch_AtenRandnOp : Torch_Op<"aten.randn", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::randn : (int[], int?, int?, Device?, bool?) -> (Tensor)`";
@@ -5819,6 +5958,7 @@ def Torch_AtenRandnOp : Torch_Op<"aten.randn", [
 def Torch_AtenRandnGeneratorOp : Torch_Op<"aten.randn.generator", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::randn.generator : (int[], Generator?, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -5847,6 +5987,7 @@ def Torch_AtenRandnGeneratorOp : Torch_Op<"aten.randn.generator", [
 def Torch_AtenRandnLikeOp : Torch_Op<"aten.randn_like", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::randn_like : (Tensor, int?, int?, Device?, bool?, int?) -> (Tensor)`";
@@ -5875,6 +6016,7 @@ def Torch_AtenRandnLikeOp : Torch_Op<"aten.randn_like", [
 def Torch_AtenRandomOp : Torch_Op<"aten.random", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::random : (Tensor, Generator?) -> (Tensor)`";
@@ -5899,6 +6041,7 @@ def Torch_AtenRandomOp : Torch_Op<"aten.random", [
 def Torch_AtenRandomFromOp : Torch_Op<"aten.random.from", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::random.from : (Tensor, int, int?, Generator?) -> (Tensor)`";
@@ -5925,6 +6068,7 @@ def Torch_AtenRandomFromOp : Torch_Op<"aten.random.from", [
 def Torch_AtenTriuOp : Torch_Op<"aten.triu", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::triu : (Tensor, int) -> (Tensor)`";
@@ -5972,6 +6116,7 @@ def Torch_AtenTriu_Op : Torch_Op<"aten.triu_", [
 def Torch_AtenTrilOp : Torch_Op<"aten.tril", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::tril : (Tensor, int) -> (Tensor)`";
@@ -6019,6 +6164,7 @@ def Torch_AtenTril_Op : Torch_Op<"aten.tril_", [
 def Torch_AtenIndexPutOp : Torch_Op<"aten.index_put", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::index_put : (Tensor, Tensor?[], Tensor, bool) -> (Tensor)`";
@@ -6070,6 +6216,7 @@ def Torch_AtenIndexPut_Op : Torch_Op<"aten.index_put_", [
 def Torch_AtenIndexPutHackedTwinOp : Torch_Op<"aten.index_put.hacked_twin", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::index_put.hacked_twin : (Tensor, Tensor[], Tensor, bool) -> (Tensor)`";
@@ -6121,6 +6268,7 @@ def Torch_AtenIndexPut_HackedTwinOp : Torch_Op<"aten.index_put_.hacked_twin", [
 def Torch_Aten_UnsafeIndexPutHackedTwinOp : Torch_Op<"aten._unsafe_index_put.hacked_twin", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_unsafe_index_put.hacked_twin : (Tensor, Tensor[], Tensor, bool) -> (Tensor)`";
@@ -6147,6 +6295,7 @@ def Torch_Aten_UnsafeIndexPutHackedTwinOp : Torch_Op<"aten._unsafe_index_put.hac
 def Torch_AtenLinearOp : Torch_Op<"aten.linear", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::linear : (Tensor, Tensor, Tensor?) -> (Tensor)`";
@@ -6172,6 +6321,7 @@ def Torch_AtenLinearOp : Torch_Op<"aten.linear", [
 def Torch_AtenMmOp : Torch_Op<"aten.mm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mm : (Tensor, Tensor) -> (Tensor)`";
@@ -6196,6 +6346,7 @@ def Torch_AtenMmOp : Torch_Op<"aten.mm", [
 def Torch_Aten_IntMmOp : Torch_Op<"aten._int_mm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_int_mm : (Tensor, Tensor) -> (Tensor)`";
@@ -6220,6 +6371,7 @@ def Torch_Aten_IntMmOp : Torch_Op<"aten._int_mm", [
 def Torch_AtenAddmmOp : Torch_Op<"aten.addmm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::addmm : (Tensor, Tensor, Tensor, Scalar, Scalar) -> (Tensor)`";
@@ -6247,6 +6399,7 @@ def Torch_AtenAddmmOp : Torch_Op<"aten.addmm", [
 def Torch_AtenMatmulOp : Torch_Op<"aten.matmul", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::matmul : (Tensor, Tensor) -> (Tensor)`";
@@ -6271,6 +6424,7 @@ def Torch_AtenMatmulOp : Torch_Op<"aten.matmul", [
 def Torch_AtenMvOp : Torch_Op<"aten.mv", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mv : (Tensor, Tensor) -> (Tensor)`";
@@ -6295,6 +6449,7 @@ def Torch_AtenMvOp : Torch_Op<"aten.mv", [
 def Torch_AtenDotOp : Torch_Op<"aten.dot", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::dot : (Tensor, Tensor) -> (Tensor)`";
@@ -6320,6 +6475,7 @@ def Torch_AtenDotOp : Torch_Op<"aten.dot", [
 def Torch_AtenCosineSimilarityOp : Torch_Op<"aten.cosine_similarity", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::cosine_similarity : (Tensor, Tensor, int, float) -> (Tensor)`";
@@ -6346,6 +6502,7 @@ def Torch_AtenCosineSimilarityOp : Torch_Op<"aten.cosine_similarity", [
 def Torch_AtenConv3dOp : Torch_Op<"aten.conv3d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::conv3d : (Tensor, Tensor, Tensor?, int[], int[], int[], int) -> (Tensor)`";
@@ -6375,6 +6532,7 @@ def Torch_AtenConv3dOp : Torch_Op<"aten.conv3d", [
 def Torch_AtenConv2dOp : Torch_Op<"aten.conv2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::conv2d : (Tensor, Tensor, Tensor?, int[], int[], int[], int) -> (Tensor)`";
@@ -6404,6 +6562,7 @@ def Torch_AtenConv2dOp : Torch_Op<"aten.conv2d", [
 def Torch_AtenConv1dOp : Torch_Op<"aten.conv1d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::conv1d : (Tensor, Tensor, Tensor?, int[], int[], int[], int) -> (Tensor)`";
@@ -6433,6 +6592,7 @@ def Torch_AtenConv1dOp : Torch_Op<"aten.conv1d", [
 def Torch_AtenConvTranspose1dOp : Torch_Op<"aten.conv_transpose1d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::conv_transpose1d : (Tensor, Tensor, Tensor?, int[], int[], int[], int, int[]) -> (Tensor)`";
@@ -6463,6 +6623,7 @@ def Torch_AtenConvTranspose1dOp : Torch_Op<"aten.conv_transpose1d", [
 def Torch_AtenConvTranspose2dInputOp : Torch_Op<"aten.conv_transpose2d.input", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::conv_transpose2d.input : (Tensor, Tensor, Tensor?, int[], int[], int[], int, int[]) -> (Tensor)`";
@@ -6493,6 +6654,7 @@ def Torch_AtenConvTranspose2dInputOp : Torch_Op<"aten.conv_transpose2d.input", [
 def Torch_AtenConvTranspose3dInputOp : Torch_Op<"aten.conv_transpose3d.input", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::conv_transpose3d.input : (Tensor, Tensor, Tensor?, int[], int[], int[], int, int[]) -> (Tensor)`";
@@ -6523,6 +6685,7 @@ def Torch_AtenConvTranspose3dInputOp : Torch_Op<"aten.conv_transpose3d.input", [
 def Torch_AtenConvTbcOp : Torch_Op<"aten.conv_tbc", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::conv_tbc : (Tensor, Tensor, Tensor, int) -> (Tensor)`";
@@ -6549,6 +6712,7 @@ def Torch_AtenConvTbcOp : Torch_Op<"aten.conv_tbc", [
 def Torch_AtenConvTbcBackwardOp : Torch_Op<"aten.conv_tbc_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::conv_tbc_backward : (Tensor, Tensor, Tensor, Tensor, int) -> (Tensor, Tensor, Tensor)`";
@@ -6578,6 +6742,7 @@ def Torch_AtenConvTbcBackwardOp : Torch_Op<"aten.conv_tbc_backward", [
 def Torch_AtenConvolutionOp : Torch_Op<"aten.convolution", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::convolution : (Tensor, Tensor, Tensor?, int[], int[], int[], bool, int[], int) -> (Tensor)`";
@@ -6609,6 +6774,7 @@ def Torch_AtenConvolutionOp : Torch_Op<"aten.convolution", [
 def Torch_Aten_ConvolutionOp : Torch_Op<"aten._convolution", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_convolution : (Tensor, Tensor, Tensor?, int[], int[], int[], bool, int[], int, bool, bool, bool, bool) -> (Tensor)`";
@@ -6644,6 +6810,7 @@ def Torch_Aten_ConvolutionOp : Torch_Op<"aten._convolution", [
 def Torch_Aten_ConvolutionDeprecatedOp : Torch_Op<"aten._convolution.deprecated", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_convolution.deprecated : (Tensor, Tensor, Tensor?, int[], int[], int[], bool, int[], int, bool, bool, bool) -> (Tensor)`";
@@ -6678,6 +6845,7 @@ def Torch_Aten_ConvolutionDeprecatedOp : Torch_Op<"aten._convolution.deprecated"
 def Torch_AtenRollOp : Torch_Op<"aten.roll", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::roll : (Tensor, int[], int[]) -> (Tensor)`";
@@ -6703,6 +6871,7 @@ def Torch_AtenRollOp : Torch_Op<"aten.roll", [
 def Torch_AtenConvolutionBackwardOp : Torch_Op<"aten.convolution_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::convolution_backward : (Tensor, Tensor, Tensor, int[]?, int[], int[], int[], bool, int[], int, bool[]) -> (Tensor, Tensor, Tensor)`";
@@ -6738,6 +6907,7 @@ def Torch_AtenConvolutionBackwardOp : Torch_Op<"aten.convolution_backward", [
 def Torch_AtenFlipOp : Torch_Op<"aten.flip", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::flip : (Tensor, int[]) -> (Tensor)`";
@@ -6762,6 +6932,7 @@ def Torch_AtenFlipOp : Torch_Op<"aten.flip", [
 def Torch_AtenNativeBatchNormOp : Torch_Op<"aten.native_batch_norm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::native_batch_norm : (Tensor, Tensor?, Tensor?, Tensor?, Tensor?, bool, float, float) -> (Tensor, Tensor, Tensor)`";
@@ -6794,6 +6965,7 @@ def Torch_AtenNativeBatchNormOp : Torch_Op<"aten.native_batch_norm", [
 def Torch_AtenBatchNormOp : Torch_Op<"aten.batch_norm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::batch_norm : (Tensor, Tensor?, Tensor?, Tensor?, Tensor?, bool, float, float, bool) -> (Tensor)`";
@@ -6825,6 +6997,7 @@ def Torch_AtenBatchNormOp : Torch_Op<"aten.batch_norm", [
 def Torch_AtenInstanceNormOp : Torch_Op<"aten.instance_norm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::instance_norm : (Tensor, Tensor?, Tensor?, Tensor?, Tensor?, bool, float, float, bool) -> (Tensor)`";
@@ -6856,6 +7029,7 @@ def Torch_AtenInstanceNormOp : Torch_Op<"aten.instance_norm", [
 def Torch_AtenNativeGroupNormOp : Torch_Op<"aten.native_group_norm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::native_group_norm : (Tensor, Tensor?, Tensor?, int, int, int, int, float) -> (Tensor, Tensor, Tensor)`";
@@ -6888,6 +7062,7 @@ def Torch_AtenNativeGroupNormOp : Torch_Op<"aten.native_group_norm", [
 def Torch_AtenGroupNormOp : Torch_Op<"aten.group_norm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::group_norm : (Tensor, int, Tensor?, Tensor?, float, bool) -> (Tensor)`";
@@ -6916,6 +7091,7 @@ def Torch_AtenGroupNormOp : Torch_Op<"aten.group_norm", [
 def Torch_AtenLayerNormOp : Torch_Op<"aten.layer_norm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::layer_norm : (Tensor, int[], Tensor?, Tensor?, float, bool) -> (Tensor)`";
@@ -6944,6 +7120,7 @@ def Torch_AtenLayerNormOp : Torch_Op<"aten.layer_norm", [
 def Torch_AtenRenormOp : Torch_Op<"aten.renorm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::renorm : (Tensor, Scalar, int, Scalar) -> (Tensor)`";
@@ -6971,6 +7148,7 @@ def Torch_AtenRenormOp : Torch_Op<"aten.renorm", [
 def Torch_AtenNormScalarOp : Torch_Op<"aten.norm.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::norm.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -6996,6 +7174,7 @@ def Torch_AtenNormScalarOp : Torch_Op<"aten.norm.Scalar", [
 def Torch_AtenNormScalarOptDimOp : Torch_Op<"aten.norm.ScalarOpt_dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::norm.ScalarOpt_dim : (Tensor, Scalar?, int[], bool) -> (Tensor)`";
@@ -7022,6 +7201,7 @@ def Torch_AtenNormScalarOptDimOp : Torch_Op<"aten.norm.ScalarOpt_dim", [
 def Torch_AtenNormalFunctionalOp : Torch_Op<"aten.normal_functional", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::normal_functional : (Tensor, float, float, Generator?) -> (Tensor)`";
@@ -7048,6 +7228,7 @@ def Torch_AtenNormalFunctionalOp : Torch_Op<"aten.normal_functional", [
 def Torch_AtenNativeLayerNormOp : Torch_Op<"aten.native_layer_norm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::native_layer_norm : (Tensor, int[], Tensor?, Tensor?, float) -> (Tensor, Tensor, Tensor)`";
@@ -7077,6 +7258,7 @@ def Torch_AtenNativeLayerNormOp : Torch_Op<"aten.native_layer_norm", [
 def Torch_AtenMaxPool1dOp : Torch_Op<"aten.max_pool1d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max_pool1d : (Tensor, int[], int[], int[], int[], bool) -> (Tensor)`";
@@ -7105,6 +7287,7 @@ def Torch_AtenMaxPool1dOp : Torch_Op<"aten.max_pool1d", [
 def Torch_AtenMaxPool1dWithIndicesOp : Torch_Op<"aten.max_pool1d_with_indices", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max_pool1d_with_indices : (Tensor, int[], int[], int[], int[], bool) -> (Tensor, Tensor)`";
@@ -7134,6 +7317,7 @@ def Torch_AtenMaxPool1dWithIndicesOp : Torch_Op<"aten.max_pool1d_with_indices",
 def Torch_AtenMaxPool2dOp : Torch_Op<"aten.max_pool2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max_pool2d : (Tensor, int[], int[], int[], int[], bool) -> (Tensor)`";
@@ -7162,6 +7346,7 @@ def Torch_AtenMaxPool2dOp : Torch_Op<"aten.max_pool2d", [
 def Torch_AtenMaxUnpool2dOp : Torch_Op<"aten.max_unpool2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max_unpool2d : (Tensor, Tensor, int[]) -> (Tensor)`";
@@ -7187,6 +7372,7 @@ def Torch_AtenMaxUnpool2dOp : Torch_Op<"aten.max_unpool2d", [
 def Torch_AtenMaxPool2dWithIndicesOp : Torch_Op<"aten.max_pool2d_with_indices", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max_pool2d_with_indices : (Tensor, int[], int[], int[], int[], bool) -> (Tensor, Tensor)`";
@@ -7217,6 +7403,7 @@ def Torch_AtenMaxPool2dWithIndicesOp : Torch_Op<"aten.max_pool2d_with_indices",
 def Torch_AtenMaxPool2dWithIndicesBackwardOp : Torch_Op<"aten.max_pool2d_with_indices_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max_pool2d_with_indices_backward : (Tensor, Tensor, int[], int[], int[], int[], bool, Tensor) -> (Tensor)`";
@@ -7247,6 +7434,7 @@ def Torch_AtenMaxPool2dWithIndicesBackwardOp : Torch_Op<"aten.max_pool2d_with_in
 def Torch_AtenMaxPool3dOp : Torch_Op<"aten.max_pool3d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max_pool3d : (Tensor, int[], int[], int[], int[], bool) -> (Tensor)`";
@@ -7275,6 +7463,7 @@ def Torch_AtenMaxPool3dOp : Torch_Op<"aten.max_pool3d", [
 def Torch_AtenMaxUnpool3dOp : Torch_Op<"aten.max_unpool3d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max_unpool3d : (Tensor, Tensor, int[], int[], int[]) -> (Tensor)`";
@@ -7302,6 +7491,7 @@ def Torch_AtenMaxUnpool3dOp : Torch_Op<"aten.max_unpool3d", [
 def Torch_AtenMaxPool3dWithIndicesOp : Torch_Op<"aten.max_pool3d_with_indices", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max_pool3d_with_indices : (Tensor, int[], int[], int[], int[], bool) -> (Tensor, Tensor)`";
@@ -7331,6 +7521,7 @@ def Torch_AtenMaxPool3dWithIndicesOp : Torch_Op<"aten.max_pool3d_with_indices",
 def Torch_AtenMaxPool3dWithIndicesBackwardOp : Torch_Op<"aten.max_pool3d_with_indices_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max_pool3d_with_indices_backward : (Tensor, Tensor, int[], int[], int[], int[], bool, Tensor) -> (Tensor)`";
@@ -7361,6 +7552,7 @@ def Torch_AtenMaxPool3dWithIndicesBackwardOp : Torch_Op<"aten.max_pool3d_with_in
 def Torch_AtenAvgPool1dOp : Torch_Op<"aten.avg_pool1d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::avg_pool1d : (Tensor, int[], int[], int[], bool, bool) -> (Tensor)`";
@@ -7389,6 +7581,7 @@ def Torch_AtenAvgPool1dOp : Torch_Op<"aten.avg_pool1d", [
 def Torch_AtenAvgPool2dOp : Torch_Op<"aten.avg_pool2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::avg_pool2d : (Tensor, int[], int[], int[], bool, bool, int?) -> (Tensor)`";
@@ -7418,6 +7611,7 @@ def Torch_AtenAvgPool2dOp : Torch_Op<"aten.avg_pool2d", [
 def Torch_AtenAvgPool2dBackwardOp : Torch_Op<"aten.avg_pool2d_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::avg_pool2d_backward : (Tensor, Tensor, int[], int[], int[], bool, bool, int?) -> (Tensor)`";
@@ -7448,6 +7642,7 @@ def Torch_AtenAvgPool2dBackwardOp : Torch_Op<"aten.avg_pool2d_backward", [
 def Torch_AtenAvgPool3dOp : Torch_Op<"aten.avg_pool3d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::avg_pool3d : (Tensor, int[], int[], int[], bool, bool, int?) -> (Tensor)`";
@@ -7477,6 +7672,7 @@ def Torch_AtenAvgPool3dOp : Torch_Op<"aten.avg_pool3d", [
 def Torch_AtenAvgPool3dBackwardOp : Torch_Op<"aten.avg_pool3d_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::avg_pool3d_backward : (Tensor, Tensor, int[], int[], int[], bool, bool, int?) -> (Tensor)`";
@@ -7507,6 +7703,7 @@ def Torch_AtenAvgPool3dBackwardOp : Torch_Op<"aten.avg_pool3d_backward", [
 def Torch_AtenSoftmaxIntOp : Torch_Op<"aten.softmax.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::softmax.int : (Tensor, int, int?) -> (Tensor)`";
@@ -7532,6 +7729,7 @@ def Torch_AtenSoftmaxIntOp : Torch_Op<"aten.softmax.int", [
 def Torch_AtenLogSoftmaxIntOp : Torch_Op<"aten.log_softmax.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::log_softmax.int : (Tensor, int, int?) -> (Tensor)`";
@@ -7557,6 +7755,7 @@ def Torch_AtenLogSoftmaxIntOp : Torch_Op<"aten.log_softmax.int", [
 def Torch_Aten_LogSoftmaxOp : Torch_Op<"aten._log_softmax", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_log_softmax : (Tensor, int, bool) -> (Tensor)`";
@@ -7582,6 +7781,7 @@ def Torch_Aten_LogSoftmaxOp : Torch_Op<"aten._log_softmax", [
 def Torch_AtenScatterSrcOp : Torch_Op<"aten.scatter.src", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::scatter.src : (Tensor, int, Tensor, Tensor) -> (Tensor)`";
@@ -7633,6 +7833,7 @@ def Torch_AtenScatter_SrcOp : Torch_Op<"aten.scatter_.src", [
 def Torch_AtenScatterValueOp : Torch_Op<"aten.scatter.value", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::scatter.value : (Tensor, int, Tensor, Scalar) -> (Tensor)`";
@@ -7684,6 +7885,7 @@ def Torch_AtenScatter_ValueOp : Torch_Op<"aten.scatter_.value", [
 def Torch_AtenMaskedScatterOp : Torch_Op<"aten.masked_scatter", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::masked_scatter : (Tensor, Tensor, Tensor) -> (Tensor)`";
@@ -7733,6 +7935,7 @@ def Torch_AtenMaskedScatter_Op : Torch_Op<"aten.masked_scatter_", [
 def Torch_Aten__InterpolateSizeListScaleListOp : Torch_Op<"aten.__interpolate.size_list_scale_list", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__interpolate.size_list_scale_list : (Tensor, int[]?, float[]?, str, bool?, bool?, bool) -> (Tensor)`";
@@ -7762,6 +7965,7 @@ def Torch_Aten__InterpolateSizeListScaleListOp : Torch_Op<"aten.__interpolate.si
 def Torch_AtenAdaptiveAvgPool1dOp : Torch_Op<"aten.adaptive_avg_pool1d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::adaptive_avg_pool1d : (Tensor, int[]) -> (Tensor)`";
@@ -7786,6 +7990,7 @@ def Torch_AtenAdaptiveAvgPool1dOp : Torch_Op<"aten.adaptive_avg_pool1d", [
 def Torch_AtenAdaptiveAvgPool2dOp : Torch_Op<"aten.adaptive_avg_pool2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::adaptive_avg_pool2d : (Tensor, int[]) -> (Tensor)`";
@@ -7810,6 +8015,7 @@ def Torch_AtenAdaptiveAvgPool2dOp : Torch_Op<"aten.adaptive_avg_pool2d", [
 def Torch_Aten_AdaptiveAvgPool2dOp : Torch_Op<"aten._adaptive_avg_pool2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_adaptive_avg_pool2d : (Tensor, int[]) -> (Tensor)`";
@@ -7835,6 +8041,7 @@ def Torch_Aten_AdaptiveAvgPool2dOp : Torch_Op<"aten._adaptive_avg_pool2d", [
 def Torch_Aten_AdaptiveAvgPool2dBackwardOp : Torch_Op<"aten._adaptive_avg_pool2d_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_adaptive_avg_pool2d_backward : (Tensor, Tensor) -> (Tensor)`";
@@ -7859,6 +8066,7 @@ def Torch_Aten_AdaptiveAvgPool2dBackwardOp : Torch_Op<"aten._adaptive_avg_pool2d
 def Torch_AtenAdaptiveAvgPool3dOp : Torch_Op<"aten.adaptive_avg_pool3d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::adaptive_avg_pool3d : (Tensor, int[]) -> (Tensor)`";
@@ -7883,6 +8091,7 @@ def Torch_AtenAdaptiveAvgPool3dOp : Torch_Op<"aten.adaptive_avg_pool3d", [
 def Torch_Aten_AdaptiveAvgPool3dOp : Torch_Op<"aten._adaptive_avg_pool3d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_adaptive_avg_pool3d : (Tensor, int[]) -> (Tensor)`";
@@ -7907,6 +8116,7 @@ def Torch_Aten_AdaptiveAvgPool3dOp : Torch_Op<"aten._adaptive_avg_pool3d", [
 def Torch_Aten_AdaptiveAvgPool3dBackwardOp : Torch_Op<"aten._adaptive_avg_pool3d_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_adaptive_avg_pool3d_backward : (Tensor, Tensor) -> (Tensor)`";
@@ -7931,6 +8141,7 @@ def Torch_Aten_AdaptiveAvgPool3dBackwardOp : Torch_Op<"aten._adaptive_avg_pool3d
 def Torch_AtenAdaptiveMaxPool1dOp : Torch_Op<"aten.adaptive_max_pool1d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::adaptive_max_pool1d : (Tensor, int[]) -> (Tensor, Tensor)`";
@@ -7956,6 +8167,7 @@ def Torch_AtenAdaptiveMaxPool1dOp : Torch_Op<"aten.adaptive_max_pool1d", [
 def Torch_AtenAdaptiveMaxPool2dOp : Torch_Op<"aten.adaptive_max_pool2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::adaptive_max_pool2d : (Tensor, int[]) -> (Tensor, Tensor)`";
@@ -7981,6 +8193,7 @@ def Torch_AtenAdaptiveMaxPool2dOp : Torch_Op<"aten.adaptive_max_pool2d", [
 def Torch_AtenAdaptiveMaxPool3dOp : Torch_Op<"aten.adaptive_max_pool3d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::adaptive_max_pool3d : (Tensor, int[]) -> (Tensor, Tensor)`";
@@ -8006,6 +8219,7 @@ def Torch_AtenAdaptiveMaxPool3dOp : Torch_Op<"aten.adaptive_max_pool3d", [
 def Torch_AtenTopkOp : Torch_Op<"aten.topk", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::topk : (Tensor, int, int, bool, bool) -> (Tensor, Tensor)`";
@@ -8058,6 +8272,7 @@ def Torch_AtenTransposeIntOp : Torch_Op<"aten.transpose.int", [
 def Torch_AtenPixelShuffleOp : Torch_Op<"aten.pixel_shuffle", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::pixel_shuffle : (Tensor, int) -> (Tensor)`";
@@ -8130,6 +8345,7 @@ def Torch_AtenMovedimIntOp : Torch_Op<"aten.movedim.int", [
 def Torch_AtenBmmOp : Torch_Op<"aten.bmm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bmm : (Tensor, Tensor) -> (Tensor)`";
@@ -8154,6 +8370,7 @@ def Torch_AtenBmmOp : Torch_Op<"aten.bmm", [
 def Torch_AtenCumsumOp : Torch_Op<"aten.cumsum", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::cumsum : (Tensor, int, int?) -> (Tensor)`";
@@ -8179,6 +8396,7 @@ def Torch_AtenCumsumOp : Torch_Op<"aten.cumsum", [
 def Torch_AtenCumprodOp : Torch_Op<"aten.cumprod", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::cumprod : (Tensor, int, int?) -> (Tensor)`";
@@ -8204,6 +8422,7 @@ def Torch_AtenCumprodOp : Torch_Op<"aten.cumprod", [
 def Torch_AtenFloorDivideScalarOp : Torch_Op<"aten.floor_divide.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::floor_divide.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -8228,6 +8447,7 @@ def Torch_AtenFloorDivideScalarOp : Torch_Op<"aten.floor_divide.Scalar", [
 def Torch_AtenLogsumexpOp : Torch_Op<"aten.logsumexp", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::logsumexp : (Tensor, int[], bool) -> (Tensor)`";
@@ -8253,6 +8473,7 @@ def Torch_AtenLogsumexpOp : Torch_Op<"aten.logsumexp", [
 def Torch_AtenMeanDimOp : Torch_Op<"aten.mean.dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mean.dim : (Tensor, int[]?, bool, int?) -> (Tensor)`";
@@ -8279,6 +8500,7 @@ def Torch_AtenMeanDimOp : Torch_Op<"aten.mean.dim", [
 def Torch_Aten__And__TensorOp : Torch_Op<"aten.__and__.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__and__.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -8303,6 +8525,7 @@ def Torch_Aten__And__TensorOp : Torch_Op<"aten.__and__.Tensor", [
 def Torch_Aten__And__ScalarOp : Torch_Op<"aten.__and__.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__and__.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -8328,6 +8551,7 @@ def Torch_Aten__And__ScalarOp : Torch_Op<"aten.__and__.Scalar", [
 def Torch_Aten__Or__TensorOp : Torch_Op<"aten.__or__.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__or__.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -8353,6 +8577,7 @@ def Torch_Aten__Or__TensorOp : Torch_Op<"aten.__or__.Tensor", [
 def Torch_Aten__Lshift__ScalarOp : Torch_Op<"aten.__lshift__.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__lshift__.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -8377,6 +8602,7 @@ def Torch_Aten__Lshift__ScalarOp : Torch_Op<"aten.__lshift__.Scalar", [
 def Torch_Aten__Rshift__ScalarOp : Torch_Op<"aten.__rshift__.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__rshift__.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -8401,6 +8627,7 @@ def Torch_Aten__Rshift__ScalarOp : Torch_Op<"aten.__rshift__.Scalar", [
 def Torch_Aten_SoftmaxOp : Torch_Op<"aten._softmax", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_softmax : (Tensor, int, bool) -> (Tensor)`";
@@ -8426,6 +8653,7 @@ def Torch_Aten_SoftmaxOp : Torch_Op<"aten._softmax", [
 def Torch_Aten_SafeSoftmaxOp : Torch_Op<"aten._safe_softmax", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_safe_softmax : (Tensor, int, int?) -> (Tensor)`";
@@ -8451,6 +8679,7 @@ def Torch_Aten_SafeSoftmaxOp : Torch_Op<"aten._safe_softmax", [
 def Torch_AtenMeanOp : Torch_Op<"aten.mean", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mean : (Tensor, int?) -> (Tensor)`";
@@ -8475,6 +8704,7 @@ def Torch_AtenMeanOp : Torch_Op<"aten.mean", [
 def Torch_AtenStdOp : Torch_Op<"aten.std", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::std : (Tensor, bool) -> (Tensor)`";
@@ -8499,6 +8729,7 @@ def Torch_AtenStdOp : Torch_Op<"aten.std", [
 def Torch_AtenStdDimOp : Torch_Op<"aten.std.dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::std.dim : (Tensor, int[]?, bool, bool) -> (Tensor)`";
@@ -8525,6 +8756,7 @@ def Torch_AtenStdDimOp : Torch_Op<"aten.std.dim", [
 def Torch_AtenStdCorrectionOp : Torch_Op<"aten.std.correction", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::std.correction : (Tensor, int[]?, Scalar?, bool) -> (Tensor)`";
@@ -8551,6 +8783,7 @@ def Torch_AtenStdCorrectionOp : Torch_Op<"aten.std.correction", [
 def Torch_AtenVarOp : Torch_Op<"aten.var", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::var : (Tensor, bool) -> (Tensor)`";
@@ -8575,6 +8808,7 @@ def Torch_AtenVarOp : Torch_Op<"aten.var", [
 def Torch_AtenVarDimOp : Torch_Op<"aten.var.dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::var.dim : (Tensor, int[]?, bool, bool) -> (Tensor)`";
@@ -8601,6 +8835,7 @@ def Torch_AtenVarDimOp : Torch_Op<"aten.var.dim", [
 def Torch_AtenVarCorrectionOp : Torch_Op<"aten.var.correction", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::var.correction : (Tensor, int[]?, Scalar?, bool) -> (Tensor)`";
@@ -8627,6 +8862,7 @@ def Torch_AtenVarCorrectionOp : Torch_Op<"aten.var.correction", [
 def Torch_AtenVarMeanCorrectionOp : Torch_Op<"aten.var_mean.correction", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::var_mean.correction : (Tensor, int[]?, Scalar?, bool) -> (Tensor, Tensor)`";
@@ -8654,6 +8890,7 @@ def Torch_AtenVarMeanCorrectionOp : Torch_Op<"aten.var_mean.correction", [
 def Torch_AtenVarMeanOp : Torch_Op<"aten.var_mean", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::var_mean : (Tensor, bool) -> (Tensor, Tensor)`";
@@ -8679,6 +8916,7 @@ def Torch_AtenVarMeanOp : Torch_Op<"aten.var_mean", [
 def Torch_AtenVarMeanDimOp : Torch_Op<"aten.var_mean.dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::var_mean.dim : (Tensor, int[]?, bool, bool) -> (Tensor, Tensor)`";
@@ -8706,6 +8944,7 @@ def Torch_AtenVarMeanDimOp : Torch_Op<"aten.var_mean.dim", [
 def Torch_AtenNllLoss2dForwardOp : Torch_Op<"aten.nll_loss2d_forward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::nll_loss2d_forward : (Tensor, Tensor, Tensor?, int, int) -> (Tensor, Tensor)`";
@@ -8734,6 +8973,7 @@ def Torch_AtenNllLoss2dForwardOp : Torch_Op<"aten.nll_loss2d_forward", [
 def Torch_AtenNllLoss2dBackwardOp : Torch_Op<"aten.nll_loss2d_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::nll_loss2d_backward : (Tensor, Tensor, Tensor, Tensor?, int, int, Tensor) -> (Tensor)`";
@@ -8763,6 +9003,7 @@ def Torch_AtenNllLoss2dBackwardOp : Torch_Op<"aten.nll_loss2d_backward", [
 def Torch_AtenNllLossForwardOp : Torch_Op<"aten.nll_loss_forward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::nll_loss_forward : (Tensor, Tensor, Tensor?, int, int) -> (Tensor, Tensor)`";
@@ -8791,6 +9032,7 @@ def Torch_AtenNllLossForwardOp : Torch_Op<"aten.nll_loss_forward", [
 def Torch_AtenNllLossBackwardOp : Torch_Op<"aten.nll_loss_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::nll_loss_backward : (Tensor, Tensor, Tensor, Tensor?, int, int, Tensor) -> (Tensor)`";
@@ -8820,6 +9062,7 @@ def Torch_AtenNllLossBackwardOp : Torch_Op<"aten.nll_loss_backward", [
 def Torch_AtenBincountOp : Torch_Op<"aten.bincount", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bincount : (Tensor, Tensor?, int) -> (Tensor)`";
@@ -8845,6 +9088,7 @@ def Torch_AtenBincountOp : Torch_Op<"aten.bincount", [
 def Torch_AtenLinalgVectorNormOp : Torch_Op<"aten.linalg_vector_norm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::linalg_vector_norm : (Tensor, Scalar, int[]?, bool, int?) -> (Tensor)`";
@@ -8872,6 +9116,7 @@ def Torch_AtenLinalgVectorNormOp : Torch_Op<"aten.linalg_vector_norm", [
 def Torch_AtenLinalgNormOp : Torch_Op<"aten.linalg_norm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::linalg_norm : (Tensor, Scalar?, int[]?, bool, int?) -> (Tensor)`";
@@ -8899,6 +9144,7 @@ def Torch_AtenLinalgNormOp : Torch_Op<"aten.linalg_norm", [
 def Torch_AtenLinalgQrOp : Torch_Op<"aten.linalg_qr", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::linalg_qr : (Tensor, str) -> (Tensor, Tensor)`";
@@ -8924,6 +9170,7 @@ def Torch_AtenLinalgQrOp : Torch_Op<"aten.linalg_qr", [
 def Torch_AtenLinalgDetOp : Torch_Op<"aten.linalg_det", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::linalg_det : (Tensor) -> (Tensor)`";
@@ -8947,6 +9194,7 @@ def Torch_AtenLinalgDetOp : Torch_Op<"aten.linalg_det", [
 def Torch_Aten_LinalgDetOp : Torch_Op<"aten._linalg_det", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_linalg_det : (Tensor) -> (Tensor, Tensor, Tensor)`";
@@ -8972,6 +9220,7 @@ def Torch_Aten_LinalgDetOp : Torch_Op<"aten._linalg_det", [
 def Torch_AtenLinalgSlogdetOp : Torch_Op<"aten.linalg_slogdet", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::linalg_slogdet : (Tensor) -> (Tensor, Tensor)`";
@@ -8996,6 +9245,7 @@ def Torch_AtenLinalgSlogdetOp : Torch_Op<"aten.linalg_slogdet", [
 def Torch_AtenFrobeniusNormDimOp : Torch_Op<"aten.frobenius_norm.dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::frobenius_norm.dim : (Tensor, int[], bool) -> (Tensor)`";
@@ -9021,6 +9271,7 @@ def Torch_AtenFrobeniusNormDimOp : Torch_Op<"aten.frobenius_norm.dim", [
 def Torch_AtenMseLossOp : Torch_Op<"aten.mse_loss", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mse_loss : (Tensor, Tensor, int) -> (Tensor)`";
@@ -9046,6 +9297,7 @@ def Torch_AtenMseLossOp : Torch_Op<"aten.mse_loss", [
 def Torch_AtenMseLossBackwardOp : Torch_Op<"aten.mse_loss_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mse_loss_backward : (Tensor, Tensor, Tensor, int) -> (Tensor)`";
@@ -9072,6 +9324,7 @@ def Torch_AtenMseLossBackwardOp : Torch_Op<"aten.mse_loss_backward", [
 def Torch_AtenUpsampleNearest2dBackwardOp : Torch_Op<"aten.upsample_nearest2d_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::upsample_nearest2d_backward : (Tensor, int[], int[], float?, float?) -> (Tensor)`";
@@ -9099,6 +9352,7 @@ def Torch_AtenUpsampleNearest2dBackwardOp : Torch_Op<"aten.upsample_nearest2d_ba
 def Torch_AtenCrossEntropyLossOp : Torch_Op<"aten.cross_entropy_loss", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::cross_entropy_loss : (Tensor, Tensor, Tensor?, int, int, float) -> (Tensor)`";
@@ -9127,6 +9381,7 @@ def Torch_AtenCrossEntropyLossOp : Torch_Op<"aten.cross_entropy_loss", [
 def Torch_AtenNonzeroOp : Torch_Op<"aten.nonzero", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::nonzero : (Tensor) -> (Tensor)`";
@@ -9150,6 +9405,7 @@ def Torch_AtenNonzeroOp : Torch_Op<"aten.nonzero", [
 def Torch_AtenNonzeroNumpyOp : Torch_Op<"aten.nonzero_numpy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::nonzero_numpy : (Tensor) -> (Tensor[])`";
@@ -9173,6 +9429,7 @@ def Torch_AtenNonzeroNumpyOp : Torch_Op<"aten.nonzero_numpy", [
 def Torch_AtenNonzeroStaticOp : Torch_Op<"aten.nonzero_static", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::nonzero_static : (Tensor, int, int) -> (Tensor)`";
@@ -9198,6 +9455,7 @@ def Torch_AtenNonzeroStaticOp : Torch_Op<"aten.nonzero_static", [
 def Torch_AtenBinaryCrossEntropyOp : Torch_Op<"aten.binary_cross_entropy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::binary_cross_entropy : (Tensor, Tensor, Tensor?, int) -> (Tensor)`";
@@ -9224,6 +9482,7 @@ def Torch_AtenBinaryCrossEntropyOp : Torch_Op<"aten.binary_cross_entropy", [
 def Torch_AtenBinaryCrossEntropyBackwardOp : Torch_Op<"aten.binary_cross_entropy_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::binary_cross_entropy_backward : (Tensor, Tensor, Tensor, Tensor?, int) -> (Tensor)`";
@@ -9251,6 +9510,7 @@ def Torch_AtenBinaryCrossEntropyBackwardOp : Torch_Op<"aten.binary_cross_entropy
 def Torch_AtenBinaryCrossEntropyWithLogitsOp : Torch_Op<"aten.binary_cross_entropy_with_logits", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::binary_cross_entropy_with_logits : (Tensor, Tensor, Tensor?, Tensor?, int) -> (Tensor)`";
@@ -9278,6 +9538,7 @@ def Torch_AtenBinaryCrossEntropyWithLogitsOp : Torch_Op<"aten.binary_cross_entro
 def Torch_AtenLogSigmoidForwardOp : Torch_Op<"aten.log_sigmoid_forward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::log_sigmoid_forward : (Tensor) -> (Tensor, Tensor)`";
@@ -9302,6 +9563,7 @@ def Torch_AtenLogSigmoidForwardOp : Torch_Op<"aten.log_sigmoid_forward", [
 def Torch_AtenLogSigmoidBackwardOp : Torch_Op<"aten.log_sigmoid_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::log_sigmoid_backward : (Tensor, Tensor, Tensor) -> (Tensor)`";
@@ -9327,6 +9589,7 @@ def Torch_AtenLogSigmoidBackwardOp : Torch_Op<"aten.log_sigmoid_backward", [
 def Torch_AtenSigmoidBackwardOp : Torch_Op<"aten.sigmoid_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sigmoid_backward : (Tensor, Tensor) -> (Tensor)`";
@@ -9351,6 +9614,7 @@ def Torch_AtenSigmoidBackwardOp : Torch_Op<"aten.sigmoid_backward", [
 def Torch_AtenCosineEmbeddingLossOp : Torch_Op<"aten.cosine_embedding_loss", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::cosine_embedding_loss : (Tensor, Tensor, Tensor, float, int) -> (Tensor)`";
@@ -9378,6 +9642,7 @@ def Torch_AtenCosineEmbeddingLossOp : Torch_Op<"aten.cosine_embedding_loss", [
 def Torch_AtenDiagEmbedOp : Torch_Op<"aten.diag_embed", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::diag_embed : (Tensor, int, int, int) -> (Tensor)`";
@@ -9404,6 +9669,7 @@ def Torch_AtenDiagEmbedOp : Torch_Op<"aten.diag_embed", [
 def Torch_Aten_WeightNormInterfaceOp : Torch_Op<"aten._weight_norm_interface", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_weight_norm_interface : (Tensor, Tensor, int) -> (Tensor, Tensor)`";
@@ -9430,6 +9696,7 @@ def Torch_Aten_WeightNormInterfaceOp : Torch_Op<"aten._weight_norm_interface", [
 def Torch_AtenRot90Op : Torch_Op<"aten.rot90", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::rot90 : (Tensor, int, int[]) -> (Tensor)`";
@@ -9456,6 +9723,7 @@ def Torch_AtenRot90Op : Torch_Op<"aten.rot90", [
 def Torch_AtenConstantPadNdOp : Torch_Op<"aten.constant_pad_nd", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::constant_pad_nd : (Tensor, int[], Scalar) -> (Tensor)`";
@@ -9481,6 +9749,7 @@ def Torch_AtenConstantPadNdOp : Torch_Op<"aten.constant_pad_nd", [
 def Torch_AtenReplicationPad2dOp : Torch_Op<"aten.replication_pad2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::replication_pad2d : (Tensor, int[]) -> (Tensor)`";
@@ -9505,6 +9774,7 @@ def Torch_AtenReplicationPad2dOp : Torch_Op<"aten.replication_pad2d", [
 def Torch_AtenReflectionPad1dOp : Torch_Op<"aten.reflection_pad1d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::reflection_pad1d : (Tensor, int[]) -> (Tensor)`";
@@ -9529,6 +9799,7 @@ def Torch_AtenReflectionPad1dOp : Torch_Op<"aten.reflection_pad1d", [
 def Torch_AtenReflectionPad2dOp : Torch_Op<"aten.reflection_pad2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::reflection_pad2d : (Tensor, int[]) -> (Tensor)`";
@@ -9553,6 +9824,7 @@ def Torch_AtenReflectionPad2dOp : Torch_Op<"aten.reflection_pad2d", [
 def Torch_AtenPadOp : Torch_Op<"aten.pad", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::pad : (Tensor, int[], str, float?) -> (Tensor)`";
@@ -9675,6 +9947,7 @@ def Torch_AtenUnflattenIntOp : Torch_Op<"aten.unflatten.int", [
 def Torch_AtenDimOp : Torch_Op<"aten.dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::dim : (Tensor) -> (int)`";
@@ -9699,6 +9972,7 @@ def Torch_AtenDimOp : Torch_Op<"aten.dim", [
 def Torch_AtenSizeOp : Torch_Op<"aten.size", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::size : (Tensor) -> (int[])`";
@@ -9723,6 +9997,7 @@ def Torch_AtenSizeOp : Torch_Op<"aten.size", [
 def Torch_AtenBoolTensorOp : Torch_Op<"aten.Bool.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::Bool.Tensor : (Tensor) -> (bool)`";
@@ -9746,6 +10021,7 @@ def Torch_AtenBoolTensorOp : Torch_Op<"aten.Bool.Tensor", [
 def Torch_AtenIsFloatingPointOp : Torch_Op<"aten.is_floating_point", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::is_floating_point : (Tensor) -> (bool)`";
@@ -9770,6 +10046,7 @@ def Torch_AtenIsFloatingPointOp : Torch_Op<"aten.is_floating_point", [
 def Torch_AtenOnesOp : Torch_Op<"aten.ones", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ones : (int[], int?, int?, Device?, bool?) -> (Tensor)`";
@@ -9798,6 +10075,7 @@ def Torch_AtenOnesOp : Torch_Op<"aten.ones", [
 def Torch_AtenNewOnesOp : Torch_Op<"aten.new_ones", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::new_ones : (Tensor, int[], int?, int?, Device?, bool?) -> (Tensor)`";
@@ -9826,6 +10104,7 @@ def Torch_AtenNewOnesOp : Torch_Op<"aten.new_ones", [
 def Torch_AtenZerosOp : Torch_Op<"aten.zeros", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::zeros : (int[], int?, int?, Device?, bool?) -> (Tensor)`";
@@ -9854,6 +10133,7 @@ def Torch_AtenZerosOp : Torch_Op<"aten.zeros", [
 def Torch_AtenNewZerosOp : Torch_Op<"aten.new_zeros", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::new_zeros : (Tensor, int[], int?, int?, Device?, bool?) -> (Tensor)`";
@@ -9882,6 +10162,7 @@ def Torch_AtenNewZerosOp : Torch_Op<"aten.new_zeros", [
 def Torch_AtenEyeOp : Torch_Op<"aten.eye", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::eye : (int, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -9909,6 +10190,7 @@ def Torch_AtenEyeOp : Torch_Op<"aten.eye", [
 def Torch_AtenEyeMOp : Torch_Op<"aten.eye.m", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::eye.m : (int, int, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -9937,6 +10219,7 @@ def Torch_AtenEyeMOp : Torch_Op<"aten.eye.m", [
 def Torch_AtenTensorOp : Torch_Op<"aten.tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::tensor : (t[], int?, Device?, bool) -> (Tensor)`";
@@ -9964,6 +10247,7 @@ def Torch_AtenTensorOp : Torch_Op<"aten.tensor", [
 def Torch_AtenTensorBoolOp : Torch_Op<"aten.tensor.bool", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::tensor.bool : (bool, int?, Device?, bool) -> (Tensor)`";
@@ -9990,6 +10274,7 @@ def Torch_AtenTensorBoolOp : Torch_Op<"aten.tensor.bool", [
 def Torch_AtenTensorIntOp : Torch_Op<"aten.tensor.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::tensor.int : (int, int?, Device?, bool) -> (Tensor)`";
@@ -10017,6 +10302,7 @@ def Torch_AtenTensorIntOp : Torch_Op<"aten.tensor.int", [
 def Torch_AtenScalarTensorOp : Torch_Op<"aten.scalar_tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::scalar_tensor : (Scalar, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -10044,6 +10330,7 @@ def Torch_AtenScalarTensorOp : Torch_Op<"aten.scalar_tensor", [
 def Torch_Aten_ShapeAsTensorOp : Torch_Op<"aten._shape_as_tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_shape_as_tensor : (Tensor) -> (Tensor)`";
@@ -10068,6 +10355,7 @@ def Torch_Aten_ShapeAsTensorOp : Torch_Op<"aten._shape_as_tensor", [
 def Torch_AtenIsnanOp : Torch_Op<"aten.isnan", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::isnan : (Tensor) -> (Tensor)`";
@@ -10091,6 +10379,7 @@ def Torch_AtenIsnanOp : Torch_Op<"aten.isnan", [
 def Torch_AtenIsinfOp : Torch_Op<"aten.isinf", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::isinf : (Tensor) -> (Tensor)`";
@@ -10114,6 +10403,7 @@ def Torch_AtenIsinfOp : Torch_Op<"aten.isinf", [
 def Torch_AtenIsneginfOp : Torch_Op<"aten.isneginf", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::isneginf : (Tensor) -> (Tensor)`";
@@ -10137,6 +10427,7 @@ def Torch_AtenIsneginfOp : Torch_Op<"aten.isneginf", [
 def Torch_AtenIsposinfOp : Torch_Op<"aten.isposinf", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::isposinf : (Tensor) -> (Tensor)`";
@@ -10160,6 +10451,7 @@ def Torch_AtenIsposinfOp : Torch_Op<"aten.isposinf", [
 def Torch_AtenAllOp : Torch_Op<"aten.all", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::all : (Tensor) -> (Tensor)`";
@@ -10183,6 +10475,7 @@ def Torch_AtenAllOp : Torch_Op<"aten.all", [
 def Torch_AtenAllBoolOp : Torch_Op<"aten.all.bool", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::all.bool : (bool[]) -> (bool)`";
@@ -10206,6 +10499,7 @@ def Torch_AtenAllBoolOp : Torch_Op<"aten.all.bool", [
 def Torch_AtenAllDimOp : Torch_Op<"aten.all.dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::all.dim : (Tensor, int, bool) -> (Tensor)`";
@@ -10231,6 +10525,7 @@ def Torch_AtenAllDimOp : Torch_Op<"aten.all.dim", [
 def Torch_AtenAnyOp : Torch_Op<"aten.any", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::any : (Tensor) -> (Tensor)`";
@@ -10254,6 +10549,7 @@ def Torch_AtenAnyOp : Torch_Op<"aten.any", [
 def Torch_AtenAnyDimOp : Torch_Op<"aten.any.dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::any.dim : (Tensor, int, bool) -> (Tensor)`";
@@ -10279,6 +10575,7 @@ def Torch_AtenAnyDimOp : Torch_Op<"aten.any.dim", [
 def Torch_AtenArangeOp : Torch_Op<"aten.arange", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::arange : (Scalar, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -10306,6 +10603,7 @@ def Torch_AtenArangeOp : Torch_Op<"aten.arange", [
 def Torch_AtenArangeStartOp : Torch_Op<"aten.arange.start", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::arange.start : (Scalar, Scalar, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -10334,6 +10632,7 @@ def Torch_AtenArangeStartOp : Torch_Op<"aten.arange.start", [
 def Torch_AtenArangeStartStepOp : Torch_Op<"aten.arange.start_step", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::arange.start_step : (Scalar, Scalar, Scalar, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -10387,6 +10686,7 @@ def Torch_AtenArangeStartOutOp : Torch_Op<"aten.arange.start_out", [
 def Torch_AtenArgmaxOp : Torch_Op<"aten.argmax", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::argmax : (Tensor, int?, bool) -> (Tensor)`";
@@ -10412,6 +10712,7 @@ def Torch_AtenArgmaxOp : Torch_Op<"aten.argmax", [
 def Torch_AtenArgminOp : Torch_Op<"aten.argmin", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::argmin : (Tensor, int?, bool) -> (Tensor)`";
@@ -10437,6 +10738,7 @@ def Torch_AtenArgminOp : Torch_Op<"aten.argmin", [
 def Torch_AtenOneHotOp : Torch_Op<"aten.one_hot", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::one_hot : (Tensor, int) -> (Tensor)`";
@@ -10461,6 +10763,7 @@ def Torch_AtenOneHotOp : Torch_Op<"aten.one_hot", [
 def Torch_AtenAtleast1dOp : Torch_Op<"aten.atleast_1d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::atleast_1d : (Tensor) -> (Tensor)`";
@@ -10484,6 +10787,7 @@ def Torch_AtenAtleast1dOp : Torch_Op<"aten.atleast_1d", [
 def Torch_AtenAtleast2dOp : Torch_Op<"aten.atleast_2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::atleast_2d : (Tensor) -> (Tensor)`";
@@ -10507,6 +10811,7 @@ def Torch_AtenAtleast2dOp : Torch_Op<"aten.atleast_2d", [
 def Torch_AtenEinsumOp : Torch_Op<"aten.einsum", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::einsum : (str, Tensor[], int[]?) -> (Tensor)`";
@@ -10532,6 +10837,7 @@ def Torch_AtenEinsumOp : Torch_Op<"aten.einsum", [
 def Torch_AtenTraceOp : Torch_Op<"aten.trace", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::trace : (Tensor) -> (Tensor)`";
@@ -10555,6 +10861,7 @@ def Torch_AtenTraceOp : Torch_Op<"aten.trace", [
 def Torch_AtenBucketizeTensorOp : Torch_Op<"aten.bucketize.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::bucketize.Tensor : (Tensor, Tensor, bool, bool) -> (Tensor)`";
@@ -10581,6 +10888,7 @@ def Torch_AtenBucketizeTensorOp : Torch_Op<"aten.bucketize.Tensor", [
 def Torch_AtenCloneOp : Torch_Op<"aten.clone", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::clone : (Tensor, int?) -> (Tensor)`";
@@ -10606,6 +10914,7 @@ def Torch_AtenCloneOp : Torch_Op<"aten.clone", [
 def Torch_AtenLiftFreshCopyOp : Torch_Op<"aten.lift_fresh_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::lift_fresh_copy : (Tensor) -> (Tensor)`";
@@ -10652,6 +10961,7 @@ def Torch_AtenContiguousOp : Torch_Op<"aten.contiguous", [
 def Torch_AtenCopyOp : Torch_Op<"aten.copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::copy : (Tensor, Tensor, bool) -> (Tensor)`";
@@ -10701,6 +11011,7 @@ def Torch_AtenCopy_Op : Torch_Op<"aten.copy_", [
 def Torch_Aten_ToCopyOp : Torch_Op<"aten._to_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_to_copy : (Tensor, int?, int?, Device?, bool?, bool, int?) -> (Tensor)`";
@@ -10753,6 +11064,7 @@ def Torch_AtenDetachOp : Torch_Op<"aten.detach", [
 def Torch_AtenDeviceWithIndexOp : Torch_Op<"aten.device.with_index", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::device.with_index : (str, int) -> (Device)`";
@@ -10801,6 +11113,7 @@ def Torch_AtenCudaOp : Torch_Op<"aten.cuda", [
 def Torch_AtenEmbeddingOp : Torch_Op<"aten.embedding", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::embedding : (Tensor, Tensor, int, bool, bool) -> (Tensor)`";
@@ -10828,6 +11141,7 @@ def Torch_AtenEmbeddingOp : Torch_Op<"aten.embedding", [
 def Torch_AtenEmbeddingBagPaddingIdxOp : Torch_Op<"aten.embedding_bag.padding_idx", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::embedding_bag.padding_idx : (Tensor, Tensor, Tensor, bool, int, bool, Tensor?, bool, int?) -> (Tensor, Tensor, Tensor, Tensor)`";
@@ -10862,6 +11176,7 @@ def Torch_AtenEmbeddingBagPaddingIdxOp : Torch_Op<"aten.embedding_bag.padding_id
 def Torch_Aten_EmbeddingBagOp : Torch_Op<"aten._embedding_bag", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_embedding_bag : (Tensor, Tensor, Tensor, bool, int, bool, Tensor?, bool, int) -> (Tensor, Tensor, Tensor, Tensor)`";
@@ -10896,6 +11211,7 @@ def Torch_Aten_EmbeddingBagOp : Torch_Op<"aten._embedding_bag", [
 def Torch_AtenEmptyLikeOp : Torch_Op<"aten.empty_like", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::empty_like : (Tensor, int?, int?, Device?, bool?, int?) -> (Tensor)`";
@@ -10924,6 +11240,7 @@ def Torch_AtenEmptyLikeOp : Torch_Op<"aten.empty_like", [
 def Torch_AtenNewEmptyOp : Torch_Op<"aten.new_empty", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::new_empty : (Tensor, int[], int?, int?, Device?, bool?) -> (Tensor)`";
@@ -10952,6 +11269,7 @@ def Torch_AtenNewEmptyOp : Torch_Op<"aten.new_empty", [
 def Torch_AtenNewEmptyStridedOp : Torch_Op<"aten.new_empty_strided", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::new_empty_strided : (Tensor, int[], int[], int?, int?, Device?, bool?) -> (Tensor)`";
@@ -10981,6 +11299,7 @@ def Torch_AtenNewEmptyStridedOp : Torch_Op<"aten.new_empty_strided", [
 def Torch_AtenZerosLikeOp : Torch_Op<"aten.zeros_like", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::zeros_like : (Tensor, int?, int?, Device?, bool?, int?) -> (Tensor)`";
@@ -11009,6 +11328,7 @@ def Torch_AtenZerosLikeOp : Torch_Op<"aten.zeros_like", [
 def Torch_AtenOnesLikeOp : Torch_Op<"aten.ones_like", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ones_like : (Tensor, int?, int?, Device?, bool?, int?) -> (Tensor)`";
@@ -11037,6 +11357,7 @@ def Torch_AtenOnesLikeOp : Torch_Op<"aten.ones_like", [
 def Torch_AtenEmptyMemoryFormatOp : Torch_Op<"aten.empty.memory_format", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::empty.memory_format : (int[], int?, int?, Device?, bool?, int?) -> (Tensor)`";
@@ -11065,6 +11386,7 @@ def Torch_AtenEmptyMemoryFormatOp : Torch_Op<"aten.empty.memory_format", [
 def Torch_AtenEmptyStridedOp : Torch_Op<"aten.empty_strided", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::empty_strided : (int[], int[], int?, int?, Device?, bool?) -> (Tensor)`";
@@ -11164,6 +11486,7 @@ def Torch_AtenBroadcastToOp : Torch_Op<"aten.broadcast_to", [
 def Torch_AtenIndexTensorOp : Torch_Op<"aten.index.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::index.Tensor : (Tensor, Tensor?[]) -> (Tensor)`";
@@ -11188,6 +11511,7 @@ def Torch_AtenIndexTensorOp : Torch_Op<"aten.index.Tensor", [
 def Torch_AtenIndexTensorHackedTwinOp : Torch_Op<"aten.index.Tensor_hacked_twin", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::index.Tensor_hacked_twin : (Tensor, Tensor[]) -> (Tensor)`";
@@ -11212,6 +11536,7 @@ def Torch_AtenIndexTensorHackedTwinOp : Torch_Op<"aten.index.Tensor_hacked_twin"
 def Torch_AtenIndexSelectOp : Torch_Op<"aten.index_select", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::index_select : (Tensor, int, Tensor) -> (Tensor)`";
@@ -11238,6 +11563,7 @@ def Torch_AtenIndexSelectOp : Torch_Op<"aten.index_select", [
 def Torch_Aten_IndexPutImplOp : Torch_Op<"aten._index_put_impl", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_index_put_impl : (Tensor, Tensor?[], Tensor, bool, bool) -> (Tensor)`";
@@ -11291,6 +11617,7 @@ def Torch_Aten_IndexPutImpl_Op : Torch_Op<"aten._index_put_impl_", [
 def Torch_AtenItemOp : Torch_Op<"aten.item", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::item : (Tensor) -> (Scalar)`";
@@ -11315,6 +11642,7 @@ def Torch_AtenItemOp : Torch_Op<"aten.item", [
 def Torch_AtenMaskedSelectOp : Torch_Op<"aten.masked_select", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::masked_select : (Tensor, Tensor) -> (Tensor)`";
@@ -11339,6 +11667,7 @@ def Torch_AtenMaskedSelectOp : Torch_Op<"aten.masked_select", [
 def Torch_AtenNumelOp : Torch_Op<"aten.numel", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::numel : (Tensor) -> (int)`";
@@ -11363,6 +11692,7 @@ def Torch_AtenNumelOp : Torch_Op<"aten.numel", [
 def Torch_AtenRepeatOp : Torch_Op<"aten.repeat", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::repeat : (Tensor, int[]) -> (Tensor)`";
@@ -11387,6 +11717,7 @@ def Torch_AtenRepeatOp : Torch_Op<"aten.repeat", [
 def Torch_AtenRepeatInterleaveSelfIntOp : Torch_Op<"aten.repeat_interleave.self_int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::repeat_interleave.self_int : (Tensor, int, int?, int?) -> (Tensor)`";
@@ -11413,6 +11744,7 @@ def Torch_AtenRepeatInterleaveSelfIntOp : Torch_Op<"aten.repeat_interleave.self_
 def Torch_AtenTileOp : Torch_Op<"aten.tile", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::tile : (Tensor, int[]) -> (Tensor)`";
@@ -11508,6 +11840,7 @@ def Torch_Aten_ReshapeAliasOp : Torch_Op<"aten._reshape_alias", [
 def Torch_AtenResizeOp : Torch_Op<"aten.resize", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::resize : (Tensor, int[], int?) -> (Tensor)`";
@@ -11581,6 +11914,7 @@ def Torch_AtenSelectIntOp : Torch_Op<"aten.select.int", [
 def Torch_AtenSizeIntOp : Torch_Op<"aten.size.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::size.int : (Tensor, int) -> (int)`";
@@ -11606,6 +11940,7 @@ def Torch_AtenSizeIntOp : Torch_Op<"aten.size.int", [
 def Torch_AtenSumOp : Torch_Op<"aten.sum", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sum : (Tensor, int?) -> (Tensor)`";
@@ -11630,6 +11965,7 @@ def Torch_AtenSumOp : Torch_Op<"aten.sum", [
 def Torch_AtenSumDimIntListOp : Torch_Op<"aten.sum.dim_IntList", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sum.dim_IntList : (Tensor, int[]?, bool, int?) -> (Tensor)`";
@@ -11656,6 +11992,7 @@ def Torch_AtenSumDimIntListOp : Torch_Op<"aten.sum.dim_IntList", [
 def Torch_AtenProdDimIntOp : Torch_Op<"aten.prod.dim_int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::prod.dim_int : (Tensor, int, bool, int?) -> (Tensor)`";
@@ -11682,6 +12019,7 @@ def Torch_AtenProdDimIntOp : Torch_Op<"aten.prod.dim_int", [
 def Torch_AtenProdOp : Torch_Op<"aten.prod", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::prod : (Tensor, int?) -> (Tensor)`";
@@ -11706,6 +12044,7 @@ def Torch_AtenProdOp : Torch_Op<"aten.prod", [
 def Torch_AtenMaxOp : Torch_Op<"aten.max", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max : (Tensor) -> (Tensor)`";
@@ -11729,6 +12068,7 @@ def Torch_AtenMaxOp : Torch_Op<"aten.max", [
 def Torch_AtenMaxOtherOp : Torch_Op<"aten.max.other", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max.other : (Tensor, Tensor) -> (Tensor)`";
@@ -11754,6 +12094,7 @@ def Torch_AtenMaxOtherOp : Torch_Op<"aten.max.other", [
 def Torch_AtenMaxDimOp : Torch_Op<"aten.max.dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::max.dim : (Tensor, int, bool) -> (Tensor, Tensor)`";
@@ -11780,6 +12121,7 @@ def Torch_AtenMaxDimOp : Torch_Op<"aten.max.dim", [
 def Torch_AtenAmaxOp : Torch_Op<"aten.amax", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::amax : (Tensor, int[], bool) -> (Tensor)`";
@@ -11805,6 +12147,7 @@ def Torch_AtenAmaxOp : Torch_Op<"aten.amax", [
 def Torch_AtenMinOp : Torch_Op<"aten.min", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::min : (Tensor) -> (Tensor)`";
@@ -11828,6 +12171,7 @@ def Torch_AtenMinOp : Torch_Op<"aten.min", [
 def Torch_AtenMinOtherOp : Torch_Op<"aten.min.other", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::min.other : (Tensor, Tensor) -> (Tensor)`";
@@ -11853,6 +12197,7 @@ def Torch_AtenMinOtherOp : Torch_Op<"aten.min.other", [
 def Torch_AtenMinDimOp : Torch_Op<"aten.min.dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::min.dim : (Tensor, int, bool) -> (Tensor, Tensor)`";
@@ -11879,6 +12224,7 @@ def Torch_AtenMinDimOp : Torch_Op<"aten.min.dim", [
 def Torch_AtenAminOp : Torch_Op<"aten.amin", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::amin : (Tensor, int[], bool) -> (Tensor)`";
@@ -11904,6 +12250,7 @@ def Torch_AtenAminOp : Torch_Op<"aten.amin", [
 def Torch_AtenAminmaxOp : Torch_Op<"aten.aminmax", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::aminmax : (Tensor, int?, bool) -> (Tensor, Tensor)`";
@@ -12068,6 +12415,7 @@ def Torch_AtenToDeviceOp : Torch_Op<"aten.to.device", [
 def Torch_Aten_CastFloatOp : Torch_Op<"aten._cast_Float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_cast_Float : (Tensor, bool) -> (Tensor)`";
@@ -12093,6 +12441,7 @@ def Torch_Aten_CastFloatOp : Torch_Op<"aten._cast_Float", [
 def Torch_Aten_CastLongOp : Torch_Op<"aten._cast_Long", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_cast_Long : (Tensor, bool) -> (Tensor)`";
@@ -12118,6 +12467,7 @@ def Torch_Aten_CastLongOp : Torch_Op<"aten._cast_Long", [
 def Torch_AtenTypeAsOp : Torch_Op<"aten.type_as", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::type_as : (Tensor, Tensor) -> (Tensor)`";
@@ -12189,6 +12539,7 @@ def Torch_AtenViewDtypeOp : Torch_Op<"aten.view.dtype", [
 def Torch_Aten_UnsafeViewOp : Torch_Op<"aten._unsafe_view", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_unsafe_view : (Tensor, int[]) -> (Tensor)`";
@@ -12213,6 +12564,7 @@ def Torch_Aten_UnsafeViewOp : Torch_Op<"aten._unsafe_view", [
 def Torch_AtenWhereSelfOp : Torch_Op<"aten.where.self", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::where.self : (Tensor, Tensor, Tensor) -> (Tensor)`";
@@ -12239,6 +12591,7 @@ def Torch_AtenWhereSelfOp : Torch_Op<"aten.where.self", [
 def Torch_AtenWhereScalarOp : Torch_Op<"aten.where.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::where.Scalar : (Tensor, Scalar, Scalar) -> (Tensor)`";
@@ -12266,6 +12619,7 @@ def Torch_AtenWhereScalarOp : Torch_Op<"aten.where.Scalar", [
 def Torch_AtenWhereScalarOtherOp : Torch_Op<"aten.where.ScalarOther", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::where.ScalarOther : (Tensor, Tensor, Scalar) -> (Tensor)`";
@@ -12292,6 +12646,7 @@ def Torch_AtenWhereScalarOtherOp : Torch_Op<"aten.where.ScalarOther", [
 def Torch_AtenWhereScalarSelfOp : Torch_Op<"aten.where.ScalarSelf", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::where.ScalarSelf : (Tensor, Scalar, Tensor) -> (Tensor)`";
@@ -12318,6 +12673,7 @@ def Torch_AtenWhereScalarSelfOp : Torch_Op<"aten.where.ScalarSelf", [
 def Torch_AtenNanToNumOp : Torch_Op<"aten.nan_to_num", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::nan_to_num : (Tensor, float?, float?, float?) -> (Tensor)`";
@@ -12371,6 +12727,7 @@ def Torch_AtenSliceTensorOp : Torch_Op<"aten.slice.Tensor", [
 def Torch_AtenLenTensorOp : Torch_Op<"aten.len.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::len.Tensor : (Tensor) -> (int)`";
@@ -12416,6 +12773,7 @@ def Torch_AtenCpuOp : Torch_Op<"aten.cpu", [
 def Torch_AtenGatherOp : Torch_Op<"aten.gather", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::gather : (Tensor, int, Tensor, bool) -> (Tensor)`";
@@ -12442,6 +12800,7 @@ def Torch_AtenGatherOp : Torch_Op<"aten.gather", [
 def Torch_AtenScatterAddOp : Torch_Op<"aten.scatter_add", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::scatter_add : (Tensor, int, Tensor, Tensor) -> (Tensor)`";
@@ -12493,6 +12852,7 @@ def Torch_AtenScatterAdd_Op : Torch_Op<"aten.scatter_add_", [
 def Torch_AtenScatterReduceTwoOp : Torch_Op<"aten.scatter_reduce.two", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::scatter_reduce.two : (Tensor, int, Tensor, Tensor, str, bool) -> (Tensor)`";
@@ -12548,6 +12908,7 @@ def Torch_AtenScatterReduce_TwoOp : Torch_Op<"aten.scatter_reduce_.two", [
 def Torch_AtenIntImplicitOp : Torch_Op<"aten.IntImplicit", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::IntImplicit : (Tensor) -> (int)`";
@@ -12572,6 +12933,7 @@ def Torch_AtenIntImplicitOp : Torch_Op<"aten.IntImplicit", [
 def Torch_AtenFloatImplicitOp : Torch_Op<"aten.FloatImplicit", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::FloatImplicit : (Tensor) -> (float)`";
@@ -12596,6 +12958,7 @@ def Torch_AtenFloatImplicitOp : Torch_Op<"aten.FloatImplicit", [
 def Torch_AtenTensorFloatOp : Torch_Op<"aten.tensor.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::tensor.float : (float, int?, Device?, bool) -> (Tensor)`";
@@ -12623,6 +12986,7 @@ def Torch_AtenTensorFloatOp : Torch_Op<"aten.tensor.float", [
 def Torch_AtenIntTensorOp : Torch_Op<"aten.Int.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::Int.Tensor : (Tensor) -> (int)`";
@@ -12647,6 +13011,7 @@ def Torch_AtenIntTensorOp : Torch_Op<"aten.Int.Tensor", [
 def Torch_AtenFloatTensorOp : Torch_Op<"aten.Float.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::Float.Tensor : (Tensor) -> (float)`";
@@ -12671,6 +13036,7 @@ def Torch_AtenFloatTensorOp : Torch_Op<"aten.Float.Tensor", [
 def Torch_AtenDropoutOp : Torch_Op<"aten.dropout", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::dropout : (Tensor, float, bool) -> (Tensor)`";
@@ -12720,6 +13086,7 @@ def Torch_AtenDropout_Op : Torch_Op<"aten.dropout_", [
 def Torch_AtenNativeDropoutOp : Torch_Op<"aten.native_dropout", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::native_dropout : (Tensor, float, bool?) -> (Tensor, Tensor)`";
@@ -12790,6 +13157,7 @@ def Torch_AtenNumpyTOp : Torch_Op<"aten.numpy_T", [
 def Torch_AtenFullOp : Torch_Op<"aten.full", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::full : (int[], Scalar, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -12819,6 +13187,7 @@ def Torch_AtenFullOp : Torch_Op<"aten.full", [
 def Torch_AtenFullLikeOp : Torch_Op<"aten.full_like", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::full_like : (Tensor, Scalar, int?, int?, Device?, bool?, int?) -> (Tensor)`";
@@ -12848,6 +13217,7 @@ def Torch_AtenFullLikeOp : Torch_Op<"aten.full_like", [
 def Torch_AtenNewFullOp : Torch_Op<"aten.new_full", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::new_full : (Tensor, int[], Scalar, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -12877,6 +13247,7 @@ def Torch_AtenNewFullOp : Torch_Op<"aten.new_full", [
 def Torch_AtenBaddbmmOp : Torch_Op<"aten.baddbmm", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::baddbmm : (Tensor, Tensor, Tensor, Scalar, Scalar) -> (Tensor)`";
@@ -12930,6 +13301,7 @@ def Torch_AtenBaddbmm_Op : Torch_Op<"aten.baddbmm_", [
 def Torch_AtenHannWindowPeriodicOp : Torch_Op<"aten.hann_window.periodic", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::hann_window.periodic : (int, bool, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -12958,6 +13330,7 @@ def Torch_AtenHannWindowPeriodicOp : Torch_Op<"aten.hann_window.periodic", [
 def Torch_AtenFftFftOp : Torch_Op<"aten.fft_fft", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fft_fft : (Tensor, int?, int, str?) -> (Tensor)`";
@@ -12984,6 +13357,7 @@ def Torch_AtenFftFftOp : Torch_Op<"aten.fft_fft", [
 def Torch_AtenFftIfftOp : Torch_Op<"aten.fft_ifft", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fft_ifft : (Tensor, int?, int, str?) -> (Tensor)`";
@@ -13010,6 +13384,7 @@ def Torch_AtenFftIfftOp : Torch_Op<"aten.fft_ifft", [
 def Torch_AtenFmodTensorOp : Torch_Op<"aten.fmod.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::fmod.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -13034,6 +13409,7 @@ def Torch_AtenFmodTensorOp : Torch_Op<"aten.fmod.Tensor", [
 def Torch_AtenUniqueConsecutiveOp : Torch_Op<"aten.unique_consecutive", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::unique_consecutive : (Tensor, bool, bool, int?) -> (Tensor, Tensor, Tensor)`";
@@ -13062,6 +13438,7 @@ def Torch_AtenUniqueConsecutiveOp : Torch_Op<"aten.unique_consecutive", [
 def Torch_AtenUniqueDimOp : Torch_Op<"aten.unique_dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::unique_dim : (Tensor, int, bool, bool, bool) -> (Tensor, Tensor, Tensor)`";
@@ -13091,6 +13468,7 @@ def Torch_AtenUniqueDimOp : Torch_Op<"aten.unique_dim", [
 def Torch_AtenLinspaceOp : Torch_Op<"aten.linspace", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::linspace : (Scalar, Scalar, int, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -13120,6 +13498,7 @@ def Torch_AtenLinspaceOp : Torch_Op<"aten.linspace", [
 def Torch_AtenLinalgCrossOp : Torch_Op<"aten.linalg_cross", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::linalg_cross : (Tensor, Tensor, int) -> (Tensor)`";
@@ -13146,6 +13525,7 @@ def Torch_AtenLinalgCrossOp : Torch_Op<"aten.linalg_cross", [
 def Torch_AtenCol2imOp : Torch_Op<"aten.col2im", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::col2im : (Tensor, int[], int[], int[], int[], int[]) -> (Tensor)`";
@@ -13174,6 +13554,7 @@ def Torch_AtenCol2imOp : Torch_Op<"aten.col2im", [
 def Torch_AtenKthvalueOp : Torch_Op<"aten.kthvalue", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::kthvalue : (Tensor, int, int, bool) -> (Tensor, Tensor)`";
@@ -13202,6 +13583,7 @@ def Torch_AtenKthvalueOp : Torch_Op<"aten.kthvalue", [
 def Torch_AtenStftOp : Torch_Op<"aten.stft", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::stft : (Tensor, int, int?, int?, Tensor?, bool, bool?, bool?) -> (Tensor)`";
@@ -13232,6 +13614,7 @@ def Torch_AtenStftOp : Torch_Op<"aten.stft", [
 def Torch_AtenAliasCopyOp : Torch_Op<"aten.alias_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::alias_copy : (Tensor) -> (Tensor)`";
@@ -13278,6 +13661,7 @@ def Torch_AtenAliasOp : Torch_Op<"aten.alias", [
 def Torch_AtenAsStridedCopyOp : Torch_Op<"aten.as_strided_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::as_strided_copy : (Tensor, int[], int[], int?) -> (Tensor)`";
@@ -13354,6 +13738,7 @@ def Torch_AtenDiagonalOp : Torch_Op<"aten.diagonal", [
 def Torch_AtenDiagonalCopyOp : Torch_Op<"aten.diagonal_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::diagonal_copy : (Tensor, int, int, int) -> (Tensor)`";
@@ -13380,6 +13765,7 @@ def Torch_AtenDiagonalCopyOp : Torch_Op<"aten.diagonal_copy", [
 def Torch_AtenExpandCopyOp : Torch_Op<"aten.expand_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::expand_copy : (Tensor, int[], bool) -> (Tensor)`";
@@ -13405,6 +13791,7 @@ def Torch_AtenExpandCopyOp : Torch_Op<"aten.expand_copy", [
 def Torch_AtenPermuteCopyOp : Torch_Op<"aten.permute_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::permute_copy : (Tensor, int[]) -> (Tensor)`";
@@ -13429,6 +13816,7 @@ def Torch_AtenPermuteCopyOp : Torch_Op<"aten.permute_copy", [
 def Torch_Aten_ReshapeAliasCopyOp : Torch_Op<"aten._reshape_alias_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_reshape_alias_copy : (Tensor, int[], int[]) -> (Tensor)`";
@@ -13454,6 +13842,7 @@ def Torch_Aten_ReshapeAliasCopyOp : Torch_Op<"aten._reshape_alias_copy", [
 def Torch_AtenSelectCopyIntOp : Torch_Op<"aten.select_copy.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::select_copy.int : (Tensor, int, int) -> (Tensor)`";
@@ -13479,6 +13868,7 @@ def Torch_AtenSelectCopyIntOp : Torch_Op<"aten.select_copy.int", [
 def Torch_AtenDetachCopyOp : Torch_Op<"aten.detach_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::detach_copy : (Tensor) -> (Tensor)`";
@@ -13502,6 +13892,7 @@ def Torch_AtenDetachCopyOp : Torch_Op<"aten.detach_copy", [
 def Torch_AtenSliceCopyTensorOp : Torch_Op<"aten.slice_copy.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::slice_copy.Tensor : (Tensor, int, int?, int?, int) -> (Tensor)`";
@@ -13529,6 +13920,7 @@ def Torch_AtenSliceCopyTensorOp : Torch_Op<"aten.slice_copy.Tensor", [
 def Torch_AtenSqueezeCopyOp : Torch_Op<"aten.squeeze_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::squeeze_copy : (Tensor) -> (Tensor)`";
@@ -13552,6 +13944,7 @@ def Torch_AtenSqueezeCopyOp : Torch_Op<"aten.squeeze_copy", [
 def Torch_AtenSqueezeCopyDimOp : Torch_Op<"aten.squeeze_copy.dim", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::squeeze_copy.dim : (Tensor, int) -> (Tensor)`";
@@ -13576,6 +13969,7 @@ def Torch_AtenSqueezeCopyDimOp : Torch_Op<"aten.squeeze_copy.dim", [
 def Torch_AtenTCopyOp : Torch_Op<"aten.t_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::t_copy : (Tensor) -> (Tensor)`";
@@ -13599,6 +13993,7 @@ def Torch_AtenTCopyOp : Torch_Op<"aten.t_copy", [
 def Torch_AtenTransposeCopyIntOp : Torch_Op<"aten.transpose_copy.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::transpose_copy.int : (Tensor, int, int) -> (Tensor)`";
@@ -13624,6 +14019,7 @@ def Torch_AtenTransposeCopyIntOp : Torch_Op<"aten.transpose_copy.int", [
 def Torch_AtenUnsqueezeCopyOp : Torch_Op<"aten.unsqueeze_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::unsqueeze_copy : (Tensor, int) -> (Tensor)`";
@@ -13648,6 +14044,7 @@ def Torch_AtenUnsqueezeCopyOp : Torch_Op<"aten.unsqueeze_copy", [
 def Torch_AtenViewCopyOp : Torch_Op<"aten.view_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::view_copy : (Tensor, int[]) -> (Tensor)`";
@@ -13672,6 +14069,7 @@ def Torch_AtenViewCopyOp : Torch_Op<"aten.view_copy", [
 def Torch_AtenViewCopyDtypeOp : Torch_Op<"aten.view_copy.dtype", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::view_copy.dtype : (Tensor, int) -> (Tensor)`";
@@ -13721,6 +14119,7 @@ def Torch_AtenUnfoldOp : Torch_Op<"aten.unfold", [
 def Torch_AtenUnfoldCopyOp : Torch_Op<"aten.unfold_copy", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::unfold_copy : (Tensor, int, int, int) -> (Tensor)`";
@@ -13747,6 +14146,7 @@ def Torch_AtenUnfoldCopyOp : Torch_Op<"aten.unfold_copy", [
 def Torch_AtenIm2colOp : Torch_Op<"aten.im2col", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::im2col : (Tensor, int[], int[], int[], int[]) -> (Tensor)`";
@@ -13774,6 +14174,7 @@ def Torch_AtenIm2colOp : Torch_Op<"aten.im2col", [
 def Torch_AtenScatterReduceOp : Torch_Op<"aten.scatter.reduce", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::scatter.reduce : (Tensor, int, Tensor, Tensor, str) -> (Tensor)`";
@@ -13801,6 +14202,7 @@ def Torch_AtenScatterReduceOp : Torch_Op<"aten.scatter.reduce", [
 def Torch_AtenSelectScatterOp : Torch_Op<"aten.select_scatter", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::select_scatter : (Tensor, Tensor, int, int) -> (Tensor)`";
@@ -13827,6 +14229,7 @@ def Torch_AtenSelectScatterOp : Torch_Op<"aten.select_scatter", [
 def Torch_AtenSliceScatterOp : Torch_Op<"aten.slice_scatter", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::slice_scatter : (Tensor, Tensor, int, int?, int?, int) -> (Tensor)`";
@@ -13855,6 +14258,7 @@ def Torch_AtenSliceScatterOp : Torch_Op<"aten.slice_scatter", [
 def Torch_AtenDiagonalScatterOp : Torch_Op<"aten.diagonal_scatter", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::diagonal_scatter : (Tensor, Tensor, int, int, int) -> (Tensor)`";
@@ -13882,6 +14286,7 @@ def Torch_AtenDiagonalScatterOp : Torch_Op<"aten.diagonal_scatter", [
 def Torch_AtenAsStridedScatterOp : Torch_Op<"aten.as_strided_scatter", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::as_strided_scatter : (Tensor, Tensor, int[], int[], int?) -> (Tensor)`";
@@ -13909,6 +14314,7 @@ def Torch_AtenAsStridedScatterOp : Torch_Op<"aten.as_strided_scatter", [
 def Torch_AtenUpsampleNearest1dOp : Torch_Op<"aten.upsample_nearest1d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::upsample_nearest1d : (Tensor, int[], float?) -> (Tensor)`";
@@ -13934,6 +14340,7 @@ def Torch_AtenUpsampleNearest1dOp : Torch_Op<"aten.upsample_nearest1d", [
 def Torch_AtenUpsampleNearest1dVecOp : Torch_Op<"aten.upsample_nearest1d.vec", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::upsample_nearest1d.vec : (Tensor, int[]?, float[]?) -> (Tensor)`";
@@ -13959,6 +14366,7 @@ def Torch_AtenUpsampleNearest1dVecOp : Torch_Op<"aten.upsample_nearest1d.vec", [
 def Torch_AtenUpsampleNearest2dOp : Torch_Op<"aten.upsample_nearest2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::upsample_nearest2d : (Tensor, int[], float?, float?) -> (Tensor)`";
@@ -13985,6 +14393,7 @@ def Torch_AtenUpsampleNearest2dOp : Torch_Op<"aten.upsample_nearest2d", [
 def Torch_AtenUpsampleNearest2dVecOp : Torch_Op<"aten.upsample_nearest2d.vec", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::upsample_nearest2d.vec : (Tensor, int[]?, float[]?) -> (Tensor)`";
@@ -14010,6 +14419,7 @@ def Torch_AtenUpsampleNearest2dVecOp : Torch_Op<"aten.upsample_nearest2d.vec", [
 def Torch_AtenScaledDotProductAttentionOp : Torch_Op<"aten.scaled_dot_product_attention", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::scaled_dot_product_attention : (Tensor, Tensor, Tensor, Tensor?, float, bool, float?, bool) -> (Tensor)`";
@@ -14040,6 +14450,7 @@ def Torch_AtenScaledDotProductAttentionOp : Torch_Op<"aten.scaled_dot_product_at
 def Torch_AtenGridSamplerOp : Torch_Op<"aten.grid_sampler", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::grid_sampler : (Tensor, Tensor, int, int, bool) -> (Tensor)`";
@@ -14067,6 +14478,7 @@ def Torch_AtenGridSamplerOp : Torch_Op<"aten.grid_sampler", [
 def Torch_Aten__Contains__StrOp : Torch_Op<"aten.__contains__.str", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__contains__.str : (Dict(str, t), str) -> (bool)`";
@@ -14092,6 +14504,7 @@ def Torch_Aten__Contains__StrOp : Torch_Op<"aten.__contains__.str", [
 def Torch_Aten__Contains__IntListOp : Torch_Op<"aten.__contains__.int_list", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__contains__.int_list : (int[], int) -> (bool)`";
@@ -14230,6 +14643,7 @@ def Torch_AtenDeleteDictStrOp : Torch_Op<"aten.Delete.Dict_str", [
 def Torch_AtenCatOp : Torch_Op<"aten.cat", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::cat : (Tensor[], int) -> (Tensor)`";
@@ -14256,6 +14670,7 @@ def Torch_AtenCatOp : Torch_Op<"aten.cat", [
 def Torch_AtenStackOp : Torch_Op<"aten.stack", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::stack : (Tensor[], int) -> (Tensor)`";
@@ -14280,6 +14695,7 @@ def Torch_AtenStackOp : Torch_Op<"aten.stack", [
 def Torch_AtenHstackOp : Torch_Op<"aten.hstack", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::hstack : (Tensor[]) -> (Tensor)`";
@@ -14325,6 +14741,7 @@ def Torch_AtenAppendTOp : Torch_Op<"aten.append.t", [
 def Torch_AtenAddTOp : Torch_Op<"aten.add.t", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::add.t : (t[], t[]) -> (t[])`";
@@ -14350,6 +14767,7 @@ def Torch_AtenAddTOp : Torch_Op<"aten.add.t", [
 def Torch_AtenEqIntListOp : Torch_Op<"aten.eq.int_list", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::eq.int_list : (int[], int[]) -> (bool)`";
@@ -14375,6 +14793,7 @@ def Torch_AtenEqIntListOp : Torch_Op<"aten.eq.int_list", [
 def Torch_AtenListTOp : Torch_Op<"aten.list.t", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::list.t : (t[]) -> (t[])`";
@@ -14398,6 +14817,7 @@ def Torch_AtenListTOp : Torch_Op<"aten.list.t", [
 def Torch_AtenSliceTOp : Torch_Op<"aten.slice.t", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::slice.t : (t[], int?, int?, int) -> (t[])`";
@@ -14447,6 +14867,7 @@ def Torch_AtenInsertTOp : Torch_Op<"aten.insert.t", [
 def Torch_AtenNeIntListOp : Torch_Op<"aten.ne.int_list", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ne.int_list : (int[], int[]) -> (bool)`";
@@ -14471,6 +14892,7 @@ def Torch_AtenNeIntListOp : Torch_Op<"aten.ne.int_list", [
 def Torch_AtenAnyBoolOp : Torch_Op<"aten.any.bool", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::any.bool : (bool[]) -> (bool)`";
@@ -14517,6 +14939,7 @@ def Torch_AtenSortIntOp : Torch_Op<"aten.sort.int", [
 def Torch_AtenSortOp : Torch_Op<"aten.sort", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sort : (Tensor, int, bool) -> (Tensor, Tensor)`";
@@ -14688,6 +15111,7 @@ def Torch_AtenChunkOp : Torch_Op<"aten.chunk", [
 def Torch_AtenMeshgridOp : Torch_Op<"aten.meshgrid", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::meshgrid : (Tensor[]) -> (Tensor[])`";
@@ -14712,6 +15136,7 @@ def Torch_AtenMeshgridOp : Torch_Op<"aten.meshgrid", [
 def Torch_AtenMeshgridIndexingOp : Torch_Op<"aten.meshgrid.indexing", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::meshgrid.indexing : (Tensor[], str) -> (Tensor[])`";
@@ -14736,6 +15161,7 @@ def Torch_AtenMeshgridIndexingOp : Torch_Op<"aten.meshgrid.indexing", [
 def Torch_AtenAddStrOp : Torch_Op<"aten.add.str", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::add.str : (str, str) -> (str)`";
@@ -14760,6 +15186,7 @@ def Torch_AtenAddStrOp : Torch_Op<"aten.add.str", [
 def Torch_AtenEqStrOp : Torch_Op<"aten.eq.str", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::eq.str : (str, str) -> (bool)`";
@@ -14785,6 +15212,7 @@ def Torch_AtenEqStrOp : Torch_Op<"aten.eq.str", [
 def Torch_AtenNeStrOp : Torch_Op<"aten.ne.str", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ne.str : (str, str) -> (bool)`";
@@ -14810,6 +15238,7 @@ def Torch_AtenNeStrOp : Torch_Op<"aten.ne.str", [
 def Torch_AtenLenStrOp : Torch_Op<"aten.len.str", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::len.str : (str) -> (int)`";
@@ -14834,6 +15263,7 @@ def Torch_AtenLenStrOp : Torch_Op<"aten.len.str", [
 def Torch_AtenStrOp : Torch_Op<"aten.str", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::str : (t) -> (str)`";
@@ -14871,6 +15301,7 @@ def Torch_AtenFormatOp : Torch_Op<"aten.format", [
 def Torch_AtenJoinOp : Torch_Op<"aten.join", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::join : (str, str[]) -> (str)`";
@@ -14895,6 +15326,7 @@ def Torch_AtenJoinOp : Torch_Op<"aten.join", [
 def Torch_AtenWarnOp : Torch_Op<"aten.warn", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::warn : (str, int) -> ()`";
@@ -14918,6 +15350,7 @@ def Torch_AtenWarnOp : Torch_Op<"aten.warn", [
 def Torch_Aten__Contains__StrListOp : Torch_Op<"aten.__contains__.str_list", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__contains__.str_list : (str[], str) -> (bool)`";
@@ -14943,6 +15376,7 @@ def Torch_Aten__Contains__StrListOp : Torch_Op<"aten.__contains__.str_list", [
 def Torch_AtenFloatScalarOp : Torch_Op<"aten.Float.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::Float.Scalar : (Scalar) -> (float)`";
@@ -14967,6 +15401,7 @@ def Torch_AtenFloatScalarOp : Torch_Op<"aten.Float.Scalar", [
 def Torch_AtenFloatStrOp : Torch_Op<"aten.Float.str", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::Float.str : (str) -> (float)`";
@@ -14990,6 +15425,7 @@ def Torch_AtenFloatStrOp : Torch_Op<"aten.Float.str", [
 def Torch_AtenIntFloatOp : Torch_Op<"aten.Int.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::Int.float : (float) -> (int)`";
@@ -15014,6 +15450,7 @@ def Torch_AtenIntFloatOp : Torch_Op<"aten.Int.float", [
 def Torch_AtenIntScalarOp : Torch_Op<"aten.Int.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::Int.Scalar : (Scalar) -> (int)`";
@@ -15038,6 +15475,7 @@ def Torch_AtenIntScalarOp : Torch_Op<"aten.Int.Scalar", [
 def Torch_AtenIntBoolOp : Torch_Op<"aten.Int.bool", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::Int.bool : (bool) -> (int)`";
@@ -15062,6 +15500,7 @@ def Torch_AtenIntBoolOp : Torch_Op<"aten.Int.bool", [
 def Torch_Aten__RangeLengthOp : Torch_Op<"aten.__range_length", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__range_length : (int, int, int) -> (int)`";
@@ -15088,6 +15527,7 @@ def Torch_Aten__RangeLengthOp : Torch_Op<"aten.__range_length", [
 def Torch_Aten__DeriveIndexOp : Torch_Op<"aten.__derive_index", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__derive_index : (int, int, int) -> (int)`";
@@ -15114,6 +15554,7 @@ def Torch_Aten__DeriveIndexOp : Torch_Op<"aten.__derive_index", [
 def Torch_AtenGtIntOp : Torch_Op<"aten.gt.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::gt.int : (int, int) -> (bool)`";
@@ -15139,6 +15580,7 @@ def Torch_AtenGtIntOp : Torch_Op<"aten.gt.int", [
 def Torch_AtenGeIntOp : Torch_Op<"aten.ge.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ge.int : (int, int) -> (bool)`";
@@ -15164,6 +15606,7 @@ def Torch_AtenGeIntOp : Torch_Op<"aten.ge.int", [
 def Torch_AtenLtIntOp : Torch_Op<"aten.lt.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::lt.int : (int, int) -> (bool)`";
@@ -15189,6 +15632,7 @@ def Torch_AtenLtIntOp : Torch_Op<"aten.lt.int", [
 def Torch_AtenLeIntOp : Torch_Op<"aten.le.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::le.int : (int, int) -> (bool)`";
@@ -15214,6 +15658,7 @@ def Torch_AtenLeIntOp : Torch_Op<"aten.le.int", [
 def Torch_AtenNeIntOp : Torch_Op<"aten.ne.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ne.int : (int, int) -> (bool)`";
@@ -15239,6 +15684,7 @@ def Torch_AtenNeIntOp : Torch_Op<"aten.ne.int", [
 def Torch_AtenEqIntOp : Torch_Op<"aten.eq.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::eq.int : (int, int) -> (bool)`";
@@ -15264,6 +15710,7 @@ def Torch_AtenEqIntOp : Torch_Op<"aten.eq.int", [
 def Torch_AtenFloordivIntOp : Torch_Op<"aten.floordiv.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::floordiv.int : (int, int) -> (int)`";
@@ -15290,6 +15737,7 @@ def Torch_AtenFloordivIntOp : Torch_Op<"aten.floordiv.int", [
 def Torch_AtenRemainderIntOp : Torch_Op<"aten.remainder.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::remainder.int : (int, int) -> (int)`";
@@ -15315,6 +15763,7 @@ def Torch_AtenRemainderIntOp : Torch_Op<"aten.remainder.int", [
 def Torch_AtenRemainderScalarOp : Torch_Op<"aten.remainder.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::remainder.Scalar : (Tensor, Scalar) -> (Tensor)`";
@@ -15339,6 +15788,7 @@ def Torch_AtenRemainderScalarOp : Torch_Op<"aten.remainder.Scalar", [
 def Torch_AtenRemainderTensorOp : Torch_Op<"aten.remainder.Tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::remainder.Tensor : (Tensor, Tensor) -> (Tensor)`";
@@ -15363,6 +15813,7 @@ def Torch_AtenRemainderTensorOp : Torch_Op<"aten.remainder.Tensor", [
 def Torch_AtenAddIntOp : Torch_Op<"aten.add.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::add.int : (int, int) -> (int)`";
@@ -15388,6 +15839,7 @@ def Torch_AtenAddIntOp : Torch_Op<"aten.add.int", [
 def Torch_AtenSubIntOp : Torch_Op<"aten.sub.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sub.int : (int, int) -> (int)`";
@@ -15413,6 +15865,7 @@ def Torch_AtenSubIntOp : Torch_Op<"aten.sub.int", [
 def Torch_AtenMulIntOp : Torch_Op<"aten.mul.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mul.int : (int, int) -> (int)`";
@@ -15439,6 +15892,7 @@ def Torch_AtenMulIntOp : Torch_Op<"aten.mul.int", [
 def Torch_AtenDivIntOp : Torch_Op<"aten.div.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::div.int : (int, int) -> (float)`";
@@ -15464,6 +15918,7 @@ def Torch_AtenDivIntOp : Torch_Op<"aten.div.int", [
 def Torch_AtenNegIntOp : Torch_Op<"aten.neg.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::neg.int : (int) -> (int)`";
@@ -15488,6 +15943,7 @@ def Torch_AtenNegIntOp : Torch_Op<"aten.neg.int", [
 def Torch_AtenLogIntOp : Torch_Op<"aten.log.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::log.int : (int) -> (float)`";
@@ -15511,6 +15967,7 @@ def Torch_AtenLogIntOp : Torch_Op<"aten.log.int", [
 def Torch_AtenAddFloatIntOp : Torch_Op<"aten.add.float_int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::add.float_int : (float, int) -> (float)`";
@@ -15536,6 +15993,7 @@ def Torch_AtenAddFloatIntOp : Torch_Op<"aten.add.float_int", [
 def Torch_AtenSubFloatOp : Torch_Op<"aten.sub.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sub.float : (float, float) -> (float)`";
@@ -15561,6 +16019,7 @@ def Torch_AtenSubFloatOp : Torch_Op<"aten.sub.float", [
 def Torch_AtenMulFloatOp : Torch_Op<"aten.mul.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mul.float : (float, float) -> (float)`";
@@ -15586,6 +16045,7 @@ def Torch_AtenMulFloatOp : Torch_Op<"aten.mul.float", [
 def Torch_AtenDivFloatOp : Torch_Op<"aten.div.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::div.float : (float, float) -> (float)`";
@@ -15611,6 +16071,7 @@ def Torch_AtenDivFloatOp : Torch_Op<"aten.div.float", [
 def Torch_AtenNegFloatOp : Torch_Op<"aten.neg.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::neg.float : (float) -> (float)`";
@@ -15635,6 +16096,7 @@ def Torch_AtenNegFloatOp : Torch_Op<"aten.neg.float", [
 def Torch_AtenEqFloatOp : Torch_Op<"aten.eq.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::eq.float : (float, float) -> (bool)`";
@@ -15660,6 +16122,7 @@ def Torch_AtenEqFloatOp : Torch_Op<"aten.eq.float", [
 def Torch_AtenGtFloatOp : Torch_Op<"aten.gt.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::gt.float : (float, float) -> (bool)`";
@@ -15685,6 +16148,7 @@ def Torch_AtenGtFloatOp : Torch_Op<"aten.gt.float", [
 def Torch_AtenGeFloatOp : Torch_Op<"aten.ge.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ge.float : (float, float) -> (bool)`";
@@ -15710,6 +16174,7 @@ def Torch_AtenGeFloatOp : Torch_Op<"aten.ge.float", [
 def Torch_AtenLtFloatOp : Torch_Op<"aten.lt.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::lt.float : (float, float) -> (bool)`";
@@ -15735,6 +16200,7 @@ def Torch_AtenLtFloatOp : Torch_Op<"aten.lt.float", [
 def Torch_AtenLtFloatIntOp : Torch_Op<"aten.lt.float_int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::lt.float_int : (float, int) -> (bool)`";
@@ -15759,6 +16225,7 @@ def Torch_AtenLtFloatIntOp : Torch_Op<"aten.lt.float_int", [
 def Torch_AtenGeFloatIntOp : Torch_Op<"aten.ge.float_int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ge.float_int : (float, int) -> (bool)`";
@@ -15783,6 +16250,7 @@ def Torch_AtenGeFloatIntOp : Torch_Op<"aten.ge.float_int", [
 def Torch_AtenNeFloatIntOp : Torch_Op<"aten.ne.float_int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ne.float_int : (float, int) -> (bool)`";
@@ -15807,6 +16275,7 @@ def Torch_AtenNeFloatIntOp : Torch_Op<"aten.ne.float_int", [
 def Torch_AtenGtFloatIntOp : Torch_Op<"aten.gt.float_int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::gt.float_int : (float, int) -> (bool)`";
@@ -15831,6 +16300,7 @@ def Torch_AtenGtFloatIntOp : Torch_Op<"aten.gt.float_int", [
 def Torch_AtenPowIntFloatOp : Torch_Op<"aten.pow.int_float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::pow.int_float : (int, float) -> (float)`";
@@ -15856,6 +16326,7 @@ def Torch_AtenPowIntFloatOp : Torch_Op<"aten.pow.int_float", [
 def Torch_Aten__And__BoolOp : Torch_Op<"aten.__and__.bool", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__and__.bool : (bool, bool) -> (bool)`";
@@ -15880,6 +16351,7 @@ def Torch_Aten__And__BoolOp : Torch_Op<"aten.__and__.bool", [
 def Torch_AtenNeBoolOp : Torch_Op<"aten.ne.bool", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ne.bool : (bool, bool) -> (bool)`";
@@ -15953,6 +16425,7 @@ def Torch_Aten__Isnot__Op : Torch_Op<"aten.__isnot__", [
 def Torch_Aten__Not__Op : Torch_Op<"aten.__not__", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__not__ : (bool) -> (bool)`";
@@ -15977,6 +16450,7 @@ def Torch_Aten__Not__Op : Torch_Op<"aten.__not__", [
 def Torch_Aten__Or__BoolOp : Torch_Op<"aten.__or__.bool", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::__or__.bool : (bool, bool) -> (bool)`";
@@ -16002,6 +16476,7 @@ def Torch_Aten__Or__BoolOp : Torch_Op<"aten.__or__.bool", [
 def Torch_AtenLenTOp : Torch_Op<"aten.len.t", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::len.t : (t[]) -> (int)`";
@@ -16074,6 +16549,7 @@ def Torch_Aten_SetItemTOp : Torch_Op<"aten._set_item.t", [
 def Torch_AtenMulOp : Torch_Op<"aten.mul", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::mul : (Scalar, Scalar) -> (Scalar)`";
@@ -16099,6 +16575,7 @@ def Torch_AtenMulOp : Torch_Op<"aten.mul", [
 def Torch_AtenDivOp : Torch_Op<"aten.div", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::div : (Scalar, Scalar) -> (float)`";
@@ -16124,6 +16601,7 @@ def Torch_AtenDivOp : Torch_Op<"aten.div", [
 def Torch_AtenAddOp : Torch_Op<"aten.add", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::add : (Scalar, Scalar) -> (Scalar)`";
@@ -16149,6 +16627,7 @@ def Torch_AtenAddOp : Torch_Op<"aten.add", [
 def Torch_AtenSubOp : Torch_Op<"aten.sub", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sub : (Scalar, Scalar) -> (Scalar)`";
@@ -16174,6 +16653,7 @@ def Torch_AtenSubOp : Torch_Op<"aten.sub", [
 def Torch_AtenCeilScalarOp : Torch_Op<"aten.ceil.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ceil.Scalar : (Scalar) -> (Scalar)`";
@@ -16198,6 +16678,7 @@ def Torch_AtenCeilScalarOp : Torch_Op<"aten.ceil.Scalar", [
 def Torch_AtenSqrtIntOp : Torch_Op<"aten.sqrt.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::sqrt.int : (int) -> (float)`";
@@ -16222,6 +16703,7 @@ def Torch_AtenSqrtIntOp : Torch_Op<"aten.sqrt.int", [
 def Torch_AtenBoolFloatOp : Torch_Op<"aten.Bool.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::Bool.float : (float) -> (bool)`";
@@ -16246,6 +16728,7 @@ def Torch_AtenBoolFloatOp : Torch_Op<"aten.Bool.float", [
 def Torch_AtenBoolIntOp : Torch_Op<"aten.Bool.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::Bool.int : (int) -> (bool)`";
@@ -16270,6 +16753,7 @@ def Torch_AtenBoolIntOp : Torch_Op<"aten.Bool.int", [
 def Torch_AtenEqDeviceOp : Torch_Op<"aten.eq.device", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::eq.device : (Device, Device) -> (bool)`";
@@ -16294,6 +16778,7 @@ def Torch_AtenEqDeviceOp : Torch_Op<"aten.eq.device", [
 def Torch_AtenCeilFloatOp : Torch_Op<"aten.ceil.float", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ceil.float : (float) -> (int)`";
@@ -16368,6 +16853,7 @@ def Torch_AtenNarrowTensorOp : Torch_Op<"aten.narrow.Tensor", [
 def Torch_AtenScalarImplicitOp : Torch_Op<"aten.ScalarImplicit", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::ScalarImplicit : (Tensor) -> (Scalar)`";
@@ -16392,6 +16878,7 @@ def Torch_AtenScalarImplicitOp : Torch_Op<"aten.ScalarImplicit", [
 def Torch_AtenTriuIndicesOp : Torch_Op<"aten.triu_indices", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::triu_indices : (int, int, int, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -16422,6 +16909,7 @@ def Torch_AtenTriuIndicesOp : Torch_Op<"aten.triu_indices", [
 def Torch_AtenTrilIndicesOp : Torch_Op<"aten.tril_indices", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::tril_indices : (int, int, int, int?, int?, Device?, bool?) -> (Tensor)`";
@@ -16452,6 +16940,7 @@ def Torch_AtenTrilIndicesOp : Torch_Op<"aten.tril_indices", [
 def Torch_Aten_SoftmaxBackwardDataOp : Torch_Op<"aten._softmax_backward_data", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_softmax_backward_data : (Tensor, Tensor, int, int) -> (Tensor)`";
@@ -16478,6 +16967,7 @@ def Torch_Aten_SoftmaxBackwardDataOp : Torch_Op<"aten._softmax_backward_data", [
 def Torch_AtenTanhBackwardOp : Torch_Op<"aten.tanh_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::tanh_backward : (Tensor, Tensor) -> (Tensor)`";
@@ -16502,6 +16992,7 @@ def Torch_AtenTanhBackwardOp : Torch_Op<"aten.tanh_backward", [
 def Torch_AtenHardtanhBackwardOp : Torch_Op<"aten.hardtanh_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::hardtanh_backward : (Tensor, Tensor, Scalar, Scalar) -> (Tensor)`";
@@ -16528,6 +17019,7 @@ def Torch_AtenHardtanhBackwardOp : Torch_Op<"aten.hardtanh_backward", [
 def Torch_AtenGeluBackwardOp : Torch_Op<"aten.gelu_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::gelu_backward : (Tensor, Tensor, str) -> (Tensor)`";
@@ -16553,6 +17045,7 @@ def Torch_AtenGeluBackwardOp : Torch_Op<"aten.gelu_backward", [
 def Torch_Aten_LogSoftmaxBackwardDataOp : Torch_Op<"aten._log_softmax_backward_data", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_log_softmax_backward_data : (Tensor, Tensor, int, int) -> (Tensor)`";
@@ -16579,6 +17072,7 @@ def Torch_Aten_LogSoftmaxBackwardDataOp : Torch_Op<"aten._log_softmax_backward_d
 def Torch_AtenNativeLayerNormBackwardOp : Torch_Op<"aten.native_layer_norm_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::native_layer_norm_backward : (Tensor, Tensor, int[], Tensor, Tensor, Tensor?, Tensor?, bool[]) -> (Tensor, Tensor, Tensor)`";
@@ -16611,6 +17105,7 @@ def Torch_AtenNativeLayerNormBackwardOp : Torch_Op<"aten.native_layer_norm_backw
 def Torch_AtenEmbeddingDenseBackwardOp : Torch_Op<"aten.embedding_dense_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::embedding_dense_backward : (Tensor, Tensor, int, int, bool) -> (Tensor)`";
@@ -16638,6 +17133,7 @@ def Torch_AtenEmbeddingDenseBackwardOp : Torch_Op<"aten.embedding_dense_backward
 def Torch_AtenNativeBatchNormBackwardOp : Torch_Op<"aten.native_batch_norm_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::native_batch_norm_backward : (Tensor, Tensor, Tensor?, Tensor?, Tensor?, Tensor?, Tensor?, bool, float, bool[]) -> (Tensor, Tensor, Tensor)`";
@@ -16672,6 +17168,7 @@ def Torch_AtenNativeBatchNormBackwardOp : Torch_Op<"aten.native_batch_norm_backw
 def Torch_AtenNativeGroupNormBackwardOp : Torch_Op<"aten.native_group_norm_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::native_group_norm_backward : (Tensor, Tensor, Tensor, Tensor, Tensor?, int, int, int, int, bool[]) -> (Tensor, Tensor, Tensor)`";
@@ -16706,6 +17203,7 @@ def Torch_AtenNativeGroupNormBackwardOp : Torch_Op<"aten.native_group_norm_backw
 def Torch_AtenNativeDropoutBackwardOp : Torch_Op<"aten.native_dropout_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::native_dropout_backward : (Tensor, Tensor, float) -> (Tensor)`";
@@ -16731,6 +17229,7 @@ def Torch_AtenNativeDropoutBackwardOp : Torch_Op<"aten.native_dropout_backward",
 def Torch_AtenEluBackwardOp : Torch_Op<"aten.elu_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::elu_backward : (Tensor, Scalar, Scalar, Scalar, bool, Tensor) -> (Tensor)`";
@@ -16759,6 +17258,7 @@ def Torch_AtenEluBackwardOp : Torch_Op<"aten.elu_backward", [
 def Torch_AtenLeakyReluBackwardOp : Torch_Op<"aten.leaky_relu_backward", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::leaky_relu_backward : (Tensor, Tensor, Scalar, bool) -> (Tensor)`";
@@ -16785,6 +17285,7 @@ def Torch_AtenLeakyReluBackwardOp : Torch_Op<"aten.leaky_relu_backward", [
 def Torch_AtenQuantizePerChannelOp : Torch_Op<"aten.quantize_per_channel", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::quantize_per_channel : (Tensor, Tensor, Tensor, int, int) -> (Tensor)`";
@@ -16812,6 +17313,7 @@ def Torch_AtenQuantizePerChannelOp : Torch_Op<"aten.quantize_per_channel", [
 def Torch_AtenQuantizePerTensorOp : Torch_Op<"aten.quantize_per_tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::quantize_per_tensor : (Tensor, float, int, int) -> (Tensor)`";
@@ -16838,6 +17340,7 @@ def Torch_AtenQuantizePerTensorOp : Torch_Op<"aten.quantize_per_tensor", [
 def Torch_AtenDequantizeSelfOp : Torch_Op<"aten.dequantize.self", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::dequantize.self : (Tensor) -> (Tensor)`";
@@ -16861,6 +17364,7 @@ def Torch_AtenDequantizeSelfOp : Torch_Op<"aten.dequantize.self", [
 def Torch_AtenDequantizeTensorOp : Torch_Op<"aten.dequantize.tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::dequantize.tensor : (Tensor) -> (Tensor)`";
@@ -16884,6 +17388,7 @@ def Torch_AtenDequantizeTensorOp : Torch_Op<"aten.dequantize.tensor", [
 def Torch_AtenIntReprOp : Torch_Op<"aten.int_repr", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::int_repr : (Tensor) -> (Tensor)`";
@@ -16907,6 +17412,7 @@ def Torch_AtenIntReprOp : Torch_Op<"aten.int_repr", [
 def Torch_Aten_MakePerChannelQuantizedTensorOp : Torch_Op<"aten._make_per_channel_quantized_tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_make_per_channel_quantized_tensor : (Tensor, Tensor, Tensor, int) -> (Tensor)`";
@@ -16933,6 +17439,7 @@ def Torch_Aten_MakePerChannelQuantizedTensorOp : Torch_Op<"aten._make_per_channe
 def Torch_Aten_MakePerTensorQuantizedTensorOp : Torch_Op<"aten._make_per_tensor_quantized_tensor", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `aten::_make_per_tensor_quantized_tensor : (Tensor, float, int) -> (Tensor)`";
@@ -16958,6 +17465,7 @@ def Torch_Aten_MakePerTensorQuantizedTensorOp : Torch_Op<"aten._make_per_tensor_
 def Torch_PrimLayoutOp : Torch_Op<"prim.layout", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::layout : (Tensor) -> (int)`";
@@ -16981,6 +17489,7 @@ def Torch_PrimLayoutOp : Torch_Op<"prim.layout", [
 def Torch_PrimTupleIndexOp : Torch_Op<"prim.TupleIndex", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::TupleIndex : (Any, int) -> (Any)`";
@@ -17006,6 +17515,7 @@ def Torch_PrimTupleIndexOp : Torch_Op<"prim.TupleIndex", [
 def Torch_PrimDeviceOp : Torch_Op<"prim.device", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::device : (Tensor) -> (Device)`";
@@ -17030,6 +17540,7 @@ def Torch_PrimDeviceOp : Torch_Op<"prim.device", [
 def Torch_PrimDtypeOp : Torch_Op<"prim.dtype", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::dtype : (Tensor) -> (int)`";
@@ -17069,6 +17580,7 @@ def Torch_PrimTupleUnpackOp : Torch_Op<"prim.TupleUnpack", [
 def Torch_PrimNumToTensorScalarOp : Torch_Op<"prim.NumToTensor.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::NumToTensor.Scalar : (Scalar) -> (Tensor)`";
@@ -17093,6 +17605,7 @@ def Torch_PrimNumToTensorScalarOp : Torch_Op<"prim.NumToTensor.Scalar", [
 def Torch_PrimMinSelfIntOp : Torch_Op<"prim.min.self_int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::min.self_int : (int[]) -> (int)`";
@@ -17117,6 +17630,7 @@ def Torch_PrimMinSelfIntOp : Torch_Op<"prim.min.self_int", [
 def Torch_PrimMinIntOp : Torch_Op<"prim.min.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::min.int : (int, int) -> (int)`";
@@ -17142,6 +17656,7 @@ def Torch_PrimMinIntOp : Torch_Op<"prim.min.int", [
 def Torch_PrimMaxSelfIntOp : Torch_Op<"prim.max.self_int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::max.self_int : (int[]) -> (int)`";
@@ -17165,6 +17680,7 @@ def Torch_PrimMaxSelfIntOp : Torch_Op<"prim.max.self_int", [
 def Torch_PrimMaxIntOp : Torch_Op<"prim.max.int", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::max.int : (int, int) -> (int)`";
@@ -17190,6 +17706,7 @@ def Torch_PrimMaxIntOp : Torch_Op<"prim.max.int", [
 def Torch_PrimRaiseExceptionOp : Torch_Op<"prim.RaiseException", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::RaiseException : (str, str?) -> ()`";
@@ -17214,6 +17731,7 @@ def Torch_PrimUninitializedOp : Torch_Op<"prim.Uninitialized", [
     Pure,
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::Uninitialized : () -> (Any)`";
@@ -17288,6 +17806,7 @@ def Torch_PrimTolistOp : Torch_Op<"prim.tolist", [
 def Torch_PrimAbsScalarOp : Torch_Op<"prim.abs.Scalar", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prim::abs.Scalar : (Scalar) -> (Scalar)`";
@@ -17311,6 +17830,7 @@ def Torch_PrimAbsScalarOp : Torch_Op<"prim.abs.Scalar", [
 def Torch_PrimsConvertElementTypeOp : Torch_Op<"prims.convert_element_type", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prims::convert_element_type : (Tensor, int) -> (Tensor)`";
@@ -17336,6 +17856,7 @@ def Torch_PrimsConvertElementTypeOp : Torch_Op<"prims.convert_element_type", [
 def Torch_PrimsVarOp : Torch_Op<"prims.var", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prims::var : (Tensor, int[]?, float?, int?) -> (Tensor)`";
@@ -17362,6 +17883,7 @@ def Torch_PrimsVarOp : Torch_Op<"prims.var", [
 def Torch_PrimsSqrtOp : Torch_Op<"prims.sqrt", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prims::sqrt : (Tensor) -> (Tensor)`";
@@ -17385,6 +17907,7 @@ def Torch_PrimsSqrtOp : Torch_Op<"prims.sqrt", [
 def Torch_PrimsCollapseOp : Torch_Op<"prims.collapse", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prims::collapse : (Tensor, int, int) -> (Tensor)`";
@@ -17480,6 +18003,7 @@ def Torch_PrimsViewOfOp : Torch_Op<"prims.view_of", [
 def Torch_PrimsIotaOp : Torch_Op<"prims.iota", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `prims::iota : (int, int, int, int, Device, bool) -> (Tensor)`";
@@ -17509,6 +18033,7 @@ def Torch_QuantizedLinearOp : Torch_Op<"quantized.linear", [
     HasValueSemantics,
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `quantized::linear : (Tensor, __torch__.torch.classes.quantized.LinearPackedParamsBase, float, int) -> (Tensor)`";
@@ -17535,6 +18060,7 @@ def Torch_QuantizedLinearOp : Torch_Op<"quantized.linear", [
 def Torch_TorchvisionDeformConv2dOp : Torch_Op<"torchvision.deform_conv2d", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `torchvision::deform_conv2d : (Tensor, Tensor, Tensor, Tensor, Tensor, int, int, int, int, int, int, int, int, bool) -> (Tensor)`";
@@ -17571,6 +18097,7 @@ def Torch_TorchvisionDeformConv2dOp : Torch_Op<"torchvision.deform_conv2d", [
 def Torch_TorchvisionRoiAlignOp : Torch_Op<"torchvision.roi_align", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `torchvision::roi_align : (Tensor, Tensor, float, int, int, int, bool) -> (Tensor)`";
@@ -17600,6 +18127,7 @@ def Torch_TorchvisionRoiAlignOp : Torch_Op<"torchvision.roi_align", [
 def Torch_TorchvisionRoiPoolOp : Torch_Op<"torchvision.roi_pool", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `torchvision::roi_pool : (Tensor, Tensor, float, int, int) -> (Tensor, Tensor)`";
@@ -17628,6 +18156,7 @@ def Torch_TorchvisionRoiPoolOp : Torch_Op<"torchvision.roi_pool", [
 def Torch_TorchvisionNmsOp : Torch_Op<"torchvision.nms", [
     AllowsTypeRefinement,
     HasValueSemantics,
+    NoMemoryEffect,
     ReadOnly
   ]> {
   let summary = "Generated op for `torchvision::nms : (Tensor, Tensor, float) -> (Tensor)`";
diff --git a/projects/pt1/python/torch_mlir/jit_ir_importer/build_tools/torch_ods_gen.py b/projects/pt1/python/torch_mlir/jit_ir_importer/build_tools/torch_ods_gen.py
index ba56f10fb..d0cbf0103 100644
--- a/projects/pt1/python/torch_mlir/jit_ir_importer/build_tools/torch_ods_gen.py
+++ b/projects/pt1/python/torch_mlir/jit_ir_importer/build_tools/torch_ods_gen.py
@@ -255,6 +255,7 @@ def emit_op(
     traits += ["AllowsTypeRefinement"]
     if operator.has_value_semantics():
         traits += ["HasValueSemantics"]
+        traits += ["NoMemoryEffect"]
     if operator.is_readonly():
         traits += ["ReadOnly"]