Hi Madhur, If you're looking to solely _analyze_ induction variables, maybe you should try leveraging LLVM's "Scalar Evolution" framework? See include/llvm/Analysis/ScalarEvolution.h for the docs or the IndVarSimplify pass for examples. Thanks, -- Sanjoy