Page MenuHomePhabricator

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

Authored by SjoerdMeijer on Wed, Aug 26, 9:33 AM.

Details

Summary

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.

Diff Detail

Event Timeline

SjoerdMeijer created this revision.Wed, Aug 26, 9:33 AM
Herald added a project: Restricted Project. · View Herald Transcript
SjoerdMeijer requested review of this revision.Wed, Aug 26, 9:33 AM
This revision is now accepted and ready to land.Wed, Aug 26, 11:26 AM