> I don't want to update insn_live_in, I just want to get each insn's > live in and live out, so I start from the end of basic block and > propagate backward.
But how can the output of fprintf(file, "before propagate, insn live in:\n"); debug_bitmap_file (file, insn_live_in); and fprintf(file, "after propagate, insn live in:\n"); debug_bitmap_file (file, insn_live_in); be different if you don't update insn_live_in? You need to say what you're really dumping here. -- Eric Botcazou