[PATCH] D86147: [LangRef] WIP: Revise semantics of get.active.lane.mask

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

I think this makes sense, assuming you're comfortable with the current code in the ARM backend for proving that `%n - %base` doesn't overflow.


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

https://reviews.llvm.org/D86147