tree 591665514fdf046be9c4570ea85feccba1225454
parent d3517b65b91dc9a63a75ffa4f9d918cd5f4b7646
author Ryotaro Kasuga <kasuga.ryotaro@fujitsu.com> 1756463282 +0900
committer GitHub <noreply@github.com> 1756463282 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJosYCyCRC1aQ7uu5UhlAAAIj8QAA8bO8XmDX90XMz2hajFT2MP
 cgZ1nsoh05tHwgIkcS+RpJz6UxzkO7bmOD5VAbQGjRVPEBTTEm9bgBJqaePyvNxS
 Pyc/ddfSEY4ktFwQpgnXaqfetZ1JMu0uTAjs+0dvYsoeMYNU/+fw1sHl/++Sc6mF
 GgvNF/2RSiqFigdpDND9HgvBpuSYCtUns1w8fe9Zjom5Pqy7RVXd3FE83CGgFVfy
 fxB1AhD2Aik1484HMrkNp1VAa3xg+KEIQMtJb9ON1L99XBkfBNIs+vkfM8mBTbNp
 I+6UvokpTmxweQh24CJ5VWRrsI5h1PcaWJHOQXbFxTyp/D/uQeRU3Aw2+iXCE2IC
 Mxp5YYl8zNh7XfZSBfpOPxf+w3pP2mZAMb62UySZKOzVd0PO2WLwn1uYakjT8Dgx
 6OE1/FkJEYFFNz5A2hC/fMPQt0ROVCoirnrZHDFzidBRQ7kWyWO1N/lZZLCKOl8q
 xztLIbsZSuMguuBU7MjZy8sNIiuBvb5wsQVxOi3iLOY3Us8jSWfabdmBTtxmZKjO
 bMjRZbZo985T+7yN7o1DoMaYEjoQQjJ3gLXhYAkmnWfklJNi1MTk8NrDWA6kVYBP
 ez3zdfTppBcIEpBi+1g5Oh8gOFDdO2t+Mo4AfmsYlTK6yNLxibazQ4e6wrVssC4L
 ngYzPRefCgCSafG1UOh0
 =srDe
 -----END PGP SIGNATURE-----
 

[SCEVDivision] Add SCEVDivisionPrinterPass with corresponding tests (#155832)

This patch introduces `SCEVDivisionPrinterPass` and registers it under
the name `print<scev-division>`, primarily for testing purposes. This
pass invokes `SCEVDivision::divide` upon encountering `sdiv`, and prints
the numerator, denominator, quotient, and remainder. It also adds
several test cases, some of which are currently incorrect and require
fixing.

Along with that, this patch added some comments to clarify the behavior
of `SCEVDivision::divide`, as follows:

- This function does NOT actually perform the division
- Given the `Numerator` and `Denominator`, find a pair 
  `(Quotient, Remainder)` s.t.
  `Numerator = Quotient * Denominator + Remainder`
- The common condition `Remainder < Denominator` is NOT necessarily
   required
- There may be multiple solutions for `(Quotient, Remainder)`, and this
   function finds one of them
  - Especially, there is always a trivial solution `(0, Numerator)`
- The following computations may wrap
  - The multiplication of `Quotient` and `Denominator`
  - The addition of `Quotient * Denominator` and `Remainder`

Related discussion: #154745