He wrote a paper about it: "Division by Invariant Integers using Multiplication", Proc. SIGPLAN PLDI, 1994. I know. I read it back then. But that's different from understanding the actual code.