Add loopInv.cpp