[llvm-commits] CVS: llvm/include/llvm/Transforms/Scalar.h

2006-08-28 Thread Nick Lewycky
Changes in directory llvm/include/llvm/Transforms: Scalar.h updated: 1.66 -> 1.67 --- Log message: Add PredicateSimplifier pass. Collapses equal variables into one form and simplifies expressions. This implements the optimization described in PR807: http://llvm.org/PR807 . --- Diffs of the ch

[llvm-commits] CVS: llvm/CREDITS.TXT

2006-08-28 Thread Nick Lewycky
ttp://web.mac.com/bwendling/ D: The `Lower Setjmp/Longjmp' pass, improvements to the -lowerswitch pass. + +N: Nick Lewycky +E: [EMAIL PROTECTED] +D: PredicateSimplifier pass ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-08-28 Thread Nick Lewycky
was developed by Nick Lewycky and is distributed under the + // University of Illinois Open Source License. See LICENSE.TXT for details. + // + //===--===// + // + // Path-sensitive optimizer. In a branch where x == y, replace uses of

[llvm-commits] CVS: llvm/include/llvm/LinkAllPasses.h

2006-08-28 Thread Nick Lewycky
Changes in directory llvm/include/llvm: LinkAllPasses.h updated: 1.2 -> 1.3 --- Log message: Add PredicateSimplifier pass. Collapses equal variables into one form and simplifies expressions. This implements the optimization described in PR807: http://llvm.org/PR807 . --- Diffs of the changes:

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/predsimplify.ll predsimplify.reg1.ll predsimplify.reg2.ll predsimplify.reg3.ll

2006-08-28 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: predsimplify.ll added (r1.1) predsimplify.reg1.ll added (r1.1) predsimplify.reg2.ll added (r1.1) predsimplify.reg3.ll added (r1.1) --- Log message: Add PredicateSimplifier pass. Collapses equal variables into one form and

[llvm-commits] CVS: llvm/CREDITS.TXT

2006-08-28 Thread Nick Lewycky
lvm/CREDITS.TXT:1.66 --- llvm/CREDITS.TXT:1.65 Mon Aug 28 17:44:55 2006 +++ llvm/CREDITS.TXTMon Aug 28 20:42:47 2006 @@ -130,6 +130,10 @@ D: Alpha backend D: Sampling based profiling +N: Nick Lewycky +E: [EMAIL PROTECTED] +D: PredicateSimplifier pass + N: Duraid Madina E: [EMAIL PROTECTED]

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-08-30 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.1 -> 1.2 --- Log message: Move to using the EquivalenceClass ADT. Removes SynSets. If a branch's condition has become a ConstantBool, simplify it immediately. Removing the edge saves work and exposes up more opt

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-08-30 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.2 -> 1.3 --- Log message: Properties where both Values weren't in the union (as being equal to another Value) weren't being found by findProperties. This fixes predsimplify.ll test6, a missed optimization oppor

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/predsimplify.reg4.ll

2006-08-30 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: predsimplify.reg4.ll added (r1.1) --- Log message: This program crashes the PredicateSimplifier. Not marked XFAIL because the PredicateSimplifier is skipped in make check anyways. --- Diffs of the changes: (+36 -0) p

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-08-31 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.3 -> 1.4 --- Log message: Don't confuse canonicalize and lookup. Fixes predsimplify.reg4.ll. Also corrects missing optimization opportunity removing cases from a switch. --- Diffs of the changes: (+20 -21)

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-08-02-Switch.ll predsimplify.ll

2006-09-02 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: 2006-08-02-Switch.ll added (r1.1) predsimplify.ll updated: 1.1 -> 1.2 --- Log message: Improve handling of SelectInst. Reorder operations to remove duplicated work. Fix to leave floating-point types out of the optimizatio

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-09-02 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.4 -> 1.5 --- Log message: Improve handling of SelectInst. Reorder operations to remove duplicated work. Fix to leave floating-point types out of the optimization. Add tests to predsimplify.ll for SwitchInst and

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-08-07-LeaderOffByOne.ll

2006-09-09 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: 2006-08-07-LeaderOffByOne.ll added (r1.1) --- Log message: Replace EquivalenceClasses with a custom-built data structure. Many common operations (like findProperties) should be faster, at the expense of unionSets being sl

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-09-09 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.5 -> 1.6 --- Log message: Replace EquivalenceClasses with a custom-built data structure. Many common operations (like findProperties) should be faster, at the expense of unionSets being slower in cases that are

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-09-11 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.6 -> 1.7 --- Log message: Skip the linear search if the answer is already known. --- Diffs of the changes: (+22 -20) PredicateSimplifier.cpp | 42 ++ 1 files change

[llvm-commits] CVS: llvm/include/llvm/Analysis/Dominators.h

