| c10fa6c801e48771b5eade50afc2fe6abaf08227 |
|
08-Mar-2012 |
Stepan Dyatkovskiy <stpworld@narod.ru> |
Taken into account Duncan's comments for r149481 dated by 2nd Feb 2012:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20120130/136146.html
Implemented CaseIterator and it solves almost all described issues: we don't need to mix operand/case/successor indexing anymore. Base iterator class is implemented as a template since it may be initialized either from "const SwitchInst*" or from "SwitchInst*".
ConstCaseIt is just a read-only iterator.
CaseIt is read-write iterator; it allows to change case successor and case value.
Usage of iterator allows totally remove resolveXXXX methods. All indexing convertions done automatically inside the iterator's getters.
Main way of iterator usage looks like this:
SwitchInst *SI = ... // intialize it somehow
for (SwitchInst::CaseIt i = SI->caseBegin(), e = SI->caseEnd(); i != e; ++i) {
BasicBlock *BB = i.getCaseSuccessor();
ConstantInt *V = i.getCaseValue();
// Do something.
}
If you want to convert case number to TerminatorInst successor index, just use getSuccessorIndex iterator's method.
If you want initialize iterator from TerminatorInst successor index, use CaseIt::fromSuccessorIndex(...) method.
There are also related changes in llvm-clients: klee and clang.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@152297 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 24473120a253a05f3601cd3373403b47e6d03d41 |
|
01-Feb-2012 |
Stepan Dyatkovskiy <stpworld@narod.ru> |
SwitchInst refactoring.
The purpose of refactoring is to hide operand roles from SwitchInst user (programmer). If you want to play with operands directly, probably you will need lower level methods than SwitchInst ones (TerminatorInst or may be User). After this patch we can reorganize SwitchInst operands and successors as we want.
What was done:
1. Changed semantics of index inside the getCaseValue method:
getCaseValue(0) means "get first case", not a condition. Use getCondition() if you want to resolve the condition. I propose don't mix SwitchInst case indexing with low level indexing (TI successors indexing, User's operands indexing), since it may be dangerous.
2. By the same reason findCaseValue(ConstantInt*) returns actual number of case value. 0 means first case, not default. If there is no case with given value, ErrorIndex will returned.
3. Added getCaseSuccessor method. I propose to avoid usage of TerminatorInst::getSuccessor if you want to resolve case successor BB. Use getCaseSuccessor instead, since internal SwitchInst organization of operands/successors is hidden and may be changed in any moment.
4. Added resolveSuccessorIndex and resolveCaseIndex. The main purpose of these methods is to see how case successors are really mapped in TerminatorInst.
4.1 "resolveSuccessorIndex" was created if you need to level down from SwitchInst to TerminatorInst. It returns TerminatorInst's successor index for given case successor.
4.2 "resolveCaseIndex" converts low level successors index to case index that curresponds to the given successor.
Note: There are also related compatability fix patches for dragonegg, klee, llvm-gcc-4.0, llvm-gcc-4.2, safecode, clang.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@149481 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| a7b0cb759433c715065440ee2a963a04db7f2b0b |
|
15-Nov-2011 |
Benjamin Kramer <benny.kra@googlemail.com> |
Remove all remaining uses of Value::getNameStr().
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@144648 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 89282915fdc03561b7d87ecd91126db7643e304d |
|
23-Dec-2009 |
David Greene <greened@obbligato.org> |
Convert debug messages to use dbgs(). Generally this means
s/errs/dbgs/g except for certain special cases.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92068 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 43ea505fb07e303721d92f2b2bdda6e601868523 |
|
19-Dec-2009 |
Dan Gohman <gohman@apple.com> |
Eliminate unnecessary LLVMContexts.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@91729 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| ab21db79ef1d2530880ad11f21f0b87ffca02dd4 |
|
28-Oct-2009 |
Chris Lattner <sabre@nondot.org> |
rename indbr -> indirectbr to appease the residents of #llvm.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85351 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 7b876e464478bfbafb30b31cd205848fbdebcc8a |
|
27-Oct-2009 |
Chris Lattner <sabre@nondot.org> |
make the build build.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85319 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 2688bcbee188c1b5071f3a2b38923cd06013f490 |
|
27-Oct-2009 |
Chris Lattner <sabre@nondot.org> |
Random updates to passes for indbr, I need blockaddress before I can do much more.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85316 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| c2fc1fec6c8c5360828aa778e8fcc446bb9c6ae9 |
|
19-Sep-2009 |
Nick Lewycky <nicholas@mxc.ca> |
Add a comment explaining why you would ever want to do this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82319 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 875646f376f6c83bf8426fdb44e1dbf312cf784e |
|
19-Sep-2009 |
Nick Lewycky <nicholas@mxc.ca> |
Lett users of sparse propagation do their own thing with phi nodes if they want
to. This can be combined with LCSSA or SSI form to store more information on a
PHINode than can be computed by looking at its incoming values.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82317 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 1134dc5cc0cb83abcdf072dc4300cd7a898f830c |
|
18-Sep-2009 |
Nick Lewycky <nicholas@mxc.ca> |
Add newlines.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82206 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| bdff548e4dd577a72094d57b282de4e765643b96 |
|
23-Aug-2009 |
Chris Lattner <sabre@nondot.org> |
eliminate the "Value" printing methods that print to a std::ostream.
This required converting a bunch of stuff off DOUT and other cleanups.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79819 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 5defacc6e605f4651c6300237cef8e9bb2eb6d0e |
|
31-Jul-2009 |
Owen Anderson <resistor@mac.com> |
Move getTrue() and getFalse() to 2.5-like APIs.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77685 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 460f656475738d1a95a6be95346908ce1597df25 |
|
26-Jul-2009 |
Daniel Dunbar <daniel@zuster.org> |
Remove Value::getName{Start,End}, the last of the old Name APIs.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77152 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| b3056faa5554ded7ac1ac5865d10ef5839fb77d3 |
|
21-Jul-2009 |
Owen Anderson <resistor@mac.com> |
Rename getConstantInt{True|False} to get{True|False} at Chris' behest.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76598 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 76f600b205606a055ec35e7d3fd1a99602329d67 |
|
07-Jul-2009 |
Owen Anderson <resistor@mac.com> |
Finish LLVMContext-ing lib/Analysis. This required pushing LLVMContext's through the ValueTracking API.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@74873 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 1d9887054afed2639d1c7490bc96f1e2cc7861ea |
|
11-Mar-2009 |
Torok Edwin <edwintorok@gmail.com> |
Make Print callable from a pass's print method: add const qualifier. No
functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66700 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| afcde473c5baf292038ec494917f18c77a043340 |
|
09-Aug-2008 |
Chris Lattner <sabre@nondot.org> |
"This patch adds a virtual call to AbstractLatticeFunction to derive a
type lattice value for an Argument*, giving clients the opportunity to
use something other than Top for it if they choose to."
Patch by John McCall!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@54589 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| ef61af01df5ab39141f532e821920da2f5341406 |
|
27-May-2008 |
Dan Gohman <gohman@apple.com> |
Use Function::getEntryBlock instead of Function::begin, for clarity.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51613 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| b22d6ac348ca632bef17dc8050b14d8cb78218f3 |
|
27-May-2008 |
Dan Gohman <gohman@apple.com> |
Print debug output when any edge becomes executable, including
the first visited edge.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51612 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 28a8dbc35fe6da6b7d2633529b73453aca254207 |
|
20-May-2008 |
Chris Lattner <sabre@nondot.org> |
Add a bool to isEdgeFeasible that tells it whether to treat unknown
value as undef or untracked.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51295 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| 4651f3de3489bc82e0fe4a3df14d493148e68fca |
|
12-May-2008 |
Chris Lattner <sabre@nondot.org> |
prune #includes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@50962 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|
| ab7d9ccf188da6b07977e3a003a0fe6a07b07e81 |
|
12-May-2008 |
Chris Lattner <sabre@nondot.org> |
Add a new SparsePropagation analysis utility, which allows you to do
SCCP like sparse lattice analysis with relative ease. Just pick your
lattice function and implement the transfer function and you're good.
Just make sure you don't break monotonicity ;-)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@50961 91177308-0d34-0410-b5e6-96231b3b80d8
/external/llvm/lib/Analysis/SparsePropagation.cpp
|