mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-26 04:40:38 +00:00
04e5b3198b
DemandedBits and BDCE currently only support scalar integers. This patch extends them to also handle vector integer operations. In this case bits are not tracked for individual vector elements, instead a bit is demanded if it is demanded for any of the elements. This matches the behavior of computeKnownBits in ValueTracking and SimplifyDemandedBits in InstCombine. Unlike the previous iteration of this patch, getDemandedBits() can now again be called on arbirary (sized) instructions, even if they don't have integer or vector of integer type. (For vector types the size of the returned mask will now be the scalar size in bits though.) The added LoopVectorize test case shows a case which triggered an assertion failure with the previous attempt, because getDemandedBits() was called on a pointer-typed instruction. Differential Revision: https://reviews.llvm.org/D55297 llvm-svn: 348602
21 lines
479 B
LLVM
21 lines
479 B
LLVM
; RUN: opt < %s -loop-vectorize -S | FileCheck %s
|
|
|
|
; getDemandedBits() is called on the pointer-typed GEP instruction here.
|
|
; Only make sure we do not crash.
|
|
|
|
; CHECK: @test
|
|
define void @test(i8* %ptr, i8* %ptr_end) {
|
|
start:
|
|
br label %loop
|
|
|
|
loop:
|
|
%ptr2 = phi i8* [ %ptr3, %loop ], [ %ptr, %start ]
|
|
%x = sext i8 undef to i64
|
|
%ptr3 = getelementptr inbounds i8, i8* %ptr2, i64 1
|
|
%cmp = icmp ult i8* %ptr3, %ptr_end
|
|
br i1 %cmp, label %loop, label %end
|
|
|
|
end:
|
|
ret void
|
|
}
|