Index: llvm/lib/Analysis/Lint.cpp =================================================================== --- llvm/lib/Analysis/Lint.cpp +++ llvm/lib/Analysis/Lint.cpp @@ -365,6 +365,11 @@ visitMemoryReference(I, I.getArgOperand(0), MemoryLocation::UnknownSize, None, nullptr, MemRef::Read | MemRef::Write); break; + case Intrinsic::get_active_lane_mask: + if (auto *TripCount = dyn_cast(I.getArgOperand(1))) + Assert(!TripCount->isZero(), "get_active_lane_mask: operand #2 " + "must be greater than 0", &I); + break; } } Index: llvm/test/Analysis/Lint/get-active-lane-mask.ll =================================================================== --- /dev/null +++ llvm/test/Analysis/Lint/get-active-lane-mask.ll @@ -0,0 +1,30 @@ +; RUN: opt -lint -disable-output < %s 2>&1 | FileCheck %s + +define <4 x i1> @t3(i32 %IV) { +; +; CHECK: get_active_lane_mask: operand #2 must be greater than 0 +; CHECK-NEXT: %res = call <4 x i1> @llvm.get.active.lane.mask.v4i1.i32(i32 %IV, i32 0) +; + %res = call <4 x i1> @llvm.get.active.lane.mask.v4i1.i32(i32 %IV, i32 0) + ret <4 x i1> %res +} + +define <4 x i1> @t4(i32 %IV) { +; +; CHECK-NOT: get_active_lane_mask +; CHECK-NOT: call <4 x i1> @llvm.get.active.lane.mask +; + %res = call <4 x i1> @llvm.get.active.lane.mask.v4i1.i32(i32 %IV, i32 1) + ret <4 x i1> %res +} + +define <4 x i1> @t5(i32 %IV) { +; +; CHECK-NOT: get_active_lane_mask +; CHECK-NOT: call <4 x i1> @llvm.get.active.lane.mask +; + %res = call <4 x i1> @llvm.get.active.lane.mask.v4i1.i32(i32 %IV, i32 -1) + ret <4 x i1> %res +} + +declare <4 x i1> @llvm.get.active.lane.mask.v4i1.i32(i32, i32)