X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=docs%2Fssapre.txt;h=d178e7dbb7a490fcab0b409ab468011bc3441ccf;hb=32f2f7c898abd259b447eb318e9664e518ea6807;hp=ed1f1ba13ba3163b78b53fbd4ca03458d063b816;hpb=0abc2e6270020edc4a5b4c66f93b4ae582815f20;p=mono.git diff --git a/docs/ssapre.txt b/docs/ssapre.txt index ed1f1ba13ba..d178e7dbb7a 100644 --- a/docs/ssapre.txt +++ b/docs/ssapre.txt @@ -1,4 +1,3 @@ - SSAPRE stands for "SSA based Partial Redundancy Elimination". The algorithm is explained in this paper: @@ -242,7 +241,7 @@ Otherwise, the implementation is complete. Other interesting issues are: - SSAPRE has the assumption that: - each SSA variable is related to one "original" (not SSA) variable, and - - no more than one version of each originsl variable is live at the same time + - no more than one version of each original variable is live at the same time in the CFG. It would be better to relax these assumptions. - SSAPRE operates on "syntactic" redundancies, not on "values".