Add a few tests for x86_64

Was using them to double-check some results for ISPASS paper