[Patch, vrp] Allow VRP type conversion folding only for widenings upto word mode
authorlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 19 Nov 2015 17:30:24 +0000 (17:30 +0000)
committerlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 19 Nov 2015 17:30:24 +0000 (17:30 +0000)
commit9a03004a0825a07f5119ff5c8a2decca862a722e
treec46d7a664854f1eb101011a8c8f91af5e052887e
parent104f5d68b2f1e548971cfce985e41fa1e97439e3
[Patch, vrp] Allow VRP type conversion folding only for widenings upto word mode

* tree.h (desired_pro_or_demotion_p): New function.
* tree-vrp.c (simplify_cond_using_ranges): Call it.

* gcc.dg/tree-ssa/vrp98.c: New testcase.
* gcc.target/avr/uint8-single-reg.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@230618 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/vrp98.c [new file with mode: 0644]
gcc/testsuite/gcc.target/avr/uint8-single-reg.c [new file with mode: 0644]
gcc/tree-vrp.c
gcc/tree.h