diff options
| author | Richard Sandiford <richard.sandiford@arm.com> | 2016-05-03 10:29:55 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2016-05-03 10:29:55 +0000 |
| commit | 50891606a95368edd688fa9dc73003b1dfd68983 (patch) | |
| tree | 6ec5e9118f563242bcd6663e613ba47f0e2d5557 /gcc/tree-if-conv.c | |
| parent | f80041efb991e4326971dea550157192f912d9a4 (diff) | |
| download | gcc-50891606a95368edd688fa9dc73003b1dfd68983.zip gcc-50891606a95368edd688fa9dc73003b1dfd68983.tar.gz gcc-50891606a95368edd688fa9dc73003b1dfd68983.tar.bz2 | |
PR 70687: Use wide_int in combine.c:change_zero_ext
PR 70687 reports a case where combine.c mishandles integer modes
wider than unsigned HOST_WIDE_INT. I don't have a testcase since
the PR is just pointing out the hole.
Also, I think a ZERO_EXTEND of a vector mode could in principle satisfy
the subreg condition but wouldn't be equivalent to an AND. E.g.:
(zero_extend:V4DI (subreg:V4SI (reg:V4DI R) 0))
Tested on x86_64-linux-gnu.
gcc/
PR rtl-optimization/70687
* combine.c (change_zero_ext): Check for scalar modes. Use wide_int
instead of unsigned HOST_WIDE_INT.
From-SVN: r235811
Diffstat (limited to 'gcc/tree-if-conv.c')
0 files changed, 0 insertions, 0 deletions