Parallelizing irregular C codes assisted by interprocedural shape analysis