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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

This check isn't appropriate.  Given that the second argument to @llvm.get.active.lane.mask.v4i1.i32 is a variable, in general, it isn't appropriate to print an error in cases where we can prove the value is 0.  You can add a Lint check if you want.

Also, if `@llvm.get.active.lane.mask.v4i1.i32(i32 0, i32 0)` is supposed to produce poison, that isn't documented at all.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86301