On 6/27/19 12:29 PM, Richard Henderson wrote: > On 6/19/19 7:04 AM, Jan Bobek wrote: >> + --x86_64 : generate 64-bit (rather than 32-bit) x86 code. > Better is to use > > .mode x86.64 > vs > .mode x86.32 > > or some such, like we do for aarch64. >
Nevermind. Unlike aarch64, the same input file can be used for both 32-bit and 64-bit mode, more or less. r~