rjmccall added a comment. Is there a good reason for this to use the same `llvm.assume` intrinsic as before?
Are there restrictions about what assumptions can be combined on a single intrinsic call? There can only be one bundle of a particular name on an instruction, right? ================ Comment at: llvm/lib/IR/Verifier.cpp:4418 + if (ArgCount == 3) + Assert(Call.getOperand(Elem.Begin + 2)->getType()->isIntegerTy(), "third argument should be an integer if present"); + return; ---------------- Should the alignment and offset be restricted to constants and given value restrictions? CHANGES SINCE LAST ACTION https://reviews.llvm.org/D71739/new/ https://reviews.llvm.org/D71739 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