2006-09-11 Thread Nick Lewycky
Changes in directory llvm/include/llvm/Analysis: Dominators.h updated: 1.59 -> 1.60 --- Log message: Add ability to remove nodes from DominatorTree, for when a BasicBlock is being removed. --- Diffs of the changes: (+8 -0) Dominators.h |8 1 files changed, 8 insertions(+) In

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-09-13 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.7 -> 1.8 --- Log message: Erase dead instructions. --- Diffs of the changes: (+3 -2) PredicateSimplifier.cpp |5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) Index: llvm/lib/Transforms/Scala

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-09-13 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.8 -> 1.9 --- Log message: Fix unionSets so that it can merge correctly. --- Diffs of the changes: (+34 -22) PredicateSimplifier.cpp | 56 +--- 1 files changed,

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-09-13 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.9 -> 1.10 --- Log message: Add some more consistency checks. --- Diffs of the changes: (+20 -1) PredicateSimplifier.cpp | 21 - 1 files changed, 20 insertions(+), 1 deletion(-) Index

[llvm-commits] CVS: llvm/tools/bugpoint/OptimizerDriver.cpp

2006-09-13 Thread Nick Lewycky
Changes in directory llvm/tools/bugpoint: OptimizerDriver.cpp updated: 1.44 -> 1.45 --- Log message: Add --enable-valgrind option to run optimizations through valgrind to pick up on memory errors. --- Diffs of the changes: (+16 -3) OptimizerDriver.cpp | 19 --- 1 files ch

[llvm-commits] CVS: llvm/tools/bugpoint/OptimizerDriver.cpp

2006-09-13 Thread Nick Lewycky
Changes in directory llvm/tools/bugpoint: OptimizerDriver.cpp updated: 1.45 -> 1.46 --- Log message: Fix --enable-valgrind. Add room for the new arguments, and don't keep a pointer to a temporary. --- Diffs of the changes: (+4 -3) OptimizerDriver.cpp |7 --- 1 files changed, 4 inse

[llvm-commits] CVS: llvm/docs/CommandGuide/bugpoint.pod

2006-09-13 Thread Nick Lewycky
Changes in directory llvm/docs/CommandGuide: bugpoint.pod updated: 1.9 -> 1.10 --- Log message: Document new --enable-valgrind option. --- Diffs of the changes: (+6 -0) bugpoint.pod |6 ++ 1 files changed, 6 insertions(+) Index: llvm/docs/CommandGuide/bugpoint.pod diff -u llvm/do

[llvm-commits] CVS: llvm/lib/Analysis/AliasSetTracker.cpp

2006-09-17 Thread Nick Lewycky
Changes in directory llvm/lib/Analysis: AliasSetTracker.cpp updated: 1.41 -> 1.42 --- Log message: Fix PR912: http://llvm.org/PR912 . The input to erase() must not be a reference to the data being erased. --- Diffs of the changes: (+2 -1) AliasSetTracker.cpp |3 ++- 1 files changed, 2

[llvm-commits] CVS: llvm/lib/Analysis/AliasSetTracker.cpp

2006-09-17 Thread Nick Lewycky
Changes in directory llvm/lib/Analysis: AliasSetTracker.cpp updated: 1.42 -> 1.43 --- Log message: Explain change with a comment. --- Diffs of the changes: (+2 -2) AliasSetTracker.cpp |4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) Index: llvm/lib/Analysis/AliasSetTracker.c

[llvm-commits] CVS: llvm/include/llvm/Instructions.h

2006-09-18 Thread Nick Lewycky
Changes in directory llvm/include/llvm: Instructions.h updated: 1.40 -> 1.41 --- Log message: Add a new helper method to SwitchInst. Useful when you've got a BB from somewhere (like the dominator graph) and would like to know which case it came from. --- Diffs of the changes: (+13 -0) Inst

[llvm-commits] CVS: llvm/include/llvm/Instructions.h

