[ping][PATCH][1 of 2] Add value range info to SSA_NAME for zero sign extension elimination in RTL

[Kugan]

Here is the modified patch that addresses the comments form Richard and 
Jakub.

This also includes:
1. Added TDF_RANGE to dump range_info
2. Moved enum value_range_type to tree.h (Is this the right place?)

Bootstrapped and regtested for x86_64-unknown-linux-gnu and arm-none 
linux-gnueabi.

Is this Ok,

Thanks,
Kugan

+2013-09-12  Kugan Vivekanandarajah  <kuganv@linaro.org>
+
+	* cfgexpand.c (maybe_dump_rtl_for_gimple_stmt) : Add range to dump.
+	* gimple-pretty-print.c (print_double_int) : New function.
+	* gimple-pretty-print.c (dump_gimple_phi) : Dump range info.
+	* (pp_gimple_stmt_1) : Likewise.
+	* tree-ssa-alias.c (dump_alias_info) : Check pointer type.
+	* tree-ssa-copy.c (fini_copy_prop) : Check pointer type and copy
+	range info.
+	* tree-ssanames.c (make_ssa_name_fn) : Check pointer type in
+	initialize.
+	* (set_range_info) : New function.
+	* (get_range_info) : Likewise.
+	* (duplicate_ssa_name_range_info) : Likewise.
+	* (duplicate_ssa_name_fn) : Check pointer type and call correct
+	duplicate function.
+	* tree-vrp.c (vrp_finalize): Call set_range_info to upddate
+	value range of SSA_NAMEs.
+	* tree.h (SSA_NAME_PTR_INFO) : changed to access via union
+	* tree.h (SSA_NAME_RANGE_INFO) : New macro
+





-------------- next part --------------
A non-text attachment was scrubbed...
Name: vrp_extension_elimination_patch1_r3.diff
Type: text/x-patch
Size: 15193 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20130913/02d1d82b/attachment.bin>