Skip to content

bswap/W64 test fails on i386

      W64:                FAIL (7.80s)
        *** Failed! Falsified (after 51 tests and 2 shrinks):
        -(zext[W16→W64](load[W16](0xc::W32)))
        test ( bits32 buffer ) {
          bits64 ret;
          (ret) = prim %bswap64(%neg(%zx64(bits16[buffer + (12 :: bits32)])));
          return (ret);
        }
        
        0xfcfaffffffffffff /= 0xfcfafffffcfaffff
        Use --quickcheck-replay="(SMGen 11301759829851052901 7931391100024291857,50)" to reproduce.
        Use -p '$2!~/llvm/&&/bswap.W64/' to rerun this test only.