Edit

kc3-lang/kc3/test/ikc3/integer_lt.out.expected

Branch :

  • test/ikc3/integer_lt.out.expected
  • -170141183460469231731687303715884105728 < -170141183460469231731687303715884105728
    false
    -170141183460469231731687303715884105728 < -170141183460469231731687303715884105727
    true
    -170141183460469231731687303715884105728 < -9223372036854775808
    true
    -170141183460469231731687303715884105728 < (S64) -9223372036854775807
    true
    -170141183460469231731687303715884105728 < (S64) -2147483648
    true
    -170141183460469231731687303715884105728 < (S32) -2147483647
    true
    -170141183460469231731687303715884105728 < (S32) -32768
    true
    -170141183460469231731687303715884105728 < (S16) -32767
    true
    -170141183460469231731687303715884105728 < (S16) -128
    true
    -170141183460469231731687303715884105728 < (S8) -127
    true
    -170141183460469231731687303715884105728 < (U8) 255
    true
    -170141183460469231731687303715884105728 < (U16) 256
    true
    -170141183460469231731687303715884105728 < (U16) 65535
    true
    -170141183460469231731687303715884105728 < (U32) 65536
    true
    -170141183460469231731687303715884105728 < (U32) 4294967295
    true
    -170141183460469231731687303715884105728 < (U64) 4294967296
    true
    -170141183460469231731687303715884105728 < (U64) 18446744073709551615
    true
    -170141183460469231731687303715884105728 < 18446744073709551616
    true
    -170141183460469231731687303715884105728 < 340282366920938463463374607431768211455
    true
    -170141183460469231731687303715884105728 < 340282366920938463463374607431768211456
    true
    -170141183460469231731687303715884105727 < -170141183460469231731687303715884105728
    false
    -170141183460469231731687303715884105727 < -170141183460469231731687303715884105727
    false
    -170141183460469231731687303715884105727 < -9223372036854775808
    true
    -170141183460469231731687303715884105727 < (S64) -9223372036854775807
    true
    -170141183460469231731687303715884105727 < (S64) -2147483648
    true
    -170141183460469231731687303715884105727 < (S32) -2147483647
    true
    -170141183460469231731687303715884105727 < (S32) -32768
    true
    -170141183460469231731687303715884105727 < (S16) -32767
    true
    -170141183460469231731687303715884105727 < (S16) -128
    true
    -170141183460469231731687303715884105727 < (S8) -127
    true
    -170141183460469231731687303715884105727 < (U8) 255
    true
    -170141183460469231731687303715884105727 < (U16) 256
    true
    -170141183460469231731687303715884105727 < (U16) 65535
    true
    -170141183460469231731687303715884105727 < (U32) 65536
    true
    -170141183460469231731687303715884105727 < (U32) 4294967295
    true
    -170141183460469231731687303715884105727 < (U64) 4294967296
    true
    -170141183460469231731687303715884105727 < (U64) 18446744073709551615
    true
    -170141183460469231731687303715884105727 < 18446744073709551616
    true
    -170141183460469231731687303715884105727 < 340282366920938463463374607431768211455
    true
    -170141183460469231731687303715884105727 < 340282366920938463463374607431768211456
    true
    -9223372036854775808 < -170141183460469231731687303715884105728
    false
    -9223372036854775808 < -170141183460469231731687303715884105727
    false
    -9223372036854775808 < -9223372036854775808
    false
    -9223372036854775808 < (S64) -9223372036854775807
    true
    -9223372036854775808 < (S64) -2147483648
    true
    -9223372036854775808 < (S32) -2147483647
    true
    -9223372036854775808 < (S32) -32768
    true
    -9223372036854775808 < (S16) -32767
    true
    -9223372036854775808 < (S16) -128
    true
    -9223372036854775808 < (S8) -127
    true
    -9223372036854775808 < (U8) 255
    true
    -9223372036854775808 < (U16) 256
    true
    -9223372036854775808 < (U16) 65535
    true
    -9223372036854775808 < (U32) 65536
    true
    -9223372036854775808 < (U32) 4294967295
    true
    -9223372036854775808 < (U64) 4294967296
    true
    -9223372036854775808 < (U64) 18446744073709551615
    true
    -9223372036854775808 < 18446744073709551616
    true
    -9223372036854775808 < 340282366920938463463374607431768211455
    true
    -9223372036854775808 < 340282366920938463463374607431768211456
    true
    (S64) -9223372036854775807 < -170141183460469231731687303715884105728
    false
    (S64) -9223372036854775807 < -170141183460469231731687303715884105727
    false
    (S64) -9223372036854775807 < -9223372036854775808
    false
    (S64) -9223372036854775807 < (S64) -9223372036854775807
    false
    (S64) -9223372036854775807 < (S64) -2147483648
    true
    (S64) -9223372036854775807 < (S32) -2147483647
    true
    (S64) -9223372036854775807 < (S32) -32768
    true
    (S64) -9223372036854775807 < (S16) -32767
    true
    (S64) -9223372036854775807 < (S16) -128
    true
    (S64) -9223372036854775807 < (S8) -127
    true
    (S64) -9223372036854775807 < (U8) 255
    true
    (S64) -9223372036854775807 < (U16) 256
    true
    (S64) -9223372036854775807 < (U16) 65535
    true
    (S64) -9223372036854775807 < (U32) 65536
    true
    (S64) -9223372036854775807 < (U32) 4294967295
    true
    (S64) -9223372036854775807 < (U64) 4294967296
    true
    (S64) -9223372036854775807 < (U64) 18446744073709551615
    true
    (S64) -9223372036854775807 < 18446744073709551616
    true
    (S64) -9223372036854775807 < 340282366920938463463374607431768211455
    true
    (S64) -9223372036854775807 < 340282366920938463463374607431768211456
    true
    (S64) -2147483648 < -170141183460469231731687303715884105728
    false
    (S64) -2147483648 < -170141183460469231731687303715884105727
    false
    (S64) -2147483648 < -9223372036854775808
    false
    (S64) -2147483648 < (S64) -9223372036854775807
    false
    (S64) -2147483648 < (S64) -2147483648
    false
    (S64) -2147483648 < (S32) -2147483647
    true
    (S64) -2147483648 < (S32) -32768
    true
    (S64) -2147483648 < (S16) -32767
    true
    (S64) -2147483648 < (S16) -128
    true
    (S64) -2147483648 < (S8) -127
    true
    (S64) -2147483648 < (U8) 255
    true
    (S64) -2147483648 < (U16) 256
    true
    (S64) -2147483648 < (U16) 65535
    true
    (S64) -2147483648 < (U32) 65536
    true
    (S64) -2147483648 < (U32) 4294967295
    true
    (S64) -2147483648 < (U64) 4294967296
    true
    (S64) -2147483648 < (U64) 18446744073709551615
    true
    (S64) -2147483648 < 18446744073709551616
    true
    (S64) -2147483648 < 340282366920938463463374607431768211455
    true
    (S64) -2147483648 < 340282366920938463463374607431768211456
    true
    (S32) -2147483647 < -170141183460469231731687303715884105728
    false
    (S32) -2147483647 < -170141183460469231731687303715884105727
    false
    (S32) -2147483647 < -9223372036854775808
    false
    (S32) -2147483647 < (S64) -9223372036854775807
    false
    (S32) -2147483647 < (S64) -2147483648
    false
    (S32) -2147483647 < (S32) -2147483647
    false
    (S32) -2147483647 < (S32) -32768
    true
    (S32) -2147483647 < (S16) -32767
    true
    (S32) -2147483647 < (S16) -128
    true
    (S32) -2147483647 < (S8) -127
    true
    (S32) -2147483647 < (U8) 255
    true
    (S32) -2147483647 < (U16) 256
    true
    (S32) -2147483647 < (U16) 65535
    true
    (S32) -2147483647 < (U32) 65536
    true
    (S32) -2147483647 < (U32) 4294967295
    true
    (S32) -2147483647 < (U64) 4294967296
    true
    (S32) -2147483647 < (U64) 18446744073709551615
    true
    (S32) -2147483647 < 18446744073709551616
    true
    (S32) -2147483647 < 340282366920938463463374607431768211455
    true
    (S32) -2147483647 < 340282366920938463463374607431768211456
    true
    (S32) -32768 < -170141183460469231731687303715884105728
    false
    (S32) -32768 < -170141183460469231731687303715884105727
    false
    (S32) -32768 < -9223372036854775808
    false
    (S32) -32768 < (S64) -9223372036854775807
    false
    (S32) -32768 < (S64) -2147483648
    false
    (S32) -32768 < (S32) -2147483647
    false
    (S32) -32768 < (S32) -32768
    false
    (S32) -32768 < (S16) -32767
    true
    (S32) -32768 < (S16) -128
    true
    (S32) -32768 < (S8) -127
    true
    (S32) -32768 < (U8) 255
    true
    (S32) -32768 < (U16) 256
    true
    (S32) -32768 < (U16) 65535
    true
    (S32) -32768 < (U32) 65536
    true
    (S32) -32768 < (U32) 4294967295
    true
    (S32) -32768 < (U64) 4294967296
    true
    (S32) -32768 < (U64) 18446744073709551615
    true
    (S32) -32768 < 18446744073709551616
    true
    (S32) -32768 < 340282366920938463463374607431768211455
    true
    (S32) -32768 < 340282366920938463463374607431768211456
    true
    (S16) -32767 < -170141183460469231731687303715884105728
    false
    (S16) -32767 < -170141183460469231731687303715884105727
    false
    (S16) -32767 < -9223372036854775808
    false
    (S16) -32767 < (S64) -9223372036854775807
    false
    (S16) -32767 < (S64) -2147483648
    false
    (S16) -32767 < (S32) -2147483647
    false
    (S16) -32767 < (S32) -32768
    false
    (S16) -32767 < (S16) -32767
    false
    (S16) -32767 < (S16) -128
    true
    (S16) -32767 < (S8) -127
    true
    (S16) -32767 < (U8) 255
    true
    (S16) -32767 < (U16) 256
    true
    (S16) -32767 < (U16) 65535
    true
    (S16) -32767 < (U32) 65536
    true
    (S16) -32767 < (U32) 4294967295
    true
    (S16) -32767 < (U64) 4294967296
    true
    (S16) -32767 < (U64) 18446744073709551615
    true
    (S16) -32767 < 18446744073709551616
    true
    (S16) -32767 < 340282366920938463463374607431768211455
    true
    (S16) -32767 < 340282366920938463463374607431768211456
    true
    (S16) -128 < -170141183460469231731687303715884105728
    false
    (S16) -128 < -170141183460469231731687303715884105727
    false
    (S16) -128 < -9223372036854775808
    false
    (S16) -128 < (S64) -9223372036854775807
    false
    (S16) -128 < (S64) -2147483648
    false
    (S16) -128 < (S32) -2147483647
    false
    (S16) -128 < (S32) -32768
    false
    (S16) -128 < (S16) -32767
    false
    (S16) -128 < (S16) -128
    false
    (S16) -128 < (S8) -127
    true
    (S16) -128 < (U8) 255
    true
    (S16) -128 < (U16) 256
    true
    (S16) -128 < (U16) 65535
    true
    (S16) -128 < (U32) 65536
    true
    (S16) -128 < (U32) 4294967295
    true
    (S16) -128 < (U64) 4294967296
    true
    (S16) -128 < (U64) 18446744073709551615
    true
    (S16) -128 < 18446744073709551616
    true
    (S16) -128 < 340282366920938463463374607431768211455
    true
    (S16) -128 < 340282366920938463463374607431768211456
    true
    (S8) -127 < -170141183460469231731687303715884105728
    false
    (S8) -127 < -170141183460469231731687303715884105727
    false
    (S8) -127 < -9223372036854775808
    false
    (S8) -127 < (S64) -9223372036854775807
    false
    (S8) -127 < (S64) -2147483648
    false
    (S8) -127 < (S32) -2147483647
    false
    (S8) -127 < (S32) -32768
    false
    (S8) -127 < (S16) -32767
    false
    (S8) -127 < (S16) -128
    false
    (S8) -127 < (S8) -127
    false
    (S8) -127 < (U8) 255
    true
    (S8) -127 < (U16) 256
    true
    (S8) -127 < (U16) 65535
    true
    (S8) -127 < (U32) 65536
    true
    (S8) -127 < (U32) 4294967295
    true
    (S8) -127 < (U64) 4294967296
    true
    (S8) -127 < (U64) 18446744073709551615
    true
    (S8) -127 < 18446744073709551616
    true
    (S8) -127 < 340282366920938463463374607431768211455
    true
    (S8) -127 < 340282366920938463463374607431768211456
    true
    (U8) 255 < -170141183460469231731687303715884105728
    false
    (U8) 255 < -170141183460469231731687303715884105727
    false
    (U8) 255 < -9223372036854775808
    false
    (U8) 255 < (S64) -9223372036854775807
    false
    (U8) 255 < (S64) -2147483648
    false
    (U8) 255 < (S32) -2147483647
    false
    (U8) 255 < (S32) -32768
    false
    (U8) 255 < (S16) -32767
    false
    (U8) 255 < (S16) -128
    false
    (U8) 255 < (S8) -127
    false
    (U8) 255 < (U8) 255
    false
    (U8) 255 < (U16) 256
    true
    (U8) 255 < (U16) 65535
    true
    (U8) 255 < (U32) 65536
    true
    (U8) 255 < (U32) 4294967295
    true
    (U8) 255 < (U64) 4294967296
    true
    (U8) 255 < (U64) 18446744073709551615
    true
    (U8) 255 < 18446744073709551616
    true
    (U8) 255 < 340282366920938463463374607431768211455
    true
    (U8) 255 < 340282366920938463463374607431768211456
    true
    (U16) 256 < -170141183460469231731687303715884105728
    false
    (U16) 256 < -170141183460469231731687303715884105727
    false
    (U16) 256 < -9223372036854775808
    false
    (U16) 256 < (S64) -9223372036854775807
    false
    (U16) 256 < (S64) -2147483648
    false
    (U16) 256 < (S32) -2147483647
    false
    (U16) 256 < (S32) -32768
    false
    (U16) 256 < (S16) -32767
    false
    (U16) 256 < (S16) -128
    false
    (U16) 256 < (S8) -127
    false
    (U16) 256 < (U8) 255
    false
    (U16) 256 < (U16) 256
    false
    (U16) 256 < (U16) 65535
    true
    (U16) 256 < (U32) 65536
    true
    (U16) 256 < (U32) 4294967295
    true
    (U16) 256 < (U64) 4294967296
    true
    (U16) 256 < (U64) 18446744073709551615
    true
    (U16) 256 < 18446744073709551616
    true
    (U16) 256 < 340282366920938463463374607431768211455
    true
    (U16) 256 < 340282366920938463463374607431768211456
    true
    (U16) 65535 < -170141183460469231731687303715884105728
    false
    (U16) 65535 < -170141183460469231731687303715884105727
    false
    (U16) 65535 < -9223372036854775808
    false
    (U16) 65535 < (S64) -9223372036854775807
    false
    (U16) 65535 < (S64) -2147483648
    false
    (U16) 65535 < (S32) -2147483647
    false
    (U16) 65535 < (S32) -32768
    false
    (U16) 65535 < (S16) -32767
    false
    (U16) 65535 < (S16) -128
    false
    (U16) 65535 < (S8) -127
    false
    (U16) 65535 < (U8) 255
    false
    (U16) 65535 < (U16) 256
    false
    (U16) 65535 < (U16) 65535
    false
    (U16) 65535 < (U32) 65536
    true
    (U16) 65535 < (U32) 4294967295
    true
    (U16) 65535 < (U64) 4294967296
    true
    (U16) 65535 < (U64) 18446744073709551615
    true
    (U16) 65535 < 18446744073709551616
    true
    (U16) 65535 < 340282366920938463463374607431768211455
    true
    (U16) 65535 < 340282366920938463463374607431768211456
    true
    (U32) 65536 < -170141183460469231731687303715884105728
    false
    (U32) 65536 < -170141183460469231731687303715884105727
    false
    (U32) 65536 < -9223372036854775808
    false
    (U32) 65536 < (S64) -9223372036854775807
    false
    (U32) 65536 < (S64) -2147483648
    false
    (U32) 65536 < (S32) -2147483647
    false
    (U32) 65536 < (S32) -32768
    false
    (U32) 65536 < (S16) -32767
    false
    (U32) 65536 < (S16) -128
    false
    (U32) 65536 < (S8) -127
    false
    (U32) 65536 < (U8) 255
    false
    (U32) 65536 < (U16) 256
    false
    (U32) 65536 < (U16) 65535
    false
    (U32) 65536 < (U32) 65536
    false
    (U32) 65536 < (U32) 4294967295
    true
    (U32) 65536 < (U64) 4294967296
    true
    (U32) 65536 < (U64) 18446744073709551615
    true
    (U32) 65536 < 18446744073709551616
    true
    (U32) 65536 < 340282366920938463463374607431768211455
    true
    (U32) 65536 < 340282366920938463463374607431768211456
    true
    (U32) 4294967295 < -170141183460469231731687303715884105728
    false
    (U32) 4294967295 < -170141183460469231731687303715884105727
    false
    (U32) 4294967295 < -9223372036854775808
    false
    (U32) 4294967295 < (S64) -9223372036854775807
    false
    (U32) 4294967295 < (S64) -2147483648
    false
    (U32) 4294967295 < (S32) -2147483647
    false
    (U32) 4294967295 < (S32) -32768
    false
    (U32) 4294967295 < (S16) -32767
    false
    (U32) 4294967295 < (S16) -128
    false
    (U32) 4294967295 < (S8) -127
    false
    (U32) 4294967295 < (U8) 255
    false
    (U32) 4294967295 < (U16) 256
    false
    (U32) 4294967295 < (U16) 65535
    false
    (U32) 4294967295 < (U32) 65536
    false
    (U32) 4294967295 < (U32) 4294967295
    false
    (U32) 4294967295 < (U64) 4294967296
    true
    (U32) 4294967295 < (U64) 18446744073709551615
    true
    (U32) 4294967295 < 18446744073709551616
    true
    (U32) 4294967295 < 340282366920938463463374607431768211455
    true
    (U32) 4294967295 < 340282366920938463463374607431768211456
    true
    (U64) 4294967296 < -170141183460469231731687303715884105728
    false
    (U64) 4294967296 < -170141183460469231731687303715884105727
    false
    (U64) 4294967296 < -9223372036854775808
    false
    (U64) 4294967296 < (S64) -9223372036854775807
    false
    (U64) 4294967296 < (S64) -2147483648
    false
    (U64) 4294967296 < (S32) -2147483647
    false
    (U64) 4294967296 < (S32) -32768
    false
    (U64) 4294967296 < (S16) -32767
    false
    (U64) 4294967296 < (S16) -128
    false
    (U64) 4294967296 < (S8) -127
    false
    (U64) 4294967296 < (U8) 255
    false
    (U64) 4294967296 < (U16) 256
    false
    (U64) 4294967296 < (U16) 65535
    false
    (U64) 4294967296 < (U32) 65536
    false
    (U64) 4294967296 < (U32) 4294967295
    false
    (U64) 4294967296 < (U64) 4294967296
    false
    (U64) 4294967296 < (U64) 18446744073709551615
    true
    (U64) 4294967296 < 18446744073709551616
    true
    (U64) 4294967296 < 340282366920938463463374607431768211455
    true
    (U64) 4294967296 < 340282366920938463463374607431768211456
    true
    (U64) 18446744073709551615 < -170141183460469231731687303715884105728
    false
    (U64) 18446744073709551615 < -170141183460469231731687303715884105727
    false
    (U64) 18446744073709551615 < -9223372036854775808
    false
    (U64) 18446744073709551615 < (S64) -9223372036854775807
    false
    (U64) 18446744073709551615 < (S64) -2147483648
    false
    (U64) 18446744073709551615 < (S32) -2147483647
    false
    (U64) 18446744073709551615 < (S32) -32768
    false
    (U64) 18446744073709551615 < (S16) -32767
    false
    (U64) 18446744073709551615 < (S16) -128
    false
    (U64) 18446744073709551615 < (S8) -127
    false
    (U64) 18446744073709551615 < (U8) 255
    false
    (U64) 18446744073709551615 < (U16) 256
    false
    (U64) 18446744073709551615 < (U16) 65535
    false
    (U64) 18446744073709551615 < (U32) 65536
    false
    (U64) 18446744073709551615 < (U32) 4294967295
    false
    (U64) 18446744073709551615 < (U64) 4294967296
    false
    (U64) 18446744073709551615 < (U64) 18446744073709551615
    false
    (U64) 18446744073709551615 < 18446744073709551616
    true
    (U64) 18446744073709551615 < 340282366920938463463374607431768211455
    true
    (U64) 18446744073709551615 < 340282366920938463463374607431768211456
    true
    18446744073709551616 < -170141183460469231731687303715884105728
    false
    18446744073709551616 < -170141183460469231731687303715884105727
    false
    18446744073709551616 < -9223372036854775808
    false
    18446744073709551616 < (S64) -9223372036854775807
    false
    18446744073709551616 < (S64) -2147483648
    false
    18446744073709551616 < (S32) -2147483647
    false
    18446744073709551616 < (S32) -32768
    false
    18446744073709551616 < (S16) -32767
    false
    18446744073709551616 < (S16) -128
    false
    18446744073709551616 < (S8) -127
    false
    18446744073709551616 < (U8) 255
    false
    18446744073709551616 < (U16) 256
    false
    18446744073709551616 < (U16) 65535
    false
    18446744073709551616 < (U32) 65536
    false
    18446744073709551616 < (U32) 4294967295
    false
    18446744073709551616 < (U64) 4294967296
    false
    18446744073709551616 < (U64) 18446744073709551615
    false
    18446744073709551616 < 18446744073709551616
    false
    18446744073709551616 < 340282366920938463463374607431768211455
    true
    18446744073709551616 < 340282366920938463463374607431768211456
    true
    340282366920938463463374607431768211455 < -170141183460469231731687303715884105728
    false
    340282366920938463463374607431768211455 < -170141183460469231731687303715884105727
    false
    340282366920938463463374607431768211455 < -9223372036854775808
    false
    340282366920938463463374607431768211455 < (S64) -9223372036854775807
    false
    340282366920938463463374607431768211455 < (S64) -2147483648
    false
    340282366920938463463374607431768211455 < (S32) -2147483647
    false
    340282366920938463463374607431768211455 < (S32) -32768
    false
    340282366920938463463374607431768211455 < (S16) -32767
    false
    340282366920938463463374607431768211455 < (S16) -128
    false
    340282366920938463463374607431768211455 < (S8) -127
    false
    340282366920938463463374607431768211455 < (U8) 255
    false
    340282366920938463463374607431768211455 < (U16) 256
    false
    340282366920938463463374607431768211455 < (U16) 65535
    false
    340282366920938463463374607431768211455 < (U32) 65536
    false
    340282366920938463463374607431768211455 < (U32) 4294967295
    false
    340282366920938463463374607431768211455 < (U64) 4294967296
    false
    340282366920938463463374607431768211455 < (U64) 18446744073709551615
    false
    340282366920938463463374607431768211455 < 18446744073709551616
    false
    340282366920938463463374607431768211455 < 340282366920938463463374607431768211455
    false
    340282366920938463463374607431768211455 < 340282366920938463463374607431768211456
    true
    340282366920938463463374607431768211456 < -170141183460469231731687303715884105728
    false
    340282366920938463463374607431768211456 < -170141183460469231731687303715884105727
    false
    340282366920938463463374607431768211456 < -9223372036854775808
    false
    340282366920938463463374607431768211456 < (S64) -9223372036854775807
    false
    340282366920938463463374607431768211456 < (S64) -2147483648
    false
    340282366920938463463374607431768211456 < (S32) -2147483647
    false
    340282366920938463463374607431768211456 < (S32) -32768
    false
    340282366920938463463374607431768211456 < (S16) -32767
    false
    340282366920938463463374607431768211456 < (S16) -128
    false
    340282366920938463463374607431768211456 < (S8) -127
    false
    340282366920938463463374607431768211456 < (U8) 255
    false
    340282366920938463463374607431768211456 < (U16) 256
    false
    340282366920938463463374607431768211456 < (U16) 65535
    false
    340282366920938463463374607431768211456 < (U32) 65536
    false
    340282366920938463463374607431768211456 < (U32) 4294967295
    false
    340282366920938463463374607431768211456 < (U64) 4294967296
    false
    340282366920938463463374607431768211456 < (U64) 18446744073709551615
    false
    340282366920938463463374607431768211456 < 18446744073709551616
    false
    340282366920938463463374607431768211456 < 340282366920938463463374607431768211455
    false
    340282366920938463463374607431768211456 < 340282366920938463463374607431768211456
    false