================
@@ -6230,6 +6230,35 @@ def CIR_AssumeSepStorageOp :
CIR_Op<"assume_separate_storage", [
}];
}
+def CIR_AssumeDereferenceableOp : CIR_Op<"assume_dereferenceable"> {
----------------
adams381 wrote:
Agreed. Deleted the dedicated op and taught `cir.assume` to optionally carry
one operand bundle; builtin now emits `cir.assume %true ["dereferenceable"(%p,
%n)]`. Left `assume_aligned` and `assume_separate_storage` alone for now --
happy to convert them in a follow-up if you'd like.
https://github.com/llvm/llvm-project/pull/197262
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
