1. 09 Mar, 2011 1 commit
  2. 28 Nov, 2010 1 commit
  3. 10 Nov, 2010 1 commit
  4. 29 Oct, 2010 1 commit
  5. 28 Oct, 2010 1 commit
  6. 27 Oct, 2010 2 commits
  7. 24 Sep, 2010 1 commit
  8. 21 Sep, 2010 4 commits
  9. 14 Sep, 2010 1 commit
  10. 10 Sep, 2010 2 commits
  11. 08 Sep, 2010 1 commit
  12. 04 Sep, 2010 6 commits
  13. 02 Sep, 2010 2 commits
  14. 01 Sep, 2010 2 commits
  15. 21 Aug, 2010 1 commit
  16. 18 Aug, 2010 5 commits
  17. 04 Aug, 2010 1 commit
  18. 14 Jul, 2010 1 commit
  19. 08 Jul, 2010 3 commits
  20. 07 Jul, 2010 1 commit
  21. 29 Jun, 2010 1 commit
    • xleroy's avatar
      Support for inlined built-ins. · 9c7c84cc
      xleroy authored
      AST: add ef_inline flag to external functions.
      Selection: recognize calls to inlined built-ins and inline them as Sbuiltin.
      CminorSel to Asm: added Sbuiltin/Ibuiltin instruction.
      PrintAsm: adapted expansion of builtins.
      C2Clight: adapted detection of builtins.
      Conventions: refactored in a machine-independent part (backend/Conventions)
        and a machine-dependent part (ARCH/SYS/Conventions1).
      
      
      git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1356 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
      9c7c84cc
  22. 28 Jun, 2010 1 commit