Checker test for testing loop invariant code motion.