[clang] [CIR] Lower __builtin_assume_dereferenceable (PR #197262)

[via cfe-commits]

================
@@ -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