On Tue, 25 Jun 2024, Paul Koning wrote: > >>> could be rewritten into > >>> > >>> int test (int x, int y) > >>> { > >>> asm ("foo %0,%1,%2" : "+{r4}" (x) : "{r5}" (y), "d" (y)); > >>> return x; > >>> } > > I like this idea but I'm wondering: regular constraints specify what > sort of value is needed, for example an int vs. a short int vs. a float.
Isn't that inferred from the data type of the associated expression used, the types of `x' and `y' in this case? Then the constraints only tell the middle end where that data comes from or goes to at the boundaries of an asm. Maciej