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

John McCall via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri May 22 10:43:29 PDT 2020


rjmccall added a comment.

> there is any IR legality restriction about what combination or number of bundles can be present in an assume. however there is restrictions about argument of a given bundle.
>  having a single "align" bundle is just how the front-end used assume bundles for its alignment assumptions.

Hmm.  It does seem to be true that operand bundles don't inherently enforce that the names are unique on a callsite; the verifier just has an ever-growing list of bundles that it does that for specially.  That feels weird to me, but alright.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D71739/new/

https://reviews.llvm.org/D71739





More information about the llvm-commits mailing list