61 lines
1.6 KiB
Nim
61 lines
1.6 KiB
Nim
# Stint
|
|
# Copyright 2018 Status Research & Development GmbH
|
|
# Licensed under either of
|
|
#
|
|
# * Apache License, version 2.0, ([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0)
|
|
# * MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)
|
|
#
|
|
# at your option. This file may not be copied, modified, or distributed except according to those terms.
|
|
|
|
# Test implementation of internal proc:
|
|
|
|
include ../src/private/uint_div
|
|
import unittest
|
|
|
|
suite "implementation of internal division procecures":
|
|
test "Division of 2 words by 1 - specific carry case (issue #30)":
|
|
|
|
# // Reference implementation from glibc: udiv.h
|
|
|
|
# #include <stdint.h>
|
|
# typedef uint32_t USItype;
|
|
|
|
# #define udiv_qrnnd(q, r, n1, n0, dx) /* d renamed to dx avoiding "=d" */\
|
|
# __asm__ ("divl %4" /* stringification in K&R C */ \
|
|
# : "=a" (q), "=d" (r) \
|
|
# : "0" ((USItype)(n0)), "1" ((USItype)(n1)), "rm" ((USItype)(dx)))
|
|
|
|
################################
|
|
|
|
# #include "udiv.h"
|
|
# #include <stdio.h>
|
|
# int main( int argc, const char* argv[] )
|
|
# {
|
|
# UWtype q, r, n1, n0, d;
|
|
|
|
# q = 0;
|
|
# r = 0;
|
|
# n1 = 233;
|
|
# n0 = 1717253765;
|
|
# d = 2659025738;
|
|
|
|
# udiv_qrnnd(q, r, n1, n0, d);
|
|
|
|
# printf("q: %u\n", q);
|
|
# printf("r: %u\n", r);
|
|
# }
|
|
|
|
###############################
|
|
|
|
var q, r: uint32
|
|
let
|
|
n1 = uint32 233
|
|
n0 = uint32 1717253765
|
|
d = uint32 2659025738
|
|
|
|
div2n1n(q, r, n1, n0, d)
|
|
|
|
check:
|
|
q == 376
|
|
r == 2650956245'u32
|