2006-09-18 Thread Nick Lewycky
Changes in directory llvm/include/llvm: Instructions.h updated: 1.41 -> 1.42 --- Log message: Fix findCaseDest to return null when BB is both the default dest and one of the numeric cases. --- Diffs of the changes: (+2 -0) Instructions.h |2 ++ 1 files changed, 2 insertions(+) Index:

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-09-18 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.10 -> 1.11 --- Log message: Walk down the dominator tree instead of the control flow graph. That means that we can't modify the CFG any more, at least not until it's possible to update the dominator tree (PR217:

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/dg.exp

2006-09-18 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: dg.exp added (r1.1) --- Log message: Enable dejagnu tests for predicate simplifier. --- Diffs of the changes: (+3 -0) dg.exp |3 +++ 1 files changed, 3 insertions(+) Index: llvm/test/Regression/Transforms/Predi

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-09-20-ResolveCycle.ll

2006-09-20 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: 2006-09-20-ResolveCycle.ll added (r1.1) --- Log message: Use a total ordering to compare instructions. Fixes infinite loop in resolve(). --- Diffs of the changes: (+28 -0) 2006-09-20-ResolveCycle.ll | 28 ++

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-09-20 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.11 -> 1.12 --- Log message: Use a total ordering to compare instructions. Fixes infinite loop in resolve(). --- Diffs of the changes: (+101 -87) PredicateSimplifier.cpp | 188 +-

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-09-20-SetCC.ll

2006-09-20 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: 2006-09-20-SetCC.ll added (r1.1) --- Log message: Once we're down to "setcc type constant1, constant2", at least come up with the right answer. --- Diffs of the changes: (+54 -0) 2006-09-20-SetCC.ll | 54 ++

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-09-20 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.12 -> 1.13 --- Log message: Once we're down to "setcc type constant1, constant2", at least come up with the right answer. --- Diffs of the changes: (+14 -18) PredicateSimplifier.cpp | 32 ++---

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-09-20 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.13 -> 1.14 --- Log message: Don't rewrite ConstantExpr::get. --- Diffs of the changes: (+19 -43) PredicateSimplifier.cpp | 62 ++-- 1 files changed, 19 insertio

[llvm-commits] CVS: llvm/lib/Target/X86/X86ISelLowering.cpp

2006-09-20 Thread Nick Lewycky
Changes in directory llvm/lib/Target/X86: X86ISelLowering.cpp updated: 1.262 -> 1.263 --- Log message: Fix compile error. --- Diffs of the changes: (+4 -4) X86ISelLowering.cpp |8 1 files changed, 4 insertions(+), 4 deletions(-) Index: llvm/lib/Target/X86/X86ISelLowering.cpp

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-09-23 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.14 -> 1.15 --- Log message: Style changes only. Remove dead code, fix a comment. --- Diffs of the changes: (+4 -11) PredicateSimplifier.cpp | 15 --- 1 files changed, 4 insertions(+), 11 delet

[llvm-commits] CVS: llvm/tools/gccas/gccas.cpp

2006-09-23 Thread Nick Lewycky
Changes in directory llvm/tools/gccas: gccas.cpp updated: 1.118 -> 1.119 --- Log message: Enable 'predsimplify' optimization. --- Diffs of the changes: (+1 -0) gccas.cpp |1 + 1 files changed, 1 insertion(+) Index: llvm/tools/gccas/gccas.cpp diff -u llvm/tools/gccas/gccas.cpp:1.118 l

[llvm-commits] CVS: llvm/tools/gccld/GenerateCode.cpp

2006-09-23 Thread Nick Lewycky
Changes in directory llvm/tools/gccld: GenerateCode.cpp updated: 1.62 -> 1.63 --- Log message: Enable 'predsimplify' optimization. --- Diffs of the changes: (+1 -0) GenerateCode.cpp |1 + 1 files changed, 1 insertion(+) Index: llvm/tools/gccld/GenerateCode.cpp diff -u llvm/tools/gccl

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-10-03 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.16 -> 1.17 --- Log message: Move break-crit-edges before the predicate simplifier. Allows us to optimize in more cases. --- Diffs of the changes: (+3 -7) PredicateSimplifier.cpp | 10 +++--- 1 files c

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-09-20-SetCC.ll

2006-10-03 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: 2006-09-20-SetCC.ll updated: 1.1 -> 1.2 --- Log message: Move break-crit-edges before the predicate simplifier. Allows us to optimize in more cases. --- Diffs of the changes: (+1 -1) 2006-09-20-SetCC.ll |2 +- 1

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-10-03 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.17 -> 1.18 --- Log message: Simplify, now that predsimplify depends on break-crit-edges. Fix SwitchInst where dest-block is the same as one of the cases. --- Diffs of the changes: (+8 -26) PredicateSimplifi

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-10-03 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.18 -> 1.19 --- Log message: Simplify logic further. Ensure that we copy KnownProperties before calling visitBasicBlock, else we may leak properties into blocks where they don't belong. --- Diffs of the changes

[llvm-commits] CVS: llvm/include/llvm/Support/InstVisitor.h

2006-10-09 Thread Nick Lewycky
Changes in directory llvm/include/llvm/Support: InstVisitor.h updated: 1.40 -> 1.41 --- Log message: Fix usage example. --- Diffs of the changes: (+1 -1) InstVisitor.h |2 +- 1 files changed, 1 insertion(+), 1 deletion(-) Index: llvm/include/llvm/Support/InstVisitor.h diff -u llvm/in

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-10-11 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.19 -> 1.20 --- Log message: Replace custom dispatch code with two uses of InstVisitor. Improves compile-time performance. --- Diffs of the changes: (+113 -93) PredicateSimplifier.cpp | 206

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/predsimplify.ll

2006-10-22 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: predsimplify.ll updated: 1.2 -> 1.3 --- Log message: AllocaInst can't return a null pointer. Fixes missed optimization opportunity pointed out by Andrew Lewycky. --- Diffs of the changes: (+16 -1) predsimplify.ll |

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-10-22 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.20 -> 1.21 --- Log message: AllocaInst can't return a null pointer. Fixes missed optimization opportunity pointed out by Andrew Lewycky. --- Diffs of the changes: (+6 -0) PredicateSimplifier.cpp |6

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-10-22 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.21 -> 1.22 --- Log message: Handle "if ((x|y) != 0)" for ints like we do for bools. Fixes missed optimization opportunity pointed out by Chris Lattner. --- Diffs of the changes: (+13 -10) PredicateSimplifie

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-10-22 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.23 -> 1.24 --- Log message: Fix similar missing optimization opportunity in XOR. --- Diffs of the changes: (+22 -13) PredicateSimplifier.cpp | 35 ++- 1 files changed, 22 i

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll

2006-10-22 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: 2006-10-22-IntOr.ll added (r1.1) --- Log message: Handle "if ((x|y) != 0)" for ints like we do for bools. Fixes missed optimization opportunity pointed out by Chris Lattner. --- Diffs of the changes: (+21 -0) 2006-10

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-10-22 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.22 -> 1.23 --- Log message: Whoops! Add missing NULL check. --- Diffs of the changes: (+1 -0) PredicateSimplifier.cpp |1 + 1 files changed, 1 insertion(+) Index: llvm/lib/Transforms/Scalar/PredicateS

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-10-22 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.24 -> 1.25 --- Log message: Remove the Backwards operation. Resolving now works at the time when a property is added by running through the list of uses of the value and adding resolved properties to the proper

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-10-25 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.27 -> 1.28 --- Log message: Resurrect r1.25. Fix and comment the "or", "and" and "xor" transformations. --- Diffs of the changes: (+154 -117) PredicateSimplifier.cpp | 271 +++--

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll

2006-10-25 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: 2006-10-22-IntOr.ll updated: 1.1 -> 1.2 --- Log message: This testcase was logically wrong! Fixing, and including the test for the mistake that I made in the file too. --- Diffs of the changes: (+24 -3) 2006-10-22-In

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-10-25 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.28 -> 1.29 --- Log message: Fix 2006-10-25-AddSetCC. A relational operator (like setlt) can never produce an EQ property. --- Diffs of the changes: (+46 -27) PredicateSimplifier.cpp | 73 +

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-25-AddSetCC.ll

2006-10-25 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: 2006-10-25-AddSetCC.ll added (r1.1) --- Log message: Handling of setlt/le/gt/ge is broken at the moment; predsimplify removes the call the pass2. --- Diffs of the changes: (+27 -0) 2006-10-25-AddSetCC.ll | 27 +

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll

2006-10-27 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: 2006-10-22-IntOr.ll updated: 1.2 -> 1.3 --- Log message: Emitting raw bytecode is awfully rude. Add -disable-output. Clarify the test. --- Diffs of the changes: (+17 -7) 2006-10-22-IntOr.ll | 24 +--

[llvm-commits] CVS: llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp

2006-10-28 Thread Nick Lewycky
Changes in directory llvm/lib/CodeGen/SelectionDAG: SelectionDAG.cpp updated: 1.360 -> 1.361 --- Log message: Remove spurious case. EXTLOAD is not one of the node opcodes. --- Diffs of the changes: (+0 -1) SelectionDAG.cpp |1 - 1 files changed, 1 deletion(-) Index: llvm/lib/CodeGen/

[llvm-commits] [SignlessTypes] CVS:llvm/test/Regression/CodeGen/X86/compare_folding.llx

2006-10-29 Thread Nick Lewycky
Zhou Sheng, could you please try to include some sort of commit message, no matter how brief? "reorder frem" would be fine, though "Moved FREM to be with the other REM instrucions." would be better. Thanks, Nick Lewycky ___ llvm-

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2006-11-05 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.31 -> 1.32 --- Log message: Remove commented line from earlier debugging. --- Diffs of the changes: (+0 -2) PredicateSimplifier.cpp |2 -- 1 files changed, 2 deletions(-) Index: llvm/lib/Transforms/Sc

[llvm-commits] CVS: llvm/lib/Target/README.txt

2006-11-12 Thread Nick Lewycky
Changes in directory llvm/lib/Target: README.txt updated: 1.47 -> 1.48 --- Log message: Cute example from Chris Lattner. --- Diffs of the changes: (+40 -0) README.txt | 40 1 files changed, 40 insertions(+) Index: llvm/lib/Target/README.txt diff

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-11-04-ImpossibleGT.ll 2006-11-04-ReplacingZeros.ll 2006-11-05-CycleGTLT.ll 2006-11-11-Squeeze.ll 2006-11-12-MergeNodes.ll

2006-11-22 Thread Nick Lewycky
Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier: 2006-11-04-ImpossibleGT.ll added (r1.1) 2006-11-04-ReplacingZeros.ll added (r1.1) 2006-11-05-CycleGTLT.ll added (r1.1) 2006-11-11-Squeeze.ll added (r1.1) 2006-11-12-MergeNodes.ll added (r1.1) --- Log message: Update to ne

[llvm-commits] CVS: llvm/tools/gccld/GenerateCode.cpp

2006-11-22 Thread Nick Lewycky
Changes in directory llvm/tools/gccld: GenerateCode.cpp updated: 1.64 -> 1.65 --- Log message: Update to new predicate simplifier VRP design. Fixes PR966: http://llvm.org/PR966 and PR967: http://llvm.org/PR967 . Remove predicate simplifier from default gcc3 pipeline. New design is too slow to

[llvm-commits] CVS: llvm/tools/gccas/gccas.cpp

2006-11-22 Thread Nick Lewycky
Changes in directory llvm/tools/gccas: gccas.cpp updated: 1.119 -> 1.120 --- Log message: Update to new predicate simplifier VRP design. Fixes PR966: http://llvm.org/PR966 and PR967: http://llvm.org/PR967 . Remove predicate simplifier from default gcc3 pipeline. New design is too slow to enab

[llvm-commits] CVS: llvm/tools/opt/opt.cpp

2006-11-30 Thread Nick Lewycky
Changes in directory llvm/tools/opt: opt.cpp updated: 1.121 -> 1.122 --- Log message: Fix opt -o option. Don't pass a pointer to an auto variable which is going away before it's needed, and don't try to delete that pointer! --- Diffs of the changes: (+3 -4) opt.cpp |7 +++ 1 files

[llvm-commits] CVS: llvm/tools/gccld/gccld.cpp

2006-11-30 Thread Nick Lewycky
Changes in directory llvm/tools/gccld: gccld.cpp updated: 1.112 -> 1.113 --- Log message: Remove extra header. --- Diffs of the changes: (+0 -1) gccld.cpp |1 - 1 files changed, 1 deletion(-) Index: llvm/tools/gccld/gccld.cpp diff -u llvm/tools/gccld/gccld.cpp:1.112 llvm/tools/gccld/

Re: [llvm-commits] CVS: llvm/docs/ReleaseNotes.html

2007-05-17 Thread Nick Lewycky
Chris Lattner wrote: > +Pass registration is slightly different in LLVM 2.0 (you now needs an Either s/you/LLVM/ or s/needs/need/ . Nick ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits

[llvm-commits] developers' meeting page fix

2007-05-20 Thread Nick Lewycky
Could someone please apply this patch to the DevMtgMay2007.html page? It seems that a talk was removed without updating this. It's pushing the last talk right 1 column in old Mozilla. Nick --- DevMtgMay2007.html.orig 2007-05-20 22:08:26.0 -0400 +++ DevMtgMay2007.html 2007-05-20 22:09

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/IndVarSimplify.cpp

2007-06-05 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: IndVarSimplify.cpp updated: 1.119 -> 1.120 --- Log message: Inform ScalarEvolutions that we're deleting Values. This is the obviously correct part of the fix for PR1487: http://llvm.org/PR1487 . --- Diffs of the changes: (+2 -0) IndVarSimpl

[llvm-commits] CVS: llvm/test/Transforms/IndVarsSimplify/2007-06-06-DeleteDanglesPtr.ll

2007-06-05 Thread Nick Lewycky
Changes in directory llvm/test/Transforms/IndVarsSimplify: 2007-06-06-DeleteDanglesPtr.ll added (r1.1) --- Log message: new testcase for PR1487: http://llvm.org/PR1487 --- Diffs of the changes: (+117 -0) 2007-06-06-DeleteDanglesPtr.ll | 117 + 1 fi

[llvm-commits] CVS: llvm/lib/Analysis/ScalarEvolution.cpp

2007-06-05 Thread Nick Lewycky
Changes in directory llvm/lib/Analysis: ScalarEvolution.cpp updated: 1.116 -> 1.117 --- Log message: Fix PR1487: http://llvm.org/PR1487 and Transforms/IndVar/2007-06-06-DeleteDanglesPtr.ll --- Diffs of the changes: (+22 -3) ScalarEvolution.cpp | 25 ++--- 1 files c

[llvm-commits] CVS: llvm/lib/Analysis/ScalarEvolution.cpp

2007-06-06 Thread Nick Lewycky
Changes in directory llvm/lib/Analysis: ScalarEvolution.cpp updated: 1.117 -> 1.118 --- Log message: Optimize this test. Firstly, only Instructions may use other Instructions. Secondly, checking whether removal succeeded tells you whether it was in the map to begin with. --- Diffs of the chan

Re: [llvm-commits] CVS: llvm/lib/Analysis/ScalarEvolution.cpp

2007-06-06 Thread Nick Lewycky
Chris Lattner wrote: > The only thing that can use Instructions are other intstructions. As > such, you can change the dyn_cast into cast > and there is no need to check for null in the next line. Fixed. Thanks Chris! Nick ___ llvm-commits mailing

Re: [llvm-commits] CVS: llvm/lib/VMCore/Dominators.cpp

2007-06-06 Thread Nick Lewycky
Predicate simplifier uses this to get the DFS nums for a BB. We also pass around ETNode*s to avoid having a lot of functions doing BB->ETNode lookups. Similarly with updateDFSNumbers. More than a performance issue, if the DFS nums aren't up to date predsimplify will crash (and if it didn't crash i

Re: [llvm-commits] CVS: llvm/lib/VMCore/Dominators.cpp

2007-06-07 Thread Nick Lewycky
Devang Patel wrote: > On Jun 6, 2007, at 7:19 PM, Nick Lewycky wrote: > >>Predicate simplifier uses this to get the DFS nums for a BB. We also >>pass around ETNode*s to avoid having a lot of functions doing BB- >> >>>ETNode >> >>lookups. >

Re: [llvm-commits] CVS: llvm/lib/VMCore/Dominators.cpp

2007-06-07 Thread Nick Lewycky
Devang Patel wrote: > On Jun 7, 2007, at 10:46 AM, Nick Lewycky wrote: >>Similarly, I pass ETNodes around to functions that don't care about >>which BB is actually involved, but do need the DFS numbers for >>whatever reason. > > In that case what's the use

[llvm-commits] CVS: llvm/lib/Support/ConstantRange.cpp

2007-06-08 Thread Nick Lewycky
Changes in directory llvm/lib/Support: ConstantRange.cpp updated: 1.45 -> 1.46 --- Log message: Fix edge case. --- Diffs of the changes: (+2 -2) ConstantRange.cpp |4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) Index: llvm/lib/Support/ConstantRange.cpp diff -u llvm/lib/Supp

Re: [llvm-commits] CVS: llvm-www/pubs/2006-10-CASES-IncreaseMem.html 2006-10-CASES-IncreaseMem.pdf index.html

2007-06-13 Thread Nick Lewycky
Chris Lattner wrote: > have only 4Ð10 KB of RAM and – ? Nick ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits

[llvm-commits] CVS: llvm/test/Other/2007-06-16-Funcname.ll

2007-06-16 Thread Nick Lewycky
Changes in directory llvm/test/Other: 2007-06-16-Funcname.ll added (r1.1) --- Log message: Call the correct function name. Patch from Stephane Letz. --- Diffs of the changes: (+7 -0) 2007-06-16-Funcname.ll |7 +++ 1 files changed, 7 insertions(+) Index: llvm/test/Other/2007-06-16

[llvm-commits] CVS: llvm/tools/llvm2cpp/CppWriter.cpp

2007-06-16 Thread Nick Lewycky
Changes in directory llvm/tools/llvm2cpp: CppWriter.cpp updated: 1.49 -> 1.50 --- Log message: Call the correct function name. Patch from Stephane Letz. --- Diffs of the changes: (+1 -1) CppWriter.cpp |2 +- 1 files changed, 1 insertion(+), 1 deletion(-) Index: llvm/tools/llvm2cpp/Cp

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2007-06-23 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.78 -> 1.79 --- Log message: Remove use of ETForest. Also cleaned up issues around unreachable basic blocks, and optimizing within one basic block. --- Diffs of the changes: (+326 -156) PredicateSimplifier.c

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2007-06-23 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.79 -> 1.80 --- Log message: Remove tabs. --- Diffs of the changes: (+2 -2) PredicateSimplifier.cpp |4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) Index: llvm/lib/Transforms/Scalar/Predicate

