Bastian Koppelmann <kbast...@mail.uni-paderborn.de> writes: > On 04/10/2018 10:07 PM, Alex Bennée wrote: >> Yeah it looks like it was missed, the round_to_uint code does it. >> >> Do you have a test case I can verify? >> > > For the NaN input 0xffffffff the expected result for the flags is that > flag_invalid is raised. > > I can provide you with some TriCore asm, but it is a bit of pain to get > the gnu assembler to build, since the public version is a decade old.
I'll trust you if you send me a static binary for this particular verification ;-) It would be nice to TriCore tests building in tests/tcg/ but I guess we need an up to date cross compile environment somewhere. > > Cheers, > Bastian -- Alex Bennée