RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 20:51:52 +01:00
Code Issues Projects Releases Wiki Activity

[LVI] Support for ashr in LVI

Browse Source 
Enhance LVI to analyze the ‘ashr’ binary operation. This leverages the infrastructure in ConstantRange for the ashr operation.

Patch by Surya Kumari Jangala!

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

llvm-svn: 320983
This commit is contained in:
Max Kazantsev 2017-12-18 14:23:30 +00:00
parent 2db9c43832
commit a73d76d8be
2 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
lib/Analysis/LazyValueInfo.cpp
View File

@ -1002,6 +1002,7 @@ bool LazyValueInfoImpl::solveBlockValueBinaryOp(ValueLatticeElement &BBLV,
case Instruction::UDiv:
case Instruction::Shl:
case Instruction::LShr:
case Instruction::AShr:
case Instruction::And:
case Instruction::Or:
// continue into the code below

27
test/Analysis/LazyValueAnalysis/lvi-for-ashr.ll Normal file
View File

@ -0,0 +1,27 @@
; RUN: opt -correlated-propagation -S %s | FileCheck %s
; CHECK-LABEL: @test-ashr
; CHECK: bb_then
; CHECK: %. = select i1 true, i32 3, i32 2
define i32 @test-ashr(i32 %c) {
chk65:
%cmp = icmp sgt i32 %c, 65
br i1 %cmp, label %return, label %chk0
chk0:
%cmp1 = icmp slt i32 %c, 0
br i1 %cmp, label %return, label %bb_if
bb_if:
%ashr.val = ashr exact i32 %c, 2
%cmp2 = icmp sgt i32 %ashr.val, 15
br i1 %cmp2, label %bb_then, label %return
bb_then:
%cmp3 = icmp eq i32 %ashr.val, 16
%. = select i1 %cmp3, i32 3, i32 2
br label %return
return:
%retval = phi i32 [0, %chk65], [1, %chk0], [%., %bb_then], [4, %bb_if]
ret i32 %retval
}