Add quotRem and quot built-in rules (#22152)

Closed Sylvain Henry requested to merge wip/T22152 into master
  • Commit 1: add quotRem with dead binders rule
  • Commit 2: add rule: (x quot l1) quot l2 ==> x quot (l1*l2)
  • Commit 3: fix 64-bit division primops to make them ok-for-speculation when divisor /= 0, just like the other ones
  • Commit 4: also make WordQuotRem2Op ok-for-speculation
Edited by Sylvain Henry

Merge request reports