Qint integer division

[dakk]

Implement integer division // (known as floor_div) for Qint type using the following algorithm: Integer_division_(unsigned)_with_remainder

Handle division by constant using the same optimization method used for multiplying with constant implemented in #36

Tasks:

• Define a floor_div abstract method for Qtype
• Implement floor_div on Qint
• Make ast2logic handle ast.FloorDiv
• Write test cases in test_int.py
• Implement div by constant optimization (follow what I do in Shift and Add multiplication for constants #36)

Please read CONTRIBUTING.md before contributing.

[ShayanMajumder]

Hi @dakk can you please review my latest merge request for this issue?

[simsaidan]

Hi @dakk! Hope you are doing well. I wanted to work on #46 , but I see this is a prerequisite. I know a PR was opened but it did not pass all the requirements for merge. Since its been 18 months since then, could I take a crack at this issue?

[dakk]

Hi @simsaidan , off course you can, it would be an useful contribution 👍 for any doubt don't hesitate tò ask

[simsaidan]

Hi @dakk ! I've opened PR #72 for this issue. Handling division by 0 was slightly tricky for non-consts, but my implementation passes my tests and tox. Let me know what you think!

[dakk]

Very neat contribution @simsaidan , nothing to say about it (expect from thank you for contributing!)