commit 1acab00229576cdb8ba5972d3794dfcc76282c08
author Max Kazantsev <max.kazantsev@azul.com> Mon Dec 18 14:23:30 2017 +0000
committer Max Kazantsev <max.kazantsev@azul.com> Mon Dec 18 14:23:30 2017 +0000
tree e408f757ecb3e50e943a96bf0775cb1f0137af66
parent 0c352eb940afac7221d4b84d9b3acbb405ffa4d8

[LVI] Support for ashr in LVI

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

llvm/lib/Analysis/LazyValueInfo.cpp

diff --git a/llvm/lib/Analysis/LazyValueInfo.cpp b/llvm/lib/Analysis/LazyValueInfo.cpp
index 709d4f1..d7da669 100644
--- a/llvm/lib/Analysis/LazyValueInfo.cpp
+++ b/llvm/lib/Analysis/LazyValueInfo.cpp
@@ -1002,6 +1002,7 @@
   case Instruction::UDiv:
   case Instruction::Shl:
   case Instruction::LShr:
+  case Instruction::AShr:
   case Instruction::And:
   case Instruction::Or:
     // continue into the code below