[llvm-commits] CVS: llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp

2007-06-24 Thread Nick Lewycky
Changes in directory llvm/lib/Transforms/Scalar: PredicateSimplifier.cpp updated: 1.80 -> 1.81 --- Log message: Fix value ranges. --- Diffs of the changes: (+1 -1) PredicateSimplifier.cpp |2 +- 1 files changed, 1 insertion(+), 1 deletion(-) Index: llvm/lib/Transforms/Scalar/Predicat

Re: [llvm-commits] CVS: llvm/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp

2007-06-28 Thread Nick Lewycky
David Greene wrote: > +// Cray [dag]: Must recompute end() each iteration because it may Please don't mark the comments as being from Cray. Just write the comment as a standard explanation. Nick ___ llvm-commits mailing list llvm-commits@cs.uiuc.edu

[llvm-commits] [llvm] r37829 - /llvm/trunk/lib/Support/MemoryBuffer.cpp

2007-06-30 Thread Nick Lewycky
Author: nicholas Date: Sat Jun 30 22:06:30 2007 New Revision: 37829 URL: http://llvm.org/viewvc/llvm-project?rev=37829&view=rev Log: Fix undefined behaviour reported by the new --enable-expensive-checks option. Modified: llvm/trunk/lib/Support/MemoryBuffer.cpp Modified: llvm/trunk/lib/Suppor

