From: Christoph Mallon Date: Fri, 29 Apr 2011 11:50:24 +0000 (+0200) Subject: Add simple transfer function for Confirm in fp-vrp. X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=0556f003594af07a1f21062ecb87996d877a2588;p=libfirm Add simple transfer function for Confirm in fp-vrp. --- diff --git a/ir/opt/fp-vrp.c b/ir/opt/fp-vrp.c index 11a169edc..e25715f88 100644 --- a/ir/opt/fp-vrp.c +++ b/ir/opt/fp-vrp.c @@ -258,6 +258,15 @@ result_unknown_X: break; } + case iro_Confirm: { + ir_node* const v = get_Confirm_value(irn); + bitinfo* const b = get_bitinfo(v); + /* TODO Use bound and relation. */ + z = b->z; + o = b->o; + break; + } + case iro_Shl: { bitinfo* const l = get_bitinfo(get_Shl_left(irn)); bitinfo* const r = get_bitinfo(get_Shl_right(irn));