1Checker test for testing loop invariant code motion.
2