A Unified Compiler Framework For Program Analysis, Optimization, And Automatic Vectorization With Chains Of Recurrences