summaryrefslogtreecommitdiff
path: root/mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td
diff options
context:
space:
mode:
Diffstat (limited to 'mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td')
-rw-r--r--mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td11
1 files changed, 8 insertions, 3 deletions
diff --git a/mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td b/mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td
index a6b3cd307932..df6947d79ae8 100644
--- a/mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td
+++ b/mlir/include/mlir/Dialect/LLVMIR/LLVMIntrinsicOps.td
@@ -262,12 +262,17 @@ def LLVM_USubWithOverflowOp : LLVM_ArithWithOverflowOp<"usub.with.overflow">;
def LLVM_SMulWithOverflowOp : LLVM_ArithWithOverflowOp<"smul.with.overflow">;
def LLVM_UMulWithOverflowOp : LLVM_ArithWithOverflowOp<"umul.with.overflow">;
+//
+// Optimization hint intrinsics.
+//
+
def LLVM_AssumeOp
: LLVM_ZeroResultIntrOp<"assume", []>, Arguments<(ins I1:$cond)>;
-//
-// Expect intrinsics.
-//
+def LLVM_IsConstantOp : LLVM_IntrOp<"is.constant", [], [0], [Pure], 1> {
+ let arguments = (ins LLVM_Type:$val);
+ let results = (outs I1:$res);
+}
def LLVM_ExpectOp
: LLVM_OneResultIntrOp<"expect", [], [0],