[mlir][llvm] Mark additional ops as pure.

gysit · gysit · commit c1def63fcccf · 2023-05-17T11:25:39.000Z
The revision marks the overflow arithmetic intrinsics and the freeze operation as pure. This change enables inlining and possible other optimizations for these operations. Reviewed By: Dinistro Differential Revision: https://reviews.llvm.org/D150679
diff --git a/mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td b/mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td
@@ -251,7 +251,7 @@ def LLVM_LifetimeEndOp : LLVM_LifetimeBaseOp<"lifetime.end"> {
 // Intrinsics with multiple returns.
 
 class LLVM_ArithWithOverflowOp<string mnem>
-    : LLVM_IntrOp<mnem, [0], [], [SameOperandsElementType], 2>,
+    : LLVM_IntrOp<mnem, [0], [], [Pure, SameOperandsElementType], 2>,
       Arguments<(ins LLVM_ScalarOrVectorOf<AnySignlessInteger>,
                  LLVM_ScalarOrVectorOf<AnySignlessInteger>)>;
 
diff --git a/mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td b/mlir/include/mlir/Dialect/LLVMIR/LLVMOps.td
@@ -797,7 +797,7 @@ def LLVM_SelectOp
     $res = op;
   }];
 }
-def LLVM_FreezeOp : LLVM_Op<"freeze", [SameOperandsAndResultType]> {
+def LLVM_FreezeOp : LLVM_Op<"freeze", [Pure, SameOperandsAndResultType]> {
   let arguments = (ins LLVM_Type:$val);
   let results = (outs LLVM_Type:$res);
   let builders = [LLVM_OneResultOpBuilder];

Original file line number	Diff line number	Diff line change
`@@ -797,7 +797,7 @@ def LLVM_SelectOp`
`797`	`797`	`$res = op;`
`798`	`798`	`}];`
`799`	`799`	`}`
`800`		`-def LLVM_FreezeOp : LLVM_Op<"freeze", [SameOperandsAndResultType]> {`
	`800`	`+def LLVM_FreezeOp : LLVM_Op<"freeze", [Pure, SameOperandsAndResultType]> {`
`801`	`801`	`let arguments = (ins LLVM_Type:$val);`
`802`	`802`	`let results = (outs LLVM_Type:$res);`
`803`	`803`	`let builders = [LLVM_OneResultOpBuilder];`