[PATCH] D61329: Save the induction binary operator in IVDescriptors for non FP induction variables.

[Whitney via Phabricator via llvm-commits]

Whitney created this revision.
Whitney added reviewers: jdoerfert, kbarton, fhahn, hfinkel, dmgreen, Meinersbur.
Whitney added a project: LLVM.
Herald added subscribers: llvm-commits, jsji, hiraditya, mgorny.

Currently InductionBinOps are only saved for FP induction variables, the PR extends it with non FP induction variable, so user of IVDescriptors can query the InductionBinOps for integer induction variables.

The changes in hasUnsafeAlgebra() and getUnsafeAlgebraInst() are required for the existing LIT test cases to pass. As described in the comment of the two functions, one of the requirement to return true is it is a FP induction variable. The checks was not needed because InductionBinOp was not set on non FP cases before.

https://reviews.llvm.org/D60565 depends on the patch.


Repository:
  rL LLVM

https://reviews.llvm.org/D61329

Files:
  llvm/include/llvm/Analysis/IVDescriptors.h
  llvm/lib/Analysis/IVDescriptors.cpp
  llvm/unittests/Analysis/CMakeLists.txt
  llvm/unittests/Analysis/IVDescriptorsTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D61329.197387.patch
Type: text/x-patch
Size: 6538 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190430/43f11447/attachment.bin>