[PATCH] D71739: [AssumeBundles] Use operand bundles to encode alignment assumptions

John McCall via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed May 20 23:06:27 PDT 2020


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





More information about the cfe-commits mailing list