fixed SH's dominance checker, can now handle dead blocks
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 6 Sep 2005 11:56:26 +0000 (11:56 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 6 Sep 2005 11:56:26 +0000 (11:56 +0000)
commit67499260e61f041dc855885ce8ded6ef213760d7
treeda388a33272aa99e7f3ff2f13808342597966a32
parentd05be8acf683be63c90cc49f37d2677491e29fdc
fixed SH's dominance checker, can now handle dead blocks
ir_vrfy() renamed to ir_verify() with new flag argument:
  dominance checking can now be enforced

[r6579]
ir/ir/irvrfy.c
ir/ir/irvrfy.h
ir/ir/irvrfy_t.h