maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[Lint] Add check for intrinsic get.active.lane.mask 

As @efriedma pointed out in D86301, this "not equal to 0 check" of
get.active.lane.mask's second operand needs to live here in Lint and not the
Verifier.

Differential Revision: https://reviews.llvm.org/D87228
This commit is contained in:
Sjoerd Meijer 2020-09-17 08:47:39 +01:00
parent a2fb5446be
commit 6637d72ddd
2 changed files with 44 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
llvm/lib/Analysis/Lint.cpp
View File

@ -365,6 +365,11 @@ void Lint::visitCallBase(CallBase &I) {
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<ConstantInt>(I.getArgOperand(1)))
Assert(!TripCount->isZero(), "get_active_lane_mask: operand #2 "
"must be greater than 0", &I);
break;
}
}

39
llvm/test/Analysis/Lint/get-active-lane-mask.ll Normal file
View File

@ -0,0 +1,39 @@
; RUN: opt -lint -disable-output < %s 2>&1 | FileCheck %s
define <4 x i1> @t1(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> @t2(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> @t3(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> @t4(i32 %IV, i32 %TC) {
;
; 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 %TC)
ret <4 x i1> %res
}
declare <4 x i1> @llvm.get.active.lane.mask.v4i1.i32(i32, i32)