[r21154]

[r21148]

[r21147]

[r21146]

[r21144]

- Handle cc_callee_clear_stk in the x86 backend

[r21138]

Defer decision whether to create Test(x, x) instead of Cmp(x, 0) until peephole optimisation. This improves the code when Cmp(AM, 0) is undone by the flags repair phase.

[r21134]

Remove pointless assert (the node of modes is rather seldom 0 and the pointer has been dereferenced at least thrice before this point).

[r21133]

[r21131]

[r21130]

[r21123]

disable load from static const optimisation for new-style initializers (until we have code for that)

[r21118]

[r21117]

[r21113]

[r21110]

[r21109]

[r21108]

[r21107]

[r21106]

[r21105]

[r21100]

  only some inputs are follower inputs!
- it is enough to check the followers of the smaller split for
  Follower -> Leader transition (the 'visited by both' is non-sense)
- Phi followers are disabled yet :-(

[r21096]

[r21090]

[r21089]

[r21085]

[r21082]

[r21080]

  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]

[r21073]

[r21072]

[r21071]

  (read the text until end :-), this removes half of the fixes from r21061;
  this simplifies segregate_def_use_chains()
- add a partition checker
- opcode contains the arity now (not clear if this is really needed)
- a lot of more assertions()
- do not kill Confirms yet

Still buggy yet :-(

[r21069]

[r21068]

[r21063]

 - 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]

[r21058]

[r21056]

[r21055]

[r21050]

- removed warning

[r21041]