[llvm-commits] [llvm] r37881 - /llvm/trunk/lib/Transforms/Scalar/PredicateSimplifier.cpp

2007-07-04 Thread Nick Lewycky
Author: nicholas Date: Wed Jul 4 22:15:00 2007 New Revision: 37881 URL: http://llvm.org/viewvc/llvm-project?rev=37881&view=rev Log: Break "variable canonicalization" out of InequalityGraph and into its own class "ValueNumbering". Modified: llvm/trunk/lib/Transforms/Scalar/PredicateSimplifier

[llvm-commits] [llvm] r37966 - /llvm/trunk/lib/Transforms/Scalar/LoopRotation.cpp

2007-07-07 Thread Nick Lewycky
Author: nicholas Date: Sat Jul 7 11:23:34 2007 New Revision: 37966 URL: http://llvm.org/viewvc/llvm-project?rev=37966&view=rev Log: Back out Devang's fix for PR1320 because it causes PR1542. Modified: llvm/trunk/lib/Transforms/Scalar/LoopRotation.cpp Modified: llvm/trunk/lib/Transforms/Scal

[llvm-commits] [llvm] r38483 - /llvm/trunk/lib/Transforms/Scalar/PredicateSimplifier.cpp

2007-07-09 Thread Nick Lewycky
Author: nicholas Date: Mon Jul 9 22:28:21 2007 New Revision: 38483 URL: http://llvm.org/viewvc/llvm-project?rev=38483&view=rev Log: Update the ValueRanges interface to use value numbers instead of Value*s. Modified: llvm/trunk/lib/Transforms/Scalar/PredicateSimplifier.cpp Modified: llvm/tru

