Value Range Propagation Pass Status

John Wehle john@feith.com
Fri Feb 4 18:34:00 GMT 2000


> 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  |                         |
-------------------------------------------------------------------------



More information about the Gcc mailing list