-
Notifications
You must be signed in to change notification settings - Fork 215
Open
Labels
Description
Describe the bug
E1107 10:24:59.790741 9142 sample_runner.cc:824] Exception when running sample: INVALID_ARGUMENT: SampleError: Result miscompare for sample 0:
args: bits[57]:0x10; bits[24]:0xc6_c3c1; bits[50]:0x2_0000_0000
evaluated opt IR (JIT), evaluated opt IR (interpreter), interpreted DSLX, simulated, simulated_ng =
(bits[57]:0x34, [bits[19]:0x7_ffff, bits[19]:0x7_ffff, bits[19]:0x7_fff0, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x0, bits[19]:0x0, bits[19]:0x10, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x7_ffff, bits[19]:0x7_ffff, bits[19]:0x7_fff0, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x0, bits[19]:0x0, bits[19]:0x10, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5], bits[3]:0x0, bits[57]:0x34)
evaluated unopt IR (JIT) =
(bits[57]:0x34, [bits[19]:0x7_ffff, bits[19]:0x7_ffff, bits[19]:0x7_fff0, bits[19]:0x3_0300, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x0, bits[19]:0x0, bits[19]:0x10, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x7_ffff, bits[19]:0x7_ffff, bits[19]:0x7_fff0, bits[19]:0x3_0300, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x0, bits[19]:0x0, bits[19]:0x10, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5], bits[3]:0x0, bits[57]:0x34)
Error: INVALID_ARGUMENT: SampleError: Result miscompare for sample 0:
args: bits[57]:0x10; bits[24]:0xc6_c3c1; bits[50]:0x2_0000_0000
evaluated opt IR (JIT), evaluated opt IR (interpreter), interpreted DSLX, simulated, simulated_ng =
(bits[57]:0x34, [bits[19]:0x7_ffff, bits[19]:0x7_ffff, bits[19]:0x7_fff0, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x0, bits[19]:0x0, bits[19]:0x10, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x7_ffff, bits[19]:0x7_ffff, bits[19]:0x7_fff0, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x0, bits[19]:0x0, bits[19]:0x10, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5], bits[3]:0x0, bits[57]:0x34)
evaluated unopt IR (JIT) =
(bits[57]:0x34, [bits[19]:0x7_ffff, bits[19]:0x7_ffff, bits[19]:0x7_fff0, bits[19]:0x3_0300, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x0, bits[19]:0x0, bits[19]:0x10, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x7_ffff, bits[19]:0x7_ffff, bits[19]:0x7_fff0, bits[19]:0x3_0300, bits[19]:0x18, bits[19]:0x6_c3f5, bits[19]:0x0, bits[19]:0x0, bits[19]:0x10, bits[19]:0x0, bits[19]:0x18, bits[19]:0x6_c3f5], bits[3]:0x0, bits[57]:0x34)
=== Source Location Trace: ===
xls/fuzzer/cpp_sample_runner.cc:119
xls/fuzzer/run_fuzz.cc:233
To Reproduce
bazel test -c opt //xls/fuzzer:run_crasher_test_2025-11-06_9f52
Expected behavior
Fuzz test passes
Additional context
Might be related to #3269 which also has an unopt IR JIT mismatch.