[all-commits] [llvm/llvm-project] 8d5f64: [Verifier] Additional check for intrinsic get.acti...

[sjoerdmeijer via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 8d5f64c4edbc190a5a8790157fa1d99cfac34016
      https://github.com/llvm/llvm-project/commit/8d5f64c4edbc190a5a8790157fa1d99cfac34016
  Author: Sjoerd Meijer <sjoerd.meijer at arm.com>
  Date:   2020-08-25 (Tue, 25 Aug 2020)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/Verifier/get-active-lane-mask.ll

  Log Message:
  -----------
  [Verifier] Additional check for intrinsic get.active.lane.mask

This adapts the verifier checks for intrinsic get.active.lane.mask to the new
semantics of it as described in D86147. I.e., the second argument %n, which
corresponds to the loop tripcount, must be greater than 0 if it is a constant,
so check that.

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