Classic Round-Up Variant of Fast Unsigned Division by Constants: Algorithm and Full Proof
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915049270935552 |
|---|---|
| author | Li, Yifei |
| author_facet | Li, Yifei |
| contents | Integer division instruction is generally expensive in most architectures. If the divisor is constant, the division can be transformed into combinations of several inexpensive integer instructions. This article discusses the classic round-up variant of the fast unsigned division by constants algorithm, and provides full proof of its correctness and feasibility. Additionally, a simpler variant for bounded dividends is presented. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_03680 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Classic Round-Up Variant of Fast Unsigned Division by Constants: Algorithm and Full Proof Li, Yifei Data Structures and Algorithms F.2.1; I.1.2 Integer division instruction is generally expensive in most architectures. If the divisor is constant, the division can be transformed into combinations of several inexpensive integer instructions. This article discusses the classic round-up variant of the fast unsigned division by constants algorithm, and provides full proof of its correctness and feasibility. Additionally, a simpler variant for bounded dividends is presented. |
| title | Classic Round-Up Variant of Fast Unsigned Division by Constants: Algorithm and Full Proof |
| topic | Data Structures and Algorithms F.2.1; I.1.2 |
| url | https://arxiv.org/abs/2412.03680 |