This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Value Range Propagation Pass Status
- To: m dot hayes at elec dot canterbury dot ac dot nz
- Subject: Re: Value Range Propagation Pass Status
- From: John Wehle <john at feith dot com>
- Date: Fri, 4 Feb 2000 21:34:19 -0500 (EST)
- Cc: gcc at gcc dot gnu dot org
> What about the pseudo assigned to the variable count in your example?
> This is what I'm really interested in.
The complete output is:
BB 0
BB 1
reg 25
min <integer_cst 8298244 -2147483648> max <integer_cst 82982a8 255>
BB 2
reg 25
min <integer_cst 829816c 1> max <integer_cst 82981d0 255>
reg 26
min <integer_cst 829831c -2147483648> max <integer_cst 8298380 254>
BB 3
pseudo 25 is count, pseudo 26 is i. So within the loop it's known that
count must be >= 1 and <= 255.
-- John
-------------------------------------------------------------------------
| Feith Systems | Voice: 1-215-646-8000 | Email: john@feith.com |
| John Wehle | Fax: 1-215-540-5495 | |
-------------------------------------------------------------------------