On Sun, 19 Nov 2023, Jeff Law wrote: > > The reason to XFAIL SImode tests for RV64 targets is the compiler thinks > > it has to sign-extend addends, which causes if-conversion to give up. > WRT extension and causing if-conversion to give up. Yes, it's a real issue. > In fact when we had Jivan do some analysis work on missed if-conversions, > better handling of 32bit operations on rv64 was the biggest class of missed > cases.
I have been aware of the issue with extraneous sign-extensions (and how our difference from the MIPS ISA makes it a problem in the first place), as I fixed some myself in the past and I do remember them being discussed at our weekly meetings as well, so I've decided the best course of action here will be this kind of test coverage. > We've got a bit of internal code to address that. But I've been having > trouble finding the time to clean it up enough to post. Which will hopefully show up nicely as a bunch of XPASS results across these test cases once you do. Maciej
