[PATCH] D86301: [Verifier] Additional check for get.active.lane.mask

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

The problem with checking for 0 is that it makes a bunch of transforms much harder.  For example, if you have "add i32 0, 0", we want to fold that to "i32 0".  With this verifier check, every pass that does this sort of transform would need to check if the value is used by a llvm.get.active.lane.mask() call.

The Lint pass exists to find code that is technically valid, but not sane.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86301