HomePhabricator

[LangRef] get.active.lane.mask can produce poison value

Authored by SjoerdMeijer on Aug 26 2020, 9:23 AM.

Description

[LangRef] get.active.lane.mask can produce poison value

We had already specified that second argument n of this intrinsic is n > 0,
but now add to this that the result is a poison value if this is not the case.

Differential Revision: https://reviews.llvm.org/D86637