464 lines
16 KiB
Plaintext
464 lines
16 KiB
Plaintext
note
|
|
description: "Summary description for {TEST_NUMBER_ARITHMETIC}."
|
|
author: ""
|
|
date: "$Date: 2011-11-11 18:13:16 +0100 (ven., 11 nov. 2011) $"
|
|
revision: "$Revision: 87787 $"
|
|
|
|
class
|
|
TEST_SPECIAL_ARITHMETIC
|
|
|
|
inherit
|
|
EQA_TEST_SET
|
|
SPECIAL_COMPARISON
|
|
undefine
|
|
default_create
|
|
end
|
|
SPECIAL_ARITHMETIC
|
|
undefine
|
|
default_create
|
|
end
|
|
|
|
feature
|
|
test_add_1_1
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
carry: CELL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
create carry.put (0)
|
|
create one.make_filled (0xffffffff, 4)
|
|
create item.make_filled (0, 4)
|
|
add_1 (item, 0, one, 0, 4, 1, carry)
|
|
assert ("Test add 1 1", item [0] = 0 and item [1] = 0 and item [2] = 0 and item [3] = 0 and carry.item = 1)
|
|
end
|
|
|
|
test_add_1_2
|
|
local
|
|
item: SPECIAL [NATURAL_32]
|
|
junk: CELL [NATURAL_32]
|
|
do
|
|
create junk.put (0)
|
|
create item.make_filled (0, 2)
|
|
item [0] := 0xcb101a11
|
|
item [1] := 0xf00635d0
|
|
add_1 (item, 0, item, 0, 2, 0x57cc11df, junk)
|
|
assert ("test add 1 2", item [0] = 0x22dc2bf0 and item [1] = 0xf00635d1 and junk.item = 0)
|
|
end
|
|
|
|
test_add_1_3
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
junk: CELL [NATURAL_32]
|
|
do
|
|
create junk.put (0)
|
|
create one.make_filled (0, 4)
|
|
create two.make_filled (0, 2)
|
|
one [0] := 0xeeeeeeee
|
|
one [1] := 0xeeeeeeee
|
|
two [0] := 0xeeeeeeee
|
|
add_1 (one, 2, two, 1, 1, 0, junk)
|
|
assert ("test add 1 3", one [0] = 0xeeeeeeee and one [1] = 0xeeeeeeee and one [2] = 0x0 and one [3] = 0x0 and two [0] = 0xeeeeeeee and two [1] = 0x0 and junk.item = 0)
|
|
end
|
|
|
|
test_add_1_4
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
carry: CELL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
create carry.put (0)
|
|
create one.make_filled (0xffffffff, 4)
|
|
create item.make_filled (0, 4)
|
|
add_1 (item, 0, one, 0, 4, 1, carry)
|
|
assert ("Test add 1 4 1", item [0] = 0 and item [1] = 0 and item [2] = 0 and item [3] = 0 and carry.item = 1)
|
|
add_1 (item, 0, one, 0, 4, 0, carry)
|
|
assert ("Test add 1 4 2", item [0] = 0xffffffff and item [1] = 0xffffffff and item [2] = 0xffffffff and item [3] = 0xffffffff and carry.item = 0)
|
|
end
|
|
|
|
test_add_n
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
carry: CELL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
create carry.put (0)
|
|
create item.make_filled (0, 4)
|
|
create one.make_filled (0xffffffff, 4)
|
|
create two.make_filled (0, 4)
|
|
one [3] := 0x0
|
|
two [0] := 0x1
|
|
add_n (item, 0, one, 0, two, 0, 4, carry)
|
|
assert ("Test add n", item [0] = 0 and item [1] = 0 and item [2] = 0 and item [3] = 1 and carry.item = 0)
|
|
end
|
|
|
|
test_add_n_carry
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
carry: CELL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
create carry.put (0)
|
|
create item.make_filled (0, 4)
|
|
create one.make_filled (0xffffffff, 4)
|
|
create two.make_filled (0, 4)
|
|
two [0] := 0x1
|
|
add_n (item, 0, one, 0, two, 0, 4, carry)
|
|
assert ("Test add n", item [0] = 0 and item [1] = 0 and item [2] = 0 and item [3] = 0 and carry.item = 1)
|
|
end
|
|
|
|
test_add_1
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
carry: CELL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
create carry.put (0)
|
|
create item.make_filled (0, 4)
|
|
create one.make_filled (0xffffffff, 4)
|
|
create two.make_filled (0, 4)
|
|
one [3] := 0x0
|
|
two [0] := 0x1
|
|
add (item, 0, one, 0, one.count, two, 0, two.count, carry)
|
|
assert ("Test add n", item [0] = 0 and item [1] = 0 and item [2] = 0 and item [3] = 1 and carry.item = 0)
|
|
end
|
|
|
|
test_add_2
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
three: SPECIAL [NATURAL_32]
|
|
carry: CELL [NATURAL_32]
|
|
do
|
|
create carry.put (0)
|
|
create one.make_filled (0, 0xb)
|
|
create two.make_filled (0, 0xa)
|
|
create three.make_filled (0, 0x5)
|
|
two [0] := 0xee98e4a2
|
|
two [1] := 0x8aec1812
|
|
two [2] := 0xfc43f9bb
|
|
two [3] := 0x70d1ccc8
|
|
two [4] := 0xc122bf19
|
|
two [5] := 0xeb356bfb
|
|
two [6] := 0x77f53c1f
|
|
two [7] := 0xac9b2b87
|
|
two [8] := 0x13524c02
|
|
two [9] := 0x89136811
|
|
three [0] := 0x9cd0d89d
|
|
three [1] := 0x7850c26c
|
|
three [2] := 0xba3e2571
|
|
three [3] := 0x4706816a
|
|
three [4] := 0xa9993e36
|
|
add (one, 0, two, 0, 0xa, three, 0, 0x5, carry)
|
|
assert ("test add 2", carry.item = 0 and one [0] = 0x8b69bd3f and one [1] = 0x033cda7f and one [2] = 0xb6821f2d and one [3] = 0xb7d84e33 and one [4] = 0x6abbfd4f and one [5] = 0xeb356bfc and one [6] = 0x77f53c1f and one [7] = 0xac9b2b87 and one [8] = 0x13524c02 and one [9] = 0x89136811)
|
|
end
|
|
|
|
test_cmp_1
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
comp: INTEGER_32
|
|
do
|
|
create one.make_filled (0xffffffff, 4)
|
|
create two.make_filled (0x90000000, 4)
|
|
comp := cmp (one, 0, two, 0, 4)
|
|
assert ("Test cmp 1", comp = 1)
|
|
end
|
|
|
|
test_cmp_2
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
comp: INTEGER_32
|
|
do
|
|
create one.make_filled (0x90000000, 4)
|
|
create two.make_filled (0xffffffff, 4)
|
|
comp := cmp (one, 0, two, 0, 4)
|
|
assert ("Test cmp 2", comp = -1)
|
|
end
|
|
|
|
test_cmp_3
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
comp: INTEGER_32
|
|
do
|
|
create one.make_filled (0x80000000, 4)
|
|
create two.make_filled (0x80000000, 4)
|
|
assert ("Test cmp 3", comp = 0)
|
|
end
|
|
|
|
test_mul_1
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
carry: CELL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
create carry.put (0)
|
|
create item.make_filled (0, 4)
|
|
create one.make_filled (1, 4)
|
|
mul_1 (item, 0, one, 0, 4, 2, carry)
|
|
assert ("Test mul 1", item [0] = 2 and item [1] = 2 and item [2] = 2 and item [3] = 2 and carry.item = 0)
|
|
create item.make_filled (0, 4)
|
|
create one.make_filled (0xffffffff, 4)
|
|
mul_1 (item, 0, one, 0, 4, 0xffffffff, carry)
|
|
assert ("Test mul 1", item [0] = 0x1 and item [1] = 0xffffffff and item [2] = 0xffffffff and item [3] = 0xffffffff and carry.item = 0xfffffffe)
|
|
end
|
|
|
|
test_mul_1_offsets
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
carry: CELL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
create carry.put (0)
|
|
create item.make_filled (0, 6)
|
|
create one.make_filled (1, 6)
|
|
item [0] := 0x10101010
|
|
item [5] := 0x10101010
|
|
mul_1 (item, 1, one, 1, 4, 2, carry)
|
|
assert ("Test mul 1 offsets", item [0] = 0x10101010 and item [1] = 2 and item [2] = 2 and item [3] = 2 and item [4] = 2 and item [5] = 0x10101010 and carry.item = 0)
|
|
create item.make_filled (0, 6)
|
|
create one.make_filled (0xffffffff, 6)
|
|
item [0] := 0x10101010
|
|
item [5] := 0x10101010
|
|
mul_1 (item, 1, one, 1, 4, 0xffffffff, carry)
|
|
assert ("Test mul 1 offsets", item [0] = 0x10101010 and item [1] = 1 and item [2] = 0xffffffff and item [3] = 0xffffffff and item [4] = 0xffffffff and item [5] = 0x10101010 and carry.item = 0xfffffffe)
|
|
end
|
|
|
|
test_mul_n_1
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
target: SPECIAL [NATURAL_32]
|
|
do
|
|
create one.make_filled (0x77777777, 4)
|
|
create two.make_filled (0x0, 4)
|
|
two [0] := 0x2
|
|
create target.make_filled (0, 8)
|
|
mul_n (target, 0, one, 0, two, 0, 4)
|
|
assert ("test mul n 1", target [0] = 0xeeeeeeee and target [1] = 0xeeeeeeee and target [2] = 0xeeeeeeee and target [3] = 0xeeeeeeee and target [4] = 0x0 and target [5] = 0x0 and target [6] = 0x0 and target [7] = 0x0)
|
|
end
|
|
|
|
test_mul_basecase_1
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
create item.make_filled (0, 8)
|
|
create one.make_filled (4, 4)
|
|
create two.make_filled (4, 4)
|
|
mul_basecase (item, 0, one, 0, one.count, two, 0, two.count)
|
|
assert ("test mul basecase", item [0] = 0x10 and item [1] = 0x20 and item [2] = 0x30 and item [3] = 0x40 and item [4] = 0x30 and item [5] = 0x20 and item [6] = 0x10 and item [7] = 0x0)
|
|
end
|
|
|
|
test_sqr
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
create one.make_filled (0xffffffff, 4)
|
|
create item.make_filled (0, 8)
|
|
sqr_n (item, 0, one, 0, 4)
|
|
assert ("test sqr", item [0] = 0x00000001 and item [1] = 0x0 and item [2] = 0x0 and item [3] = 0x0 and item [4] = 0xfffffffe and item [5] = 0xffffffff and item [6] = 0xffffffff and item [7] = 0xffffffff)
|
|
end
|
|
|
|
test_sub_1
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
three: SPECIAL [NATURAL_32]
|
|
borrow: CELL [NATURAL_32]
|
|
do
|
|
create borrow.put (0)
|
|
create one.make_filled (0, 0x12)
|
|
create two.make_filled (0xffffffff, 0x11)
|
|
two [0x10] := 0x000001ff
|
|
create three.make_filled (0, 0x10)
|
|
three [0] := 0x9e76fb15
|
|
three [1] := 0x32e4e606
|
|
three [2] := 0xb6d93fcc
|
|
three [3] := 0x621dd631
|
|
three [4] := 0xa3a1f005
|
|
three [5] := 0x19f28b09
|
|
three [6] := 0x19a6800c
|
|
three [7] := 0xaf6e5a54
|
|
three [8] := 0x37fae053
|
|
three [9] := 0xad460fb3
|
|
three [10] := 0xfb2a9d7c
|
|
three [11] := 0x9947e909
|
|
three [12] := 0x2a7e14c9
|
|
three [13] := 0xce163d50
|
|
three [14] := 0x689f4fd7
|
|
three [15] := 0x7231ea35
|
|
sub (one, 0, two, 0, 0x11, three, 0, 0x10, borrow)
|
|
assert ("test sub 1 1", borrow.item = 0 and one [0] = 0x618904ea and one [1] = 0xcd1b19f9 and one [2] = 0x4926c033 and one [3] = 0x9de229ce)
|
|
assert ("test sub 1 2", one [4] = 0x5c5e0ffa and one [5] = 0xe60d74f6 and one [6] = 0xe6597ff3 and one [7] = 0x5091a5ab)
|
|
assert ("test sub 1 3", one [8] = 0xc8051fac and one [9] = 0x52b9f04c and one [10] = 0x04d56283 and one [11] = 0x66b816f6)
|
|
assert ("test sub 1 4", one [12] = 0xd581eb36 and one [13] = 0x31e9c2af and one [14] = 0x9760b028 and one [15] = 0x8dce15ca and one [16] = 0x000001ff)
|
|
end
|
|
|
|
test_sub_1_1
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
carry: CELL [NATURAL_32]
|
|
do
|
|
create carry.put (0)
|
|
create one.make_filled (0x11111111, 4)
|
|
sub_1 (one, 0 + 2, one, 0 + 2, 2, 0, carry)
|
|
assert ("test sub 1", one [0] = 0x11111111 and one [1] = 0x11111111 and one [2] = 0x11111111 and one [3] = 0x11111111 and carry.item = 0x0)
|
|
end
|
|
|
|
test_sub_1_2
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
carry: CELL [NATURAL_32]
|
|
do
|
|
create carry.put (0)
|
|
create one.make_filled (0, 4)
|
|
sub_1 (one, 3, one, 3, 1, 0, carry)
|
|
assert ("Test sub 1 2", one [0] = 0x0 and one [1] = 0x0 and one [2] = 0x0 and one [3] = 0x0 and carry.item = 0x0)
|
|
end
|
|
|
|
test_sub_n
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
carry: CELL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
create carry.put (0)
|
|
create item.make_filled (0, 4)
|
|
create one.make_filled (0, 4)
|
|
create two.make_filled (0, 4)
|
|
two [0] := 1
|
|
sub_n (item, 0, one, 0, two, 0, 4, carry)
|
|
assert ("Test sub", item [0] = 0xffffffff and item [1] = 0xffffffff and item [2] = 0xffffffff and item [3] = 0xffffffff and carry.item = 1)
|
|
end
|
|
|
|
test_incr_u
|
|
local
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
create item.make_filled (0xffffffff, 4)
|
|
item [3] := 0
|
|
incr_u (item, 0, 1)
|
|
assert ("Test incr u", item [0] = 0x0 and item [1] = 0x0 and item [2] = 0x0 and item [3] = 0x1)
|
|
end
|
|
|
|
big_one: SPECIAL [NATURAL_32]
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
do
|
|
create one.make_filled (0, 65)
|
|
one [0] := 0xffffffff one [1] := 0xffffffff one [2] := 0xffffffff one [3] := 0xffffffff
|
|
one [4] := 0xffffffff one [5] := 0xffffffff one [6] := 0xffffffff one [7] := 0x3fffffff
|
|
--
|
|
one [36] := 0x00000000 one [37] := 0x00000000 one [38] := 0xc0000000 one [39] := 0xffffffff
|
|
one [40] := 0xffffffff one [41] := 0xffffffff one [42] := 0xffffffff one [43] := 0xffffffff
|
|
one [44] := 0xffffffff one [45] := 0xffffffff one [46] := 0xffffffff one [47] := 0xffffffff
|
|
one [48] := 0xffffffff one [49] := 0xffffffff one [50] := 0xffffffff one [51] := 0xffffffff
|
|
one [52] := 0xffffffff one [53] := 0xffffffff one [54] := 0xffffffff one [55] := 0xffffffff
|
|
one [56] := 0xffffffff one [57] := 0x01ffffff one [58] := 0x00000000 one [59] := 0x00000000
|
|
one [63] := 0xffffffff one [64] := 0xffffffff
|
|
|
|
Result := one
|
|
end
|
|
|
|
big_two: SPECIAL [NATURAL_32]
|
|
local
|
|
two: SPECIAL [NATURAL_32]
|
|
do
|
|
create two.make_filled (0, 65)
|
|
two [0] := 0xffffffff
|
|
two [40] := 0x00000000 two [41] := 0x00000000 two [42] := 0x00000000 two [43] := 0xfff80000
|
|
two [44] := 0xffffffff two [45] := 0xffffffff two [46] := 0xffffffff two [47] := 0xffffffff
|
|
two [48] := 0xffffffff two [49] := 0xffffffff two [50] := 0xffffffff two [51] := 0xffffffff
|
|
two [52] := 0xffffffff two [53] := 0xffffffff two [54] := 0xffffffff two [55] := 0xffffffff
|
|
two [56] := 0xffffffff two [57] := 0xffffffff two [58] := 0xffffffff two [59] := 0xffffffff
|
|
two [60] := 0xffffffff two [61] := 0xffffffff two [62] := 0xffffffff two [63] := 0xffffffff
|
|
two [64] := 0xffffffff
|
|
|
|
Result := two
|
|
end
|
|
|
|
test_kara_n_odd
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
ref: SPECIAL [NATURAL_32]
|
|
workspace: SPECIAL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
one := big_one
|
|
two := big_two
|
|
create ref.make_filled (0, 130)
|
|
ref [0] := 0x00000001 ref [1] := 0xffffffff ref [2] := 0xffffffff ref [3] := 0xffffffff
|
|
ref [4] := 0xffffffff ref [5] := 0xffffffff ref [6] := 0xffffffff ref [7] := 0xbfffffff
|
|
ref [8] := 0x3fffffff
|
|
ref [36] := 0x00000000 ref [37] := 0x00000000 ref [38] := 0x40000000 ref [39] := 0xc0000000
|
|
ref [40] := 0xffffffff ref [41] := 0xffffffff ref [42] := 0xffffffff ref [43] := 0x0007ffff
|
|
ref [48] := 0x00000000 ref [49] := 0x00000000 ref [50] := 0x00000000 ref [51] := 0xfffe0000
|
|
ref [52] := 0xffffffff ref [53] := 0xffffffff ref [54] := 0xffffffff ref [55] := 0xffffffff
|
|
ref [56] := 0xffffffff ref [57] := 0xfdffffff ref [58] := 0x01ffffff
|
|
ref [60] := 0x00000000 ref [61] := 0x00000000 ref [62] := 0x00000000 ref [63] := 0x00000001
|
|
ref [64] := 0xffffffff ref [65] := 0xfffffffd
|
|
ref [72] := 0x40000000
|
|
ref [80] := 0x00000000 ref [81] := 0x00000000 ref [82] := 0x00020000
|
|
ref [100] := 0x00000000 ref [101] := 0xfffff000 ref [102] := 0xffffffff ref [103] := 0xbfffffff
|
|
ref [104] := 0xffffffff ref [105] := 0xffffffff ref [106] := 0x0007ffff ref [107] := 0x00000000
|
|
ref [108] := 0xfff80000 ref [109] := 0xffffffff ref [110] := 0xffffffff ref [111] := 0xffffffff
|
|
ref [112] := 0xffffffff ref [113] := 0xffffffff ref [114] := 0xffffffff ref [115] := 0xffffffff
|
|
ref [116] := 0xffffffff ref [117] := 0xffffffff ref [118] := 0xffffffff ref [119] := 0xffffffff
|
|
ref [120] := 0xffffffff ref [121] := 0xffffffff ref [122] := 0x01ffffff
|
|
ref [124] := 0x00000000 ref [125] := 0x00000000 ref [126] := 0x00000000 ref [127] := 0x00000000
|
|
ref [128] := 0xffffffff ref [129] := 0xffffffff
|
|
|
|
create workspace.make_filled (0, 2 * 65 + 2 * 32)
|
|
create item.make_filled (0, 65 + 65)
|
|
kara_mul_n (item, 0, one, 0, two, 0, 65, workspace, 0)
|
|
assert ("Test kara mul n odd", item.same_items (ref, 0, 0, ref.count))
|
|
end
|
|
|
|
test_kara_n
|
|
local
|
|
one: SPECIAL [NATURAL_32]
|
|
two: SPECIAL [NATURAL_32]
|
|
ref: SPECIAL [NATURAL_32]
|
|
workspace: SPECIAL [NATURAL_32]
|
|
item: SPECIAL [NATURAL_32]
|
|
do
|
|
one := big_one
|
|
two := big_two
|
|
create ref.make_filled (0, 128)
|
|
ref [0] := 0x00000001 ref [1] := 0xffffffff ref [2] := 0xffffffff ref [3] := 0xffffffff
|
|
ref [4] := 0xffffffff ref [5] := 0xffffffff ref [6] := 0xffffffff ref [7] := 0xbfffffff
|
|
ref [8] := 0x3fffffff
|
|
ref [36] := 0x00000000 ref [37] := 0x00000000 ref [38] := 0x40000000 ref [39] := 0xc0000000
|
|
ref [40] := 0xffffffff ref [41] := 0xffffffff ref [42] := 0xffffffff ref [43] := 0x0007ffff
|
|
ref [48] := 0x00000000 ref [49] := 0x00000000 ref [50] := 0x00000000 ref [51] := 0xfffe0000
|
|
ref [52] := 0xffffffff ref [53] := 0xffffffff ref [54] := 0xffffffff ref [55] := 0xffffffff
|
|
ref [56] := 0xffffffff ref [57] := 0xfdffffff ref [58] := 0x01ffffff
|
|
ref [60] := 0x00000000 ref [61] := 0x00000000 ref [62] := 0x00000000 ref [63] := 0x00000001
|
|
ref [64] := 0xfffffffd
|
|
ref [68] := 0x00000000 ref [69] := 0x00000000 ref [70] := 0x00000000 ref [71] := 0x40000000
|
|
ref [80] := 0x00000000 ref [81] := 0x00000000 ref [82] := 0x00020000
|
|
ref [100] := 0x00000000 ref [101] := 0xfffff000 ref [102] := 0xbfffffff ref [103] := 0xffffffff
|
|
ref [104] := 0xffffffff ref [105] := 0xffffffff ref [106] := 0x0007ffff ref [107] := 0xfff80000
|
|
ref [108] := 0xffffffff ref [109] := 0xffffffff ref [110] := 0xffffffff ref [111] := 0xffffffff
|
|
ref [112] := 0xffffffff ref [113] := 0xffffffff ref [114] := 0xffffffff ref [115] := 0xffffffff
|
|
ref [116] := 0xffffffff ref [117] := 0xffffffff ref [118] := 0xffffffff ref [119] := 0xffffffff
|
|
ref [120] := 0xffffffff ref [121] := 0x01ffffff
|
|
ref [124] := 0x00000000 ref [125] := 0x00000000 ref [126] := 0x00000000 ref [127] := 0xffffffff
|
|
|
|
create workspace.make_filled (0, 2 * 64 + 2 * 32)
|
|
create item.make_filled (0, 64 + 64)
|
|
kara_mul_n (item, 0, one, 0, two, 0, 64, workspace, 0)
|
|
assert ("Test kara mul n", item.same_items (ref, 0, 0, ref.count))
|
|
end
|
|
end
|