Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

divb %spl and idivb %spl consistenly fail fuzzer #764

Open
stefanheule opened this issue Oct 29, 2015 · 5 comments
Open

divb %spl and idivb %spl consistenly fail fuzzer #764

stefanheule opened this issue Oct 29, 2015 · 5 comments
Assignees
@bchurchill
Labels
bug low

Comments

@stefanheule
Copy link
Member

I wonder if this is because it's a div-by-0? It happens with no other register, and %spl happens to be zero. The output has status 0, which also seems wrong? Is the sandbox not handling div-by-0?

High because our tests fail.
@bchurchill
Copy link
Member

Do you think the circuit is wrong or the sandbox? Because it's spl I suspect sandbox bug.

@bchurchill
Copy link
Member

Also, is there memory involved in the division, or just a register-register or immediate-register divide?

@bchurchill
Copy link
Member

OMG the sandbox code special cases handing division when rsp is an argument... this is insane.

@bchurchill bchurchill self-assigned this Oct 31, 2015
bchurchill added a commit that referenced this issue Nov 3, 2015
@bchurchill
Merge branch 'issue-764' into develop
f4c7e82 
Work on #764
@bchurchill
Copy link
Member

So, we decided to disable this on the fuzz tester. Putting it as low priority but we should circle around on this eventually. Even if it's not important, it seems like an interesting thing to debug.

@bchurchill bchurchill added low and removed high labels Nov 6, 2015
@stefanheule
Copy link
Member Author

I fully agree.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@bchurchill bchurchill

Labels
bug low
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@bchurchill @stefanheule