Updated: detects loop-invariant codes and handles this like a Constant this helps clustering loop-invariant thing so they can moved out of loops.
Updated: detects loop-invariant codes and handles this like a Constant
this helps clustering loop-invariant thing so they can moved out of
loops.

[r5903]

killbug2004/libfirm,killbug2004/libfirm,davidgiven/libfirm,jonashaag/libfirm,MatzeB/libfirm,libfirm/libfirm,killbug2004/libfirm,killbug2004/libfirm,davidgiven/libfirm,8l/libfirm,jonashaag/libfirm,killbug2004/libfirm,8l/libfirm,8l/libfirm,MatzeB/libfirm,jonashaag/libfirm,davidgiven/libfirm,jonashaag/libfirm,MatzeB/libfirm,8l/libfirm,MatzeB/libfirm,libfirm/libfirm,davidgiven/libfirm,killbug2004/libfirm,davidgiven/libfirm,8l/libfirm,8l/libfirm,davidgiven/libfirm,jonashaag/libfirm,jonashaag/libfirm,jonashaag/libfirm,killbug2004/libfirm,libfirm/libfirm,libfirm/libfirm,8l/libfirm,MatzeB/libfirm,MatzeB/libfirm,davidgiven/libfirm,MatzeB/libfirm,libfirm/libfirm