Skip to content
  1. Aug 31, 2010
  2. Aug 06, 2010
  3. Jul 22, 2010
  4. Jul 13, 2010
  5. Jul 12, 2010
  6. Jul 10, 2010
    • Duncan Sands's avatar
      The accumulator tail recursion transform claims to work for any associative · 82b21c08
      Duncan Sands authored
      operation, but the way it's implemented requires the operation to also be
      commutative.  So add a check for commutativity (and tweak the corresponding
      comments).  This makes no difference in practice since every associative
      LLVM instruction is also commutative!  Here's an example to show the need
      for commutativity: the accum_recursion.ll testcase calculates the factorial
      function.  Before the transformation the result of a call is
        ((((1*1)*2)*3)...)*x
      while afterwards it is
        (((1*x)*(x-1))...*2)*1
      which clearly requires both associativity and commutativity of * to be equal
      to the original.
      
      llvm-svn: 108056
      82b21c08
  7. Jun 26, 2010
  8. Jun 24, 2010
  9. May 28, 2010
  10. Apr 17, 2010
  11. Apr 16, 2010
  12. Apr 15, 2010
  13. Feb 03, 2010
  14. Jan 31, 2010
  15. Jan 30, 2010
  16. Nov 07, 2009
  17. Sep 02, 2009
  18. Aug 13, 2009
  19. Jun 19, 2009
  20. May 06, 2009
  21. Sep 04, 2008
  22. Jun 14, 2008
  23. May 15, 2008
  24. May 13, 2008
  25. Apr 06, 2008
  26. Mar 11, 2008
  27. Feb 20, 2008
  28. Dec 29, 2007
  29. Sep 10, 2007
  30. May 06, 2007
  31. May 03, 2007
Loading