LoopCheckPropagationPass.cpp seems to be working for simple increment, decrement, and invariant cases for single and singly-nested loops
merge with suk. replaced his loop* files with mine