kmx git

-170141183460469231731687303715884105728 - -170141183460469231731687303715884105728
0
-170141183460469231731687303715884105728 - -170141183460469231731687303715884105727
-1
-170141183460469231731687303715884105728 - -9223372036854775808
-170141183460469231722463931679029329920
-170141183460469231731687303715884105728 - -9223372036854775807
-170141183460469231722463931679029329921
-170141183460469231731687303715884105728 - -2147483648
-170141183460469231731687303713736622080
-170141183460469231731687303715884105728 - -2147483647
-170141183460469231731687303713736622081
-170141183460469231731687303715884105728 - -32768
-170141183460469231731687303715884072960
-170141183460469231731687303715884105728 - -32767
-170141183460469231731687303715884072961
-170141183460469231731687303715884105728 - -128
-170141183460469231731687303715884105600
-170141183460469231731687303715884105728 - -127
-170141183460469231731687303715884105601
-170141183460469231731687303715884105728 - 255
-170141183460469231731687303715884105983
-170141183460469231731687303715884105728 - 256
-170141183460469231731687303715884105984
-170141183460469231731687303715884105728 - 65535
-170141183460469231731687303715884171263
-170141183460469231731687303715884105728 - 65536
-170141183460469231731687303715884171264
-170141183460469231731687303715884105728 - 4294967295
-170141183460469231731687303720179073023
-170141183460469231731687303715884105728 - 4294967296
-170141183460469231731687303720179073024
-170141183460469231731687303715884105728 - 18446744073709551615
-170141183460469231750134047789593657343
-170141183460469231731687303715884105728 - 18446744073709551616
-170141183460469231750134047789593657344
-170141183460469231731687303715884105728 - 340282366920938463463374607431768211455
-510423550381407695195061911147652317183
-170141183460469231731687303715884105728 - 340282366920938463463374607431768211456
-510423550381407695195061911147652317184
-170141183460469231731687303715884105727 - -170141183460469231731687303715884105728
1
-170141183460469231731687303715884105727 - -170141183460469231731687303715884105727
0
-170141183460469231731687303715884105727 - -9223372036854775808
-170141183460469231722463931679029329919
-170141183460469231731687303715884105727 - -9223372036854775807
-170141183460469231722463931679029329920
-170141183460469231731687303715884105727 - -2147483648
-170141183460469231731687303713736622079
-170141183460469231731687303715884105727 - -2147483647
-170141183460469231731687303713736622080
-170141183460469231731687303715884105727 - -32768
-170141183460469231731687303715884072959
-170141183460469231731687303715884105727 - -32767
-170141183460469231731687303715884072960
-170141183460469231731687303715884105727 - -128
-170141183460469231731687303715884105599
-170141183460469231731687303715884105727 - -127
-170141183460469231731687303715884105600
-170141183460469231731687303715884105727 - 255
-170141183460469231731687303715884105982
-170141183460469231731687303715884105727 - 256
-170141183460469231731687303715884105983
-170141183460469231731687303715884105727 - 65535
-170141183460469231731687303715884171262
-170141183460469231731687303715884105727 - 65536
-170141183460469231731687303715884171263
-170141183460469231731687303715884105727 - 4294967295
-170141183460469231731687303720179073022
-170141183460469231731687303715884105727 - 4294967296
-170141183460469231731687303720179073023
-170141183460469231731687303715884105727 - 18446744073709551615
-170141183460469231750134047789593657342
-170141183460469231731687303715884105727 - 18446744073709551616
-170141183460469231750134047789593657343
-170141183460469231731687303715884105727 - 340282366920938463463374607431768211455
-510423550381407695195061911147652317182
-170141183460469231731687303715884105727 - 340282366920938463463374607431768211456
-510423550381407695195061911147652317183
-9223372036854775808 - -170141183460469231731687303715884105728
170141183460469231722463931679029329920
-9223372036854775808 - -170141183460469231731687303715884105727
170141183460469231722463931679029329919
-9223372036854775808 - -9223372036854775808
0
-9223372036854775808 - -9223372036854775807
-1
-9223372036854775808 - -2147483648
-9223372034707292160
-9223372036854775808 - -2147483647
-9223372034707292161
-9223372036854775808 - -32768
-9223372036854743040
-9223372036854775808 - -32767
-9223372036854743041
-9223372036854775808 - -128
-9223372036854775680
-9223372036854775808 - -127
-9223372036854775681
-9223372036854775808 - 255
-9223372036854776063
-9223372036854775808 - 256
-9223372036854776064
-9223372036854775808 - 65535
-9223372036854841343
-9223372036854775808 - 65536
-9223372036854841344
-9223372036854775808 - 4294967295
-9223372041149743103
-9223372036854775808 - 4294967296
-9223372041149743104
-9223372036854775808 - 18446744073709551615
-27670116110564327423
-9223372036854775808 - 18446744073709551616
-27670116110564327424
-9223372036854775808 - 340282366920938463463374607431768211455
-340282366920938463472597979468622987263
-9223372036854775808 - 340282366920938463463374607431768211456
-340282366920938463472597979468622987264
-9223372036854775807 - -170141183460469231731687303715884105728
170141183460469231722463931679029329921
-9223372036854775807 - -170141183460469231731687303715884105727
170141183460469231722463931679029329920
-9223372036854775807 - -9223372036854775808
1
-9223372036854775807 - -9223372036854775807
0
-9223372036854775807 - -2147483648
-9223372034707292159
-9223372036854775807 - -2147483647
-9223372034707292160
-9223372036854775807 - -32768
-9223372036854743039
-9223372036854775807 - -32767
-9223372036854743040
-9223372036854775807 - -128
-9223372036854775679
-9223372036854775807 - -127
-9223372036854775680
-9223372036854775807 - 255
-9223372036854776062
-9223372036854775807 - 256
-9223372036854776063
-9223372036854775807 - 65535
-9223372036854841342
-9223372036854775807 - 65536
-9223372036854841343
-9223372036854775807 - 4294967295
-9223372041149743102
-9223372036854775807 - 4294967296
-9223372041149743103
-9223372036854775807 - 18446744073709551615
-27670116110564327422
-9223372036854775807 - 18446744073709551616
-27670116110564327423
-9223372036854775807 - 340282366920938463463374607431768211455
-340282366920938463472597979468622987262
-9223372036854775807 - 340282366920938463463374607431768211456
-340282366920938463472597979468622987263
-2147483648 - -170141183460469231731687303715884105728
170141183460469231731687303713736622080
-2147483648 - -170141183460469231731687303715884105727
170141183460469231731687303713736622079
-2147483648 - -9223372036854775808
9223372034707292160
-2147483648 - -9223372036854775807
9223372034707292159
-2147483648 - -2147483648
0
-2147483648 - -2147483647
-1
-2147483648 - -32768
-2147450880
-2147483648 - -32767
-2147450881
-2147483648 - -128
-2147483520
-2147483648 - -127
-2147483521
-2147483648 - 255
-2147483903
-2147483648 - 256
-2147483904
-2147483648 - 65535
-2147549183
-2147483648 - 65536
-2147549184
-2147483648 - 4294967295
-6442450943
-2147483648 - 4294967296
-6442450944
-2147483648 - 18446744073709551615
-18446744075857035263
-2147483648 - 18446744073709551616
-18446744075857035264
-2147483648 - 340282366920938463463374607431768211455
-340282366920938463463374607433915695103
-2147483648 - 340282366920938463463374607431768211456
-340282366920938463463374607433915695104
-2147483647 - -170141183460469231731687303715884105728
170141183460469231731687303713736622081
-2147483647 - -170141183460469231731687303715884105727
170141183460469231731687303713736622080
-2147483647 - -9223372036854775808
9223372034707292161
-2147483647 - -9223372036854775807
9223372034707292160
-2147483647 - -2147483648
1
-2147483647 - -2147483647
0
-2147483647 - -32768
-2147450879
-2147483647 - -32767
-2147450880
-2147483647 - -128
-2147483519
-2147483647 - -127
-2147483520
-2147483647 - 255
-2147483902
-2147483647 - 256
-2147483903
-2147483647 - 65535
-2147549182
-2147483647 - 65536
-2147549183
-2147483647 - 4294967295
-6442450942
-2147483647 - 4294967296
-6442450943
-2147483647 - 18446744073709551615
-18446744075857035262
-2147483647 - 18446744073709551616
-18446744075857035263
-2147483647 - 340282366920938463463374607431768211455
-340282366920938463463374607433915695102
-2147483647 - 340282366920938463463374607431768211456
-340282366920938463463374607433915695103
-32768 - -170141183460469231731687303715884105728
170141183460469231731687303715884072960
-32768 - -170141183460469231731687303715884105727
170141183460469231731687303715884072959
-32768 - -9223372036854775808
9223372036854743040
-32768 - -9223372036854775807
9223372036854743039
-32768 - -2147483648
2147450880
-32768 - -2147483647
2147450879
-32768 - -32768
0
-32768 - -32767
-1
-32768 - -128
-32640
-32768 - -127
-32641
-32768 - 255
-33023
-32768 - 256
-33024
-32768 - 65535
-98303
-32768 - 65536
-98304
-32768 - 4294967295
-4295000063
-32768 - 4294967296
-4295000064
-32768 - 18446744073709551615
-18446744073709584383
-32768 - 18446744073709551616
-18446744073709584384
-32768 - 340282366920938463463374607431768211455
-340282366920938463463374607431768244223
-32768 - 340282366920938463463374607431768211456
-340282366920938463463374607431768244224
-32767 - -170141183460469231731687303715884105728
170141183460469231731687303715884072961
-32767 - -170141183460469231731687303715884105727
170141183460469231731687303715884072960
-32767 - -9223372036854775808
9223372036854743041
-32767 - -9223372036854775807
9223372036854743040
-32767 - -2147483648
2147450881
-32767 - -2147483647
2147450880
-32767 - -32768
1
-32767 - -32767
0
-32767 - -128
-32639
-32767 - -127
-32640
-32767 - 255
-33022
-32767 - 256
-33023
-32767 - 65535
-98302
-32767 - 65536
-98303
-32767 - 4294967295
-4295000062
-32767 - 4294967296
-4295000063
-32767 - 18446744073709551615
-18446744073709584382
-32767 - 18446744073709551616
-18446744073709584383
-32767 - 340282366920938463463374607431768211455
-340282366920938463463374607431768244222
-32767 - 340282366920938463463374607431768211456
-340282366920938463463374607431768244223
-128 - -170141183460469231731687303715884105728
170141183460469231731687303715884105600
-128 - -170141183460469231731687303715884105727
170141183460469231731687303715884105599
-128 - -9223372036854775808
9223372036854775680
-128 - -9223372036854775807
9223372036854775679
-128 - -2147483648
2147483520
-128 - -2147483647
2147483519
-128 - -32768
32640
-128 - -32767
32639
-128 - -128
0
-128 - -127
-1
-128 - 255
-383
-128 - 256
-384
-128 - 65535
-65663
-128 - 65536
-65664
-128 - 4294967295
-4294967423
-128 - 4294967296
-4294967424
-128 - 18446744073709551615
-18446744073709551743
-128 - 18446744073709551616
-18446744073709551744
-128 - 340282366920938463463374607431768211455
-340282366920938463463374607431768211583
-128 - 340282366920938463463374607431768211456
-340282366920938463463374607431768211584
-127 - -170141183460469231731687303715884105728
170141183460469231731687303715884105601
-127 - -170141183460469231731687303715884105727
170141183460469231731687303715884105600
-127 - -9223372036854775808
9223372036854775681
-127 - -9223372036854775807
9223372036854775680
-127 - -2147483648
2147483521
-127 - -2147483647
2147483520
-127 - -32768
32641
-127 - -32767
32640
-127 - -128
1
-127 - -127
0
-127 - 255
-382
-127 - 256
-383
-127 - 65535
-65662
-127 - 65536
-65663
-127 - 4294967295
-4294967422
-127 - 4294967296
-4294967423
-127 - 18446744073709551615
-18446744073709551742
-127 - 18446744073709551616
-18446744073709551743
-127 - 340282366920938463463374607431768211455
-340282366920938463463374607431768211582
-127 - 340282366920938463463374607431768211456
-340282366920938463463374607431768211583
255 - -170141183460469231731687303715884105728
170141183460469231731687303715884105983
255 - -170141183460469231731687303715884105727
170141183460469231731687303715884105982
255 - -9223372036854775808
9223372036854776063
255 - -9223372036854775807
9223372036854776062
255 - -2147483648
2147483903
255 - -2147483647
2147483902
255 - -32768
33023
255 - -32767
33022
255 - -128
383
255 - -127
382
255 - 255
0
255 - 256
-1
255 - 65535
-65280
255 - 65536
-65281
255 - 4294967295
-4294967040
255 - 4294967296
-4294967041
255 - 18446744073709551615
-18446744073709551360
255 - 18446744073709551616
-18446744073709551361
255 - 340282366920938463463374607431768211455
-340282366920938463463374607431768211200
255 - 340282366920938463463374607431768211456
-340282366920938463463374607431768211201
256 - -170141183460469231731687303715884105728
170141183460469231731687303715884105984
256 - -170141183460469231731687303715884105727
170141183460469231731687303715884105983
256 - -9223372036854775808
9223372036854776064
256 - -9223372036854775807
9223372036854776063
256 - -2147483648
2147483904
256 - -2147483647
2147483903
256 - -32768
33024
256 - -32767
33023
256 - -128
384
256 - -127
383
256 - 255
1
256 - 256
0
256 - 65535
-65279
256 - 65536
-65280
256 - 4294967295
-4294967039
256 - 4294967296
-4294967040
256 - 18446744073709551615
-18446744073709551359
256 - 18446744073709551616
-18446744073709551360
256 - 340282366920938463463374607431768211455
-340282366920938463463374607431768211199
256 - 340282366920938463463374607431768211456
-340282366920938463463374607431768211200
65535 - -170141183460469231731687303715884105728
170141183460469231731687303715884171263
65535 - -170141183460469231731687303715884105727
170141183460469231731687303715884171262
65535 - -9223372036854775808
9223372036854841343
65535 - -9223372036854775807
9223372036854841342
65535 - -2147483648
2147549183
65535 - -2147483647
2147549182
65535 - -32768
98303
65535 - -32767
98302
65535 - -128
65663
65535 - -127
65662
65535 - 255
65280
65535 - 256
65279
65535 - 65535
0
65535 - 65536
-1
65535 - 4294967295
-4294901760
65535 - 4294967296
-4294901761
65535 - 18446744073709551615
-18446744073709486080
65535 - 18446744073709551616
-18446744073709486081
65535 - 340282366920938463463374607431768211455
-340282366920938463463374607431768145920
65535 - 340282366920938463463374607431768211456
-340282366920938463463374607431768145921
65536 - -170141183460469231731687303715884105728
170141183460469231731687303715884171264
65536 - -170141183460469231731687303715884105727
170141183460469231731687303715884171263
65536 - -9223372036854775808
9223372036854841344
65536 - -9223372036854775807
9223372036854841343
65536 - -2147483648
2147549184
65536 - -2147483647
2147549183
65536 - -32768
98304
65536 - -32767
98303
65536 - -128
65664
65536 - -127
65663
65536 - 255
65281
65536 - 256
65280
65536 - 65535
1
65536 - 65536
0
65536 - 4294967295
-4294901759
65536 - 4294967296
-4294901760
65536 - 18446744073709551615
-18446744073709486079
65536 - 18446744073709551616
-18446744073709486080
65536 - 340282366920938463463374607431768211455
-340282366920938463463374607431768145919
65536 - 340282366920938463463374607431768211456
-340282366920938463463374607431768145920
4294967295 - -170141183460469231731687303715884105728
170141183460469231731687303720179073023
4294967295 - -170141183460469231731687303715884105727
170141183460469231731687303720179073022
4294967295 - -9223372036854775808
9223372041149743103
4294967295 - -9223372036854775807
9223372041149743102
4294967295 - -2147483648
6442450943
4294967295 - -2147483647
6442450942
4294967295 - -32768
4295000063
4294967295 - -32767
4295000062
4294967295 - -128
4294967423
4294967295 - -127
4294967422
4294967295 - 255
4294967040
4294967295 - 256
4294967039
4294967295 - 65535
4294901760
4294967295 - 65536
4294901759
4294967295 - 4294967295
0
4294967295 - 4294967296
-1
4294967295 - 18446744073709551615
-18446744069414584320
4294967295 - 18446744073709551616
-18446744069414584321
4294967295 - 340282366920938463463374607431768211455
-340282366920938463463374607427473244160
4294967295 - 340282366920938463463374607431768211456
-340282366920938463463374607427473244161
4294967296 - -170141183460469231731687303715884105728
170141183460469231731687303720179073024
4294967296 - -170141183460469231731687303715884105727
170141183460469231731687303720179073023
4294967296 - -9223372036854775808
9223372041149743104
4294967296 - -9223372036854775807
9223372041149743103
4294967296 - -2147483648
6442450944
4294967296 - -2147483647
6442450943
4294967296 - -32768
4295000064
4294967296 - -32767
4295000063
4294967296 - -128
4294967424
4294967296 - -127
4294967423
4294967296 - 255
4294967041
4294967296 - 256
4294967040
4294967296 - 65535
4294901761
4294967296 - 65536
4294901760
4294967296 - 4294967295
1
4294967296 - 4294967296
0
4294967296 - 18446744073709551615
-18446744069414584319
4294967296 - 18446744073709551616
-18446744069414584320
4294967296 - 340282366920938463463374607431768211455
-340282366920938463463374607427473244159
4294967296 - 340282366920938463463374607431768211456
-340282366920938463463374607427473244160
18446744073709551615 - -170141183460469231731687303715884105728
170141183460469231750134047789593657343
18446744073709551615 - -170141183460469231731687303715884105727
170141183460469231750134047789593657342
18446744073709551615 - -9223372036854775808
27670116110564327423
18446744073709551615 - -9223372036854775807
27670116110564327422
18446744073709551615 - -2147483648
18446744075857035263
18446744073709551615 - -2147483647
18446744075857035262
18446744073709551615 - -32768
18446744073709584383
18446744073709551615 - -32767
18446744073709584382
18446744073709551615 - -128
18446744073709551743
18446744073709551615 - -127
18446744073709551742
18446744073709551615 - 255
18446744073709551360
18446744073709551615 - 256
18446744073709551359
18446744073709551615 - 65535
18446744073709486080
18446744073709551615 - 65536
18446744073709486079
18446744073709551615 - 4294967295
18446744069414584320
18446744073709551615 - 4294967296
18446744069414584319
18446744073709551615 - 18446744073709551615
0
18446744073709551615 - 18446744073709551616
-1
18446744073709551615 - 340282366920938463463374607431768211455
-340282366920938463444927863358058659840
18446744073709551615 - 340282366920938463463374607431768211456
-340282366920938463444927863358058659841
18446744073709551616 - -170141183460469231731687303715884105728
170141183460469231750134047789593657344
18446744073709551616 - -170141183460469231731687303715884105727
170141183460469231750134047789593657343
18446744073709551616 - -9223372036854775808
27670116110564327424
18446744073709551616 - -9223372036854775807
27670116110564327423
18446744073709551616 - -2147483648
18446744075857035264
18446744073709551616 - -2147483647
18446744075857035263
18446744073709551616 - -32768
18446744073709584384
18446744073709551616 - -32767
18446744073709584383
18446744073709551616 - -128
18446744073709551744
18446744073709551616 - -127
18446744073709551743
18446744073709551616 - 255
18446744073709551361
18446744073709551616 - 256
18446744073709551360
18446744073709551616 - 65535
18446744073709486081
18446744073709551616 - 65536
18446744073709486080
18446744073709551616 - 4294967295
18446744069414584321
18446744073709551616 - 4294967296
18446744069414584320
18446744073709551616 - 18446744073709551615
1
18446744073709551616 - 18446744073709551616
0
18446744073709551616 - 340282366920938463463374607431768211455
-340282366920938463444927863358058659839
18446744073709551616 - 340282366920938463463374607431768211456
-340282366920938463444927863358058659840
340282366920938463463374607431768211455 - -170141183460469231731687303715884105728
510423550381407695195061911147652317183
340282366920938463463374607431768211455 - -170141183460469231731687303715884105727
510423550381407695195061911147652317182
340282366920938463463374607431768211455 - -9223372036854775808
340282366920938463472597979468622987263
340282366920938463463374607431768211455 - -9223372036854775807
340282366920938463472597979468622987262
340282366920938463463374607431768211455 - -2147483648
340282366920938463463374607433915695103
340282366920938463463374607431768211455 - -2147483647
340282366920938463463374607433915695102
340282366920938463463374607431768211455 - -32768
340282366920938463463374607431768244223
340282366920938463463374607431768211455 - -32767
340282366920938463463374607431768244222
340282366920938463463374607431768211455 - -128
340282366920938463463374607431768211583
340282366920938463463374607431768211455 - -127
340282366920938463463374607431768211582
340282366920938463463374607431768211455 - 255
340282366920938463463374607431768211200
340282366920938463463374607431768211455 - 256
340282366920938463463374607431768211199
340282366920938463463374607431768211455 - 65535
340282366920938463463374607431768145920
340282366920938463463374607431768211455 - 65536
340282366920938463463374607431768145919
340282366920938463463374607431768211455 - 4294967295
340282366920938463463374607427473244160
340282366920938463463374607431768211455 - 4294967296
340282366920938463463374607427473244159
340282366920938463463374607431768211455 - 18446744073709551615
340282366920938463444927863358058659840
340282366920938463463374607431768211455 - 18446744073709551616
340282366920938463444927863358058659839
340282366920938463463374607431768211455 - 340282366920938463463374607431768211455
0
340282366920938463463374607431768211455 - 340282366920938463463374607431768211456
-1
340282366920938463463374607431768211456 - -170141183460469231731687303715884105728
510423550381407695195061911147652317184
340282366920938463463374607431768211456 - -170141183460469231731687303715884105727
510423550381407695195061911147652317183
340282366920938463463374607431768211456 - -9223372036854775808
340282366920938463472597979468622987264
340282366920938463463374607431768211456 - -9223372036854775807
340282366920938463472597979468622987263
340282366920938463463374607431768211456 - -2147483648
340282366920938463463374607433915695104
340282366920938463463374607431768211456 - -2147483647
340282366920938463463374607433915695103
340282366920938463463374607431768211456 - -32768
340282366920938463463374607431768244224
340282366920938463463374607431768211456 - -32767
340282366920938463463374607431768244223
340282366920938463463374607431768211456 - -128
340282366920938463463374607431768211584
340282366920938463463374607431768211456 - -127
340282366920938463463374607431768211583
340282366920938463463374607431768211456 - 255
340282366920938463463374607431768211201
340282366920938463463374607431768211456 - 256
340282366920938463463374607431768211200
340282366920938463463374607431768211456 - 65535
340282366920938463463374607431768145921
340282366920938463463374607431768211456 - 65536
340282366920938463463374607431768145920
340282366920938463463374607431768211456 - 4294967295
340282366920938463463374607427473244161
340282366920938463463374607431768211456 - 4294967296
340282366920938463463374607427473244160
340282366920938463463374607431768211456 - 18446744073709551615
340282366920938463444927863358058659841
340282366920938463463374607431768211456 - 18446744073709551616
340282366920938463444927863358058659840
340282366920938463463374607431768211456 - 340282366920938463463374607431768211455
1
340282366920938463463374607431768211456 - 340282366920938463463374607431768211456
0
kc3-lang/kc3/test/ic3/integer_sub.out.expected

Commit

test/ic3/integer_sub.out.expected
