Algorithms for division and bitwise operators #248
Description
Hello,
I was wondering whether there is any external documentation on how the division algorithm and the bitwise operators work. is there maybe an academic paper that describes the algorithms used?
I'd like to do a research project, during which I'll implement a prototype using Jiff, however, in order to be able to make statements about the performance of said operators, it would be beneficial to have access to their sources.
Best regards, Juri