1. 14 Mar, 2014 7 commits
  2. 13 Mar, 2014 1 commit
  3. 07 Mar, 2014 2 commits
  4. 21 Feb, 2014 1 commit
  5. 18 Feb, 2014 1 commit
    • Matthias Braun's avatar
      cleanup special tarval and Unknown usage · af666143
      Matthias Braun authored
      This commit does:
      - Remove tarval_reachable+tarval_unreachable, dataflow analysis rather
        use top/bottom instead of other special values.
      - Rename tarval_undefined to tarval_unknown as it corresponds to the
        Unknown node (=a value which we don't know)
      - Remove predefined tarval_top/tarval_bottom from tv.h and place the
        defines into combo.c
      - Change compute_XXX constant folding functions to return tarval_unknown
        instead of tarval_bad if folding failed
      - compute_Unknown in combo results in tarval_bottom == tarval_unknown
        this eliminates strange special cases in the Cond/Switch rules and the
        now unnecessary cprop_X list.
      af666143
  6. 17 Feb, 2014 1 commit
  7. 14 Feb, 2014 1 commit
  8. 31 Jan, 2014 1 commit
  9. 29 Jan, 2014 1 commit
  10. 28 Jan, 2014 6 commits
  11. 27 Jan, 2014 4 commits
  12. 24 Jan, 2014 3 commits
  13. 03 Dec, 2013 2 commits
  14. 25 Nov, 2013 2 commits
  15. 21 Nov, 2013 1 commit
    • Matthias Braun's avatar
      assert that no bigger modes are created than the tarval precision limit · 2210d1a1
      Matthias Braun authored
      The tarval module has a maximally supported precision. Assert that no
      modes with higher precision are created, otherwise the tarval module
      will silently drop the higher bits on calculation. TODO: Change tarval
      module to dynamically use smaller/bigger representations depending on
      the mode.
      
      Removed mode_LLs, mode_LLu, mode_Q for now as they are bigger than the
      limit.
      2210d1a1
  16. 20 Nov, 2013 1 commit
  17. 12 Nov, 2013 2 commits
  18. 04 Nov, 2013 1 commit
  19. 31 Oct, 2013 1 commit
    • Matthias Braun's avatar
      fix corner cases when determining called entities/irgs · c9f09085
      Matthias Braun authored
      Most firm analyses behaved incorrectlye when: A called SymConst did not
      have a method entity, assumed the code reachable by get_entity_irg is
      the code called. These assumptions are wrong when doing crazy casts in C
      or when dealing with weak symbols. This is fixed by introducing some
      convenience functions: get_Call_callee(), get_entity_linktime_irg()
      c9f09085
  20. 29 Oct, 2013 1 commit