moved verification flags from irvrfy to irflag
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sat, 31 Dec 2005 15:57:03 +0000 (15:57 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sat, 31 Dec 2005 15:57:03 +0000 (15:57 +0000)
commit652ec0592f713b8ca15bad13df1f6cfdd9eaca7f
tree2fb3990811e276073be6823ae746efb0138ac4d1
parentf64411a2a8a4e28e70a281ac67736a1bdf996b72
moved verification flags from irvrfy to irflag
verifications flags are now used by irvrfy and trvrfy
removed binary Cond test, failed in some optimizations

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