On 11/14/23 22:45, Jeff Law wrote:
On 11/14/23 12:01, Toon Moene wrote:
I have looked at all manner of *range* files in the source directory
and common.opt, but I cannot figure out what the command line option
to gcc is that triggers the dumping of range information (that is
clearly possible, because the code in the "range" files is there).
What have I overlooked ?
[ BTW, I am trying to figure out why - Fortran - complex c; real r;
print*, r * c - needs -fno-signed-zeros to throw away the excess
multiplications and adds in the complex multiplication ]
Probably the best way to think about this is Ranger is a module that can
be used by various passes. So the Ranger dumps will be in the pass
dumps for those passes which utilize Ranger.
The heaviest user is vrp and if you wanted to see what ranges Ranger
discovered, the vrp dumps are a good place to look.
jeff
Thanks - that certainly explains what I saw in the source code.
I get on with this the coming weekend, as I have more time ...
Kind regards,
--
Toon Moene - e-mail: toon@xxxxxxxxx - phone: +31 346 214290
Saturnushof 14, 3738 XG Maartensdijk, The Netherlands