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

[Sjoerd Meijer via Phabricator via llvm-commits]

SjoerdMeijer added inline comments.


================
Comment at: llvm/test/Verifier/get-active-lane-mask.ll:36
+
+define <4 x i1> @t5(i32 %IV) {
+; CHECK-NOT: get_active_lane_mask
----------------
samparker wrote:
> I'm not familiar with verifying tests.. but why isn't this checking for the same result as the zero input case? 
because we're checking `%TC > 0` here, so 0 should throw a verifier message, and all the other values should be accepted.


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

https://reviews.llvm.org/D86301