The loop unfolding is one of difficult problems in the procedural language partial evaluation. A partial evaluation technique based on information analysis that solves the problem is presented in this paper.It has implemented a partial evaluator using this technique.