From 0556f003594af07a1f21062ecb87996d877a2588 Mon Sep 17 00:00:00 2001 From: Christoph Mallon Date: Fri, 29 Apr 2011 13:50:24 +0200 Subject: [PATCH] Add simple transfer function for Confirm in fp-vrp. --- ir/opt/fp-vrp.c | 9 +++++++++ 1 file changed, 9 insertions(+) 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)); -- 2.20.1