1. 12 Aug, 2008 10 commits
  2. 11 Aug, 2008 6 commits
  3. 10 Aug, 2008 2 commits
    • Michael Beck's avatar
      - ifconv builds Muxb nodes, so allow mode datab for Mux · 067e9cbd
      Michael Beck authored
      [r21080]
      067e9cbd
    • Michael Beck's avatar
      - More changed: · 9e11e8bb
      Michael Beck authored
        we have to move ALL Followers to Leaders which gets hit
        on both sides of the race, regardless on which side the node stay ...
        (really ?)
      - factor out follower_to_leader()
      - check_list() added
      - add always to the end of double-linked lists
      - add more assertions
      - do not handle follower -> leader for Phi nodes on the cprop list
        (why this is needed ?)
      
      [r21079]
      9e11e8bb
  4. 09 Aug, 2008 5 commits
  5. 08 Aug, 2008 3 commits
    • Christoph Mallon's avatar
      Bug in edgfe for void*-arithmetic: ptr + x == ptr. · de2d9512
      Christoph Mallon authored
      [r21063]
      de2d9512
    • Michael Beck's avatar
      Some things not stated (or not clear) in Clicks Diss: · b9d22b30
      Michael Beck authored
       - when splitting partitions, n-input Identities might lose
         its follower state -> place them on cprop
       - the race split might choose the split out the part NOT containing the
         split list g. This destroys split_by(), so we have to exchange X and X' if
         this happens
       - in cause_split() we have to removed all followers from the touched list:
         split() doesn't work with them AND we must check the number of elements an split
         with the number of leaders (last part is clearly stated in the Diss)
       - a node can only be a follower if the leader is in the same partition!
       - !constant for leader -> follower transition is misleading: must be neither
         Top nor const (no followers in Top and const partitions)
      
      Other changes:
       - we don't have to put on the end of the unwalked set in step(), just NOT
         at the start
       - combined add_to_touched() and add_to_partition_touched()
       - we handle n-input identities in segregate_def_use_chain(), no need for
         extra handling in segregate_def_use_chain_1()
       - BugFix: ensure, that a node after follower -> leader transition is only
         placed on fallen once
       - BugFix: errouniously deleted add_to_worklist(Y) if old type was T or Const
       - clean keep-alives
      
      [r21061]
      b9d22b30
    • Michael Beck's avatar
      - more -f combo tests · 212455a1
      Michael Beck authored
      [r21058]
      212455a1
  6. 07 Aug, 2008 9 commits
  7. 06 Aug, 2008 5 commits