Compile-Time Characterization Of Recurrent Patterns In Irregular Computations