[llvm-commits] [llvm] r39851 - in /llvm/trunk: include/llvm/Support/ConstantRange.h lib/Support/ConstantRange.cpp

2007-07-13 Thread Nick Lewycky
Author: nicholas Date: Fri Jul 13 21:51:34 2007 New Revision: 39851 URL: http://llvm.org/viewvc/llvm-project?rev=39851&view=rev Log: Add alternate ConstantRange intersection algorithm. Modified: llvm/trunk/include/llvm/Support/ConstantRange.h llvm/trunk/lib/Support/ConstantRange.cpp Modi

[llvm-commits] [llvm] r39852 - /llvm/trunk/lib/Transforms/Scalar/PredicateSimplifier.cpp

2007-07-13 Thread Nick Lewycky
Author: nicholas Date: Fri Jul 13 23:28:04 2007 New Revision: 39852 URL: http://llvm.org/viewvc/llvm-project?rev=39852&view=rev Log: Use maximal intersection algorithm exclusively. Fixes miscompile bug. Modified: llvm/trunk/lib/Transforms/Scalar/PredicateSimplifier.cpp Modified: llvm/trunk/l

[llvm-commits] [llvm] r39856 - /llvm/trunk/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp

2007-07-14 Thread Nick Lewycky
Author: nicholas Date: Sat Jul 14 10:11:14 2007 New Revision: 39856 URL: http://llvm.org/viewvc/llvm-project?rev=39856&view=rev Log: Fix the build. Patch from Holger Schurig. Modified: llvm/trunk/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp Modified: llvm/trunk/lib/CodeGen/SelectionDAG/LegalizeD

