Skip to content

Commit

Permalink
Recommit r328307: [IPSCCP] Use constant range information for compari…
Browse files Browse the repository at this point in the history
…sons of parameters.

This version contains a fix to add values for which the state in ParamState change
to the worklist if the state in ValueState did not change. To avoid adding the
same value multiple times, mergeInValue returns true, if it added the value to
the worklist. The value is added to the worklist depending on its state in
ValueState.

Original message:
For comparisons with parameters, we can use the ParamState lattice
elements which also provide constant range information. This improves
the code for PR33253 further and gets us closer to use
ValueLatticeElement for all values.

Also, as we are using the range information in the solver directly, we
do not need tryToReplaceWithConstantRange afterwards anymore.

Reviewers: dberlin, mssimpso, davide, efriedma

Reviewed By: mssimpso

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

llvm-svn: 337548
  • Loading branch information
fhahn committed Jul 20, 2018
1 parent 6fb8b68 commit 0a560d5
Show file tree
Hide file tree
Showing 2 changed files with 122 additions and 123 deletions.

0 comments on commit 0a560d5

Please sign in to comment.