Hi! On Wed, Jul 16, 2025 at 12:13:28AM +0900, Simon Richter wrote: > On 7/15/25 22:14, Segher Boessenkool wrote: > > Does the manual say what type the result should be? > > I would expect that it does not matter in the majority of cases. What the manual says matters in *all* cases: it is what we promise, what we tell our users our behaviour will be. > The type information is relevant only when storing or spilling the variable, > to select the appropriate load/store instructions The type is relevant only when looking at it at C-language level (C types do not *exist* outside of C-like languages). In other languages you still map things to modes eventually of course, that is what GCC uses internally. "long int" typically is SImode or DImode, so the same as "int" or the same as "long long" usually. What *C type* is used here is a question with a much more unknown answer. Segher