[llvm-commits] [llvm] r39857 - in /llvm/trunk: include/llvm/Support/ConstantRange.h lib/Support/ConstantRange.cpp

2007-07-14 Thread Nick Lewycky
Author: nicholas Date: Sat Jul 14 12:41:03 2007 New Revision: 39857 URL: http://llvm.org/viewvc/llvm-project?rev=39857&view=rev Log: Clarify the language. Pointed out by Duncan Sands. Modified: llvm/trunk/include/llvm/Support/ConstantRange.h llvm/trunk/lib/Support/ConstantRange.cpp Modif

[llvm-commits] [llvm] r39893 - in /llvm/trunk: include/llvm/Analysis/ScalarEvolutionExpressions.h lib/Analysis/ScalarEvolution.cpp test/Analysis/ScalarEvolution/2007-07-15-NegativeStride.ll

2007-07-15 Thread Nick Lewycky
Author: nicholas Date: Sun Jul 15 21:08:00 2007 New Revision: 39893 URL: http://llvm.org/viewvc/llvm-project?rev=39893&view=rev Log: Handle decrementing loops properly. Fixes PR1533. Always pass the constant as the second parameter to HowManyLessThans. Remove obsolete "isSigned" parameter. Add

[llvm-commits] [llvm] r39894 - /llvm/trunk/lib/Transforms/Scalar/PredicateSimplifier.cpp

2007-07-15 Thread Nick Lewycky
Author: nicholas Date: Sun Jul 15 21:58:37 2007 New Revision: 39894 URL: http://llvm.org/viewvc/llvm-project?rev=39894&view=rev Log: Start adding and cleaning up comments. Modified: llvm/trunk/lib/Transforms/Scalar/PredicateSimplifier.cpp Modified: llvm/trunk/lib/Transforms/Scalar/PredicateS

Re: [llvm-commits] [llvm] r39980 - /llvm/trunk/tools/opt/opt.cpp

2007-07-17 Thread Nick Lewycky
Evan, Did you want to remove the comment as well? Nick Evan Cheng wrote: > Author: evancheng > Date: Tue Jul 17 15:07:21 2007 > New Revision: 39980 > > URL: http://llvm.org/viewvc/llvm-project?rev=39980&view=rev > Log: > Change sroa threshold back. > > Modified: > llvm/trunk/tools/opt/opt.

[llvm-commits] [llvm] r39990 - /llvm/trunk/docs/CommandGuide/bugpoint.pod

2007-07-17 Thread Nick Lewycky
Author: nicholas Date: Tue Jul 17 23:24:20 2007 New Revision: 39990 URL: http://llvm.org/viewvc/llvm-project?rev=39990&view=rev Log: Alphabetize. Document -mlimit parameter. Modified: llvm/trunk/docs/CommandGuide/bugpoint.pod Modified: llvm/trunk/docs/CommandGuide/bugpoint.pod URL: http://l

[llvm-commits] ScalarEvolution fix for treeadd

2007-07-21 Thread Nick Lewycky
Treeadd has a for loop from 0 to 100 that scalar-evolution isn't able to determine the bounds of. Attached is a patch that handles the unusual case where the exit branch indirectly leads back to the loop header. It didn't cause any miscompiles in llvm-test (excl. External) and I did a count of how

Re: [llvm-commits] ScalarEvolution fix for treeadd

2007-07-23 Thread Nick Lewycky
On Mon, 2007-07-23 at 09:58 -0500, Dan Gohman wrote: > > +// If we can show that there is no inner cycle in the loop then we know > > +// that the execution count must equal the branch count. > > Would it be too intrusive to ask ScalarEvolution to use a > PostDominanceFrontier for this? N

[llvm-commits] [llvm] r40483 - in /llvm/trunk/lib/Target/PowerPC: PPCAsmPrinter.cpp PPCTargetAsmInfo.cpp

2007-07-24 Thread Nick Lewycky
Author: nicholas Date: Tue Jul 24 22:48:45 2007 New Revision: 40483 URL: http://llvm.org/viewvc/llvm-project?rev=40483&view=rev Log: Fix debug info and globals filled with zeros. Modified: llvm/trunk/lib/Target/PowerPC/PPCAsmPrinter.cpp llvm/trunk/lib/Target/PowerPC/PPCTargetAsmInfo.cpp

Re: [llvm-commits] ScalarEvolution fix for treeadd

2007-07-25 Thread Nick Lewycky
Dan Gohman wrote: >>>Would it be too intrusive to ask ScalarEvolution to use a >>>PostDominanceFrontier for this? >> >>No, that's what I implemented at first. Unfortunately, it doesn't cover >>all the possible cases (specifically, it broke 2007-01-06-TripCount.ll). >> >>In 2007-01-06-TripCount.ll t

[llvm-commits] [llvm] r40569 - /llvm/trunk/test/CFrontend/2007-06-18-SextAttrAggregate.c

2007-07-28 Thread Nick Lewycky
Author: nicholas Date: Sat Jul 28 11:43:10 2007 New Revision: 40569 URL: http://llvm.org/viewvc/llvm-project?rev=40569&view=rev Log: Make this explictly signed. Fixes PR1571. Modified: llvm/trunk/test/CFrontend/2007-06-18-SextAttrAggregate.c Modified: llvm/trunk/test/CFrontend/2007-06-18-Sex

Re: [llvm-commits] ScalarEvolution fix for treeadd

2007-07-28 Thread Nick Lewycky
Dan Gohman wrote: >>I'm not sure why, but it doesn't seem as promising as the previous test >>I had. Could it be that when comparing the PDF I should ignore blocks >>that are not part of the loop? > > If there are branches from outside the loop to blocks inside the loop > other than the loop heade

  1   2   3   >