ykjit / yk

yk packages
https://ykjit.github.io/yk/
Other
29 stars 7 forks source link

Ignore SWT tracing function in trace builder and update tests. #1331

Closed Pavel-Durov closed 1 month ago

Pavel-Durov commented 2 months ago

Changes

Tests

Tested multiple times as:

YKB_TRACER=hwt cargo test
YKB_TRACER=hwt YKD_NEW_CODEGEN=1 cargo test
YKB_TRACER=swt cargo test
YKB_TRACER=hwt YKD_NEW_CODEGEN=1 cargo test

Notes

I did see simple_binop.c test failing one time with a warning: yk-warning: trace-compilation-aborted: Trace too long. But I don't think it's relevant to my changes in the PR.

ptersilie commented 2 months ago

There's a couple of ignored tests that just say "crashes with SWT". Are these all the same crashes or are they different? What's the plan for these tests? Do we want to fix them here, or will that be a follow up PR?

Btw, the llvm backend is dead, so you don't need to test with YKD_NEW_CODEGEN=1 anymore.

Pavel-Durov commented 2 months ago

There's a couple of ignored tests that just say "crashes with SWT". Are these all the same crashes or are they different? What's the plan for these tests? Do we want to fix them here, or will that be a follow up PR?

The purpose of this PR was to update the state of failing tests with SWT. The next steps will be to triage the failures and come up with a plan to fix them.

The "crashes with SWT" comment was just copied from another source, like this one. I can remove the FIXME comments or add them to all of the tests that are ignored for SWT. Any preference?

ltratt commented 1 month ago

@ptersilie Over to you.

ptersilie commented 1 month ago

Please squash.

Pavel-Durov commented 1 month ago

squashed :point_right: e0a17f0e37623638f3d88f0b1f92048d5cec110d

Pavel-Durov commented 1 month ago

Actually, more tests are passing now :eyes: :point_right: b6b7f46227b45a75041f7eeeea4c96c63ee40daa

Pavel-Durov commented 1 month ago

There's a couple of ignored tests that just say "crashes with SWT".

Removed in :point_right: 34c1ace6fdb2db4d42a066a000b4149cc3cb6e80 As its easy to find tests that are failing under SWT based on ignore-if

ltratt commented 1 month ago

Please squash.

Pavel-Durov commented 1 month ago

Squashed :point_right: bf2b45e9a1c2685a3db7b781a6f0155c0e8f652b

Pavel-Durov commented 1 month ago

squashed again :point_right: 367f780b0b01eabd3a810df1a524d90f8562f194 Last squash we had 12 tests ignored for swt now we have 26