kmx git

-170141183460469231731687303715884105728 / -170141183460469231731687303715884105728
1
-170141183460469231731687303715884105728 / -170141183460469231731687303715884105727
1
-170141183460469231731687303715884105728 / -9223372036854775808
18446744073709551616
-170141183460469231731687303715884105728 / -9223372036854775807
18446744073709551618
-170141183460469231731687303715884105728 / -2147483648
79228162514264337593543950336
-170141183460469231731687303715884105728 / -2147483647
79228162551157825758142922760
-170141183460469231731687303715884105728 / -32768
5192296858534827628530496329220096
-170141183460469231731687303715884105728 / -32767
5192455319695707014120526862876800
-170141183460469231731687303715884105728 / -128
1329227995784915872903807060280344576
-170141183460469231731687303715884105728 / -127
1339694357956450643556592942644756738
-170141183460469231731687303715884105728 / 255
-667220327295957771496812955748565120
-170141183460469231731687303715884105728 / 256
-664613997892457936451903530140172288
-170141183460469231731687303715884105728 / 65535
-2596188043953143079754136014585856
-170141183460469231731687303715884105728 / 65536
-2596148429267413814265248164610048
-170141183460469231731687303715884105728 / 4294967295
-39614081266355540835774234624
-170141183460469231731687303715884105728 / 4294967296
-39614081257132168796771975168
-170141183460469231731687303715884105728 / 18446744073709551615
-9223372036854775808
-170141183460469231731687303715884105728 / 18446744073709551616
-9223372036854775808
-170141183460469231731687303715884105728 / 340282366920938463463374607431768211455
0
-170141183460469231731687303715884105728 / 340282366920938463463374607431768211456
0
-170141183460469231731687303715884105727 / -170141183460469231731687303715884105728
0
-170141183460469231731687303715884105727 / -170141183460469231731687303715884105727
1
-170141183460469231731687303715884105727 / -9223372036854775808
18446744073709551615
-170141183460469231731687303715884105727 / -9223372036854775807
18446744073709551618
-170141183460469231731687303715884105727 / -2147483648
79228162514264337593543950335
-170141183460469231731687303715884105727 / -2147483647
79228162551157825758142922760
-170141183460469231731687303715884105727 / -32768
5192296858534827628530496329220095
-170141183460469231731687303715884105727 / -32767
5192455319695707014120526862876800
-170141183460469231731687303715884105727 / -128
1329227995784915872903807060280344575
-170141183460469231731687303715884105727 / -127
1339694357956450643556592942644756738
-170141183460469231731687303715884105727 / 255
-667220327295957771496812955748565120
-170141183460469231731687303715884105727 / 256
-664613997892457936451903530140172287
-170141183460469231731687303715884105727 / 65535
-2596188043953143079754136014585856
-170141183460469231731687303715884105727 / 65536
-2596148429267413814265248164610047
-170141183460469231731687303715884105727 / 4294967295
-39614081266355540835774234624
-170141183460469231731687303715884105727 / 4294967296
-39614081257132168796771975167
-170141183460469231731687303715884105727 / 18446744073709551615
-9223372036854775808
-170141183460469231731687303715884105727 / 18446744073709551616
-9223372036854775807
-170141183460469231731687303715884105727 / 340282366920938463463374607431768211455
0
-170141183460469231731687303715884105727 / 340282366920938463463374607431768211456
0
-9223372036854775808 / -170141183460469231731687303715884105728
0
-9223372036854775808 / -170141183460469231731687303715884105727
0
-9223372036854775808 / -9223372036854775808
1
-9223372036854775808 / -9223372036854775807
1
-9223372036854775808 / -2147483648
4294967296
-9223372036854775808 / -2147483647
4294967298
-9223372036854775808 / -32768
281474976710656
-9223372036854775808 / -32767
281483566907400
-9223372036854775808 / -128
72057594037927936
-9223372036854775808 / -127
72624976668147841
-9223372036854775808 / 255
-36170086419038336
-9223372036854775808 / 256
-36028797018963968
-9223372036854775808 / 65535
-140739635871744
-9223372036854775808 / 65536
-140737488355328
-9223372036854775808 / 4294967295
-2147483648
-9223372036854775808 / 4294967296
-2147483648
-9223372036854775808 / 18446744073709551615
0
-9223372036854775808 / 18446744073709551616
0
-9223372036854775808 / 340282366920938463463374607431768211455
0
-9223372036854775808 / 340282366920938463463374607431768211456
0
-9223372036854775807 / -170141183460469231731687303715884105728
0
-9223372036854775807 / -170141183460469231731687303715884105727
0
-9223372036854775807 / -9223372036854775808
0
-9223372036854775807 / -9223372036854775807
1
-9223372036854775807 / -2147483648
4294967295
-9223372036854775807 / -2147483647
4294967298
-9223372036854775807 / -32768
281474976710655
-9223372036854775807 / -32767
281483566907400
-9223372036854775807 / -128
72057594037927935
-9223372036854775807 / -127
72624976668147841
-9223372036854775807 / 255
-36170086419038336
-9223372036854775807 / 256
-36028797018963967
-9223372036854775807 / 65535
-140739635871744
-9223372036854775807 / 65536
-140737488355327
-9223372036854775807 / 4294967295
-2147483648
-9223372036854775807 / 4294967296
-2147483647
-9223372036854775807 / 18446744073709551615
0
-9223372036854775807 / 18446744073709551616
0
-9223372036854775807 / 340282366920938463463374607431768211455
0
-9223372036854775807 / 340282366920938463463374607431768211456
0
-2147483648 / -170141183460469231731687303715884105728
0
-2147483648 / -170141183460469231731687303715884105727
0
-2147483648 / -9223372036854775808
0
-2147483648 / -9223372036854775807
0
-2147483648 / -2147483648
1
-2147483648 / -2147483647
1
-2147483648 / -32768
65536
-2147483648 / -32767
65538
-2147483648 / -128
16777216
-2147483648 / -127
16909320
-2147483648 / 255
-8421504
-2147483648 / 256
-8388608
-2147483648 / 65535
-32768
-2147483648 / 65536
-32768
-2147483648 / 4294967295
0
-2147483648 / 4294967296
0
-2147483648 / 18446744073709551615
0
-2147483648 / 18446744073709551616
0
-2147483648 / 340282366920938463463374607431768211455
0
-2147483648 / 340282366920938463463374607431768211456
0
-2147483647 / -170141183460469231731687303715884105728
0
-2147483647 / -170141183460469231731687303715884105727
0
-2147483647 / -9223372036854775808
0
-2147483647 / -9223372036854775807
0
-2147483647 / -2147483648
0
-2147483647 / -2147483647
1
-2147483647 / -32768
65535
-2147483647 / -32767
65538
-2147483647 / -128
16777215
-2147483647 / -127
16909320
-2147483647 / 255
-8421504
-2147483647 / 256
-8388607
-2147483647 / 65535
-32768
-2147483647 / 65536
-32767
-2147483647 / 4294967295
0
-2147483647 / 4294967296
0
-2147483647 / 18446744073709551615
0
-2147483647 / 18446744073709551616
0
-2147483647 / 340282366920938463463374607431768211455
0
-2147483647 / 340282366920938463463374607431768211456
0
-32768 / -170141183460469231731687303715884105728
0
-32768 / -170141183460469231731687303715884105727
0
-32768 / -9223372036854775808
0
-32768 / -9223372036854775807
0
-32768 / -2147483648
0
-32768 / -2147483647
0
-32768 / -32768
1
-32768 / -32767
1
-32768 / -128
256
-32768 / -127
258
-32768 / 255
-128
-32768 / 256
-128
-32768 / 65535
0
-32768 / 65536
0
-32768 / 4294967295
0
-32768 / 4294967296
0
-32768 / 18446744073709551615
0
-32768 / 18446744073709551616
0
-32768 / 340282366920938463463374607431768211455
0
-32768 / 340282366920938463463374607431768211456
0
-32767 / -170141183460469231731687303715884105728
0
-32767 / -170141183460469231731687303715884105727
0
-32767 / -9223372036854775808
0
-32767 / -9223372036854775807
0
-32767 / -2147483648
0
-32767 / -2147483647
0
-32767 / -32768
0
-32767 / -32767
1
-32767 / -128
255
-32767 / -127
258
-32767 / 255
-128
-32767 / 256
-127
-32767 / 65535
0
-32767 / 65536
0
-32767 / 4294967295
0
-32767 / 4294967296
0
-32767 / 18446744073709551615
0
-32767 / 18446744073709551616
0
-32767 / 340282366920938463463374607431768211455
0
-32767 / 340282366920938463463374607431768211456
0
-128 / -170141183460469231731687303715884105728
0
-128 / -170141183460469231731687303715884105727
0
-128 / -9223372036854775808
0
-128 / -9223372036854775807
0
-128 / -2147483648
0
-128 / -2147483647
0
-128 / -32768
0
-128 / -32767
0
-128 / -128
1
-128 / -127
1
-128 / 255
0
-128 / 256
0
-128 / 65535
0
-128 / 65536
0
-128 / 4294967295
0
-128 / 4294967296
0
-128 / 18446744073709551615
0
-128 / 18446744073709551616
0
-128 / 340282366920938463463374607431768211455
0
-128 / 340282366920938463463374607431768211456
0
-127 / -170141183460469231731687303715884105728
0
-127 / -170141183460469231731687303715884105727
0
-127 / -9223372036854775808
0
-127 / -9223372036854775807
0
-127 / -2147483648
0
-127 / -2147483647
0
-127 / -32768
0
-127 / -32767
0
-127 / -128
0
-127 / -127
1
-127 / 255
0
-127 / 256
0
-127 / 65535
0
-127 / 65536
0
-127 / 4294967295
0
-127 / 4294967296
0
-127 / 18446744073709551615
0
-127 / 18446744073709551616
0
-127 / 340282366920938463463374607431768211455
0
-127 / 340282366920938463463374607431768211456
0
255 / -170141183460469231731687303715884105728
0
255 / -170141183460469231731687303715884105727
0
255 / -9223372036854775808
0
255 / -9223372036854775807
0
255 / -2147483648
0
255 / -2147483647
0
255 / -32768
0
255 / -32767
0
255 / -128
-1
255 / -127
-2
255 / 255
1
255 / 256
0
255 / 65535
0
255 / 65536
0
255 / 4294967295
0
255 / 4294967296
0
255 / 18446744073709551615
0
255 / 18446744073709551616
0
255 / 340282366920938463463374607431768211455
0
255 / 340282366920938463463374607431768211456
0
256 / -170141183460469231731687303715884105728
0
256 / -170141183460469231731687303715884105727
0
256 / -9223372036854775808
0
256 / -9223372036854775807
0
256 / -2147483648
0
256 / -2147483647
0
256 / -32768
0
256 / -32767
0
256 / -128
-2
256 / -127
-2
256 / 255
1
256 / 256
1
256 / 65535
0
256 / 65536
0
256 / 4294967295
0
256 / 4294967296
0
256 / 18446744073709551615
0
256 / 18446744073709551616
0
256 / 340282366920938463463374607431768211455
0
256 / 340282366920938463463374607431768211456
0
65535 / -170141183460469231731687303715884105728
0
65535 / -170141183460469231731687303715884105727
0
65535 / -9223372036854775808
0
65535 / -9223372036854775807
0
65535 / -2147483648
0
65535 / -2147483647
0
65535 / -32768
-1
65535 / -32767
-2
65535 / -128
-511
65535 / -127
-516
65535 / 255
257
65535 / 256
255
65535 / 65535
1
65535 / 65536
0
65535 / 4294967295
0
65535 / 4294967296
0
65535 / 18446744073709551615
0
65535 / 18446744073709551616
0
65535 / 340282366920938463463374607431768211455
0
65535 / 340282366920938463463374607431768211456
0
65536 / -170141183460469231731687303715884105728
0
65536 / -170141183460469231731687303715884105727
0
65536 / -9223372036854775808
0
65536 / -9223372036854775807
0
65536 / -2147483648
0
65536 / -2147483647
0
65536 / -32768
-2
65536 / -32767
-2
65536 / -128
-512
65536 / -127
-516
65536 / 255
257
65536 / 256
256
65536 / 65535
1
65536 / 65536
1
65536 / 4294967295
0
65536 / 4294967296
0
65536 / 18446744073709551615
0
65536 / 18446744073709551616
0
65536 / 340282366920938463463374607431768211455
0
65536 / 340282366920938463463374607431768211456
0
4294967295 / -170141183460469231731687303715884105728
0
4294967295 / -170141183460469231731687303715884105727
0
4294967295 / -9223372036854775808
0
4294967295 / -9223372036854775807
0
4294967295 / -2147483648
-1
4294967295 / -2147483647
-2
4294967295 / -32768
-131071
4294967295 / -32767
-131076
4294967295 / -128
-33554431
4294967295 / -127
-33818640
4294967295 / 255
16843009
4294967295 / 256
16777215
4294967295 / 65535
65537
4294967295 / 65536
65535
4294967295 / 4294967295
1
4294967295 / 4294967296
0
4294967295 / 18446744073709551615
0
4294967295 / 18446744073709551616
0
4294967295 / 340282366920938463463374607431768211455
0
4294967295 / 340282366920938463463374607431768211456
0
4294967296 / -170141183460469231731687303715884105728
0
4294967296 / -170141183460469231731687303715884105727
0
4294967296 / -9223372036854775808
0
4294967296 / -9223372036854775807
0
4294967296 / -2147483648
-2
4294967296 / -2147483647
-2
4294967296 / -32768
-131072
4294967296 / -32767
-131076
4294967296 / -128
-33554432
4294967296 / -127
-33818640
4294967296 / 255
16843009
4294967296 / 256
16777216
4294967296 / 65535
65537
4294967296 / 65536
65536
4294967296 / 4294967295
1
4294967296 / 4294967296
1
4294967296 / 18446744073709551615
0
4294967296 / 18446744073709551616
0
4294967296 / 340282366920938463463374607431768211455
0
4294967296 / 340282366920938463463374607431768211456
0
18446744073709551615 / -170141183460469231731687303715884105728
0
18446744073709551615 / -170141183460469231731687303715884105727
0
18446744073709551615 / -9223372036854775808
-1
18446744073709551615 / -9223372036854775807
-2
18446744073709551615 / -2147483648
-8589934591
18446744073709551615 / -2147483647
-8589934596
18446744073709551615 / -32768
-562949953421311
18446744073709551615 / -32767
-562967133814800
18446744073709551615 / -128
-144115188075855871
18446744073709551615 / -127
-145249953336295682
18446744073709551615 / 255
72340172838076673
18446744073709551615 / 256
72057594037927935
18446744073709551615 / 65535
281479271743489
18446744073709551615 / 65536
281474976710655
18446744073709551615 / 4294967295
4294967297
18446744073709551615 / 4294967296
4294967295
18446744073709551615 / 18446744073709551615
1
18446744073709551615 / 18446744073709551616
0
18446744073709551615 / 340282366920938463463374607431768211455
0
18446744073709551615 / 340282366920938463463374607431768211456
0
18446744073709551616 / -170141183460469231731687303715884105728
0
18446744073709551616 / -170141183460469231731687303715884105727
0
18446744073709551616 / -9223372036854775808
-2
18446744073709551616 / -9223372036854775807
-2
18446744073709551616 / -2147483648
-8589934592
18446744073709551616 / -2147483647
-8589934596
18446744073709551616 / -32768
-562949953421312
18446744073709551616 / -32767
-562967133814800
18446744073709551616 / -128
-144115188075855872
18446744073709551616 / -127
-145249953336295682
18446744073709551616 / 255
72340172838076673
18446744073709551616 / 256
72057594037927936
18446744073709551616 / 65535
281479271743489
18446744073709551616 / 65536
281474976710656
18446744073709551616 / 4294967295
4294967297
18446744073709551616 / 4294967296
4294967296
18446744073709551616 / 18446744073709551615
1
18446744073709551616 / 18446744073709551616
1
18446744073709551616 / 340282366920938463463374607431768211455
0
18446744073709551616 / 340282366920938463463374607431768211456
0
340282366920938463463374607431768211455 / -170141183460469231731687303715884105728
-1
340282366920938463463374607431768211455 / -170141183460469231731687303715884105727
-2
340282366920938463463374607431768211455 / -9223372036854775808
-36893488147419103231
340282366920938463463374607431768211455 / -9223372036854775807
-36893488147419103236
340282366920938463463374607431768211455 / -2147483648
-158456325028528675187087900671
340282366920938463463374607431768211455 / -2147483647
-158456325102315651516285845520
340282366920938463463374607431768211455 / -32768
-10384593717069655257060992658440191
340282366920938463463374607431768211455 / -32767
-10384910639391414028241053725753600
340282366920938463463374607431768211455 / -128
-2658455991569831745807614120560689151
340282366920938463463374607431768211455 / -127
-2679388715912901287113185885289513476
340282366920938463463374607431768211455 / 255
1334440654591915542993625911497130241
340282366920938463463374607431768211455 / 256
1329227995784915872903807060280344575
340282366920938463463374607431768211455 / 65535
5192376087906286159508272029171713
340282366920938463463374607431768211455 / 65536
5192296858534827628530496329220095
340282366920938463463374607431768211455 / 4294967295
79228162532711081671548469249
340282366920938463463374607431768211455 / 4294967296
79228162514264337593543950335
340282366920938463463374607431768211455 / 18446744073709551615
18446744073709551617
340282366920938463463374607431768211455 / 18446744073709551616
18446744073709551615
340282366920938463463374607431768211455 / 340282366920938463463374607431768211455
1
340282366920938463463374607431768211455 / 340282366920938463463374607431768211456
0
340282366920938463463374607431768211456 / -170141183460469231731687303715884105728
-2
340282366920938463463374607431768211456 / -170141183460469231731687303715884105727
-2
340282366920938463463374607431768211456 / -9223372036854775808
-36893488147419103232
340282366920938463463374607431768211456 / -9223372036854775807
-36893488147419103236
340282366920938463463374607431768211456 / -2147483648
-158456325028528675187087900672
340282366920938463463374607431768211456 / -2147483647
-158456325102315651516285845520
340282366920938463463374607431768211456 / -32768
-10384593717069655257060992658440192
340282366920938463463374607431768211456 / -32767
-10384910639391414028241053725753600
340282366920938463463374607431768211456 / -128
-2658455991569831745807614120560689152
340282366920938463463374607431768211456 / -127
-2679388715912901287113185885289513476
340282366920938463463374607431768211456 / 255
1334440654591915542993625911497130241
340282366920938463463374607431768211456 / 256
1329227995784915872903807060280344576
340282366920938463463374607431768211456 / 65535
5192376087906286159508272029171713
340282366920938463463374607431768211456 / 65536
5192296858534827628530496329220096
340282366920938463463374607431768211456 / 4294967295
79228162532711081671548469249
340282366920938463463374607431768211456 / 4294967296
79228162514264337593543950336
340282366920938463463374607431768211456 / 18446744073709551615
18446744073709551617
340282366920938463463374607431768211456 / 18446744073709551616
18446744073709551616
340282366920938463463374607431768211456 / 340282366920938463463374607431768211455
1
340282366920938463463374607431768211456 / 340282366920938463463374607431768211456
1
kc3-lang/kc3/test/ic3/integer_div.out.expected

Commit

test/ic3/integer_div.out.expected
