test_compiler_builtins.cpp

/**
 *    @file test_compiler_builtins.cpp
 *    @copyright defined in eos/LICENSE.txt
 */

#include <eosiolib/eosio.hpp>
#include <eosiolib/print.hpp>
#include <eosiolib/compiler_builtins.h>

#include "test_api.hpp"

using namespace eosio;
unsigned __int128 operator "" _ULLL( const char* lit ) {
      __int128 ret = 0;
      size_t   i = 0;
      bool     sign = false;

      if (lit[i] == '-') {
         ++i;
         sign = true;
      }

      if (lit[i] == '+')
         ++i;

      for (; lit[i] != '\0' ; ++i) {
         const char c = lit[i];
         ret *= 10;
         ret += c - '0';
      }

      if (sign)
         ret *= -1;

      return ret;
}

__int128 operator "" _LLL( const char* lit ) {
      __int128 ret = 0;
      size_t   i = 0;
      bool     sign = false;

      if (lit[i] == '-') {
         ++i;
         sign = true;
      }

      if (lit[i] == '+')
         ++i;

      for (; lit[i] != '\0' ; ++i) {
         const char c = lit[i];
         ret *= 10;
         ret += c - '0';
      }

      if (sign)
         ret *= -1;

      return ret;
}

void test_compiler_builtins::test_multi3() {
   /*
    * tests for negative values
    */
   __int128 res   = 0;
   __int128 lhs_a = -30;
   __int128 rhs_a = 100;
   __int128 lhs_b = 100;
   __int128 rhs_b = -30;

   __multi3( res, lhs_a, ( lhs_a >> 64 ), rhs_a, ( rhs_a >> 64 ) );
   eosio_assert( res == -3000, "__multi3 result should be -3000" ); 

   __multi3( res, lhs_b, ( lhs_b >> 64 ), rhs_b, ( rhs_b >> 64 ) );
   eosio_assert( res == -3000, "__multi3 result should be -3000" ); 

   __multi3( res, lhs_a, ( lhs_a >> 64 ), rhs_b, ( rhs_b >> 64 ) );
   eosio_assert( res == 900, "__multi3 result should be 900" ); 

   /*
    * test for positive values
    */
   __multi3( res, lhs_b, ( lhs_b >> 64 ), rhs_a, ( rhs_a >> 64 ) );
   eosio_assert( res == 10000, "__multi3 result should be 10000" ); 

   /*
    * test identity
    */
   __multi3( res, 1, 0, rhs_a, rhs_a >> 64 );
   eosio_assert( res == 100, "__multi3 result should be 100" );

   __multi3( res, 1, 0, rhs_b, rhs_b >> 64 );
   eosio_assert( res == -30, "__multi3 result should be -30" );
} 

void test_compiler_builtins::test_divti3() {
   /*
    * test for negative values
    */
   __int128 res   = 0;
   __int128 lhs_a = -30;
   __int128 rhs_a = 100;
   __int128 lhs_b = 100;
   __int128 rhs_b = -30;

   __divti3( res, lhs_a, ( lhs_a >> 64 ), rhs_a, ( rhs_a >> 64 ) );
   eosio_assert( res == 0, "__divti3 result should be 0" ); 

   __divti3( res, lhs_b, ( lhs_b >> 64 ), rhs_b, ( rhs_b >> 64 ) );
   eosio_assert( res == -3, "__divti3 result should be -3" ); 

   __divti3( res, lhs_a, ( lhs_a >> 64 ), rhs_b, ( rhs_b >> 64 ) );
   eosio_assert( res == 1, "__divti3 result should be 1" ); 

   /*
    * test for positive values
    */
   __int128 lhs_c = 3333;
   __int128 rhs_c = 3333;

   __divti3( res, lhs_b, ( lhs_b >> 64 ), rhs_a, ( rhs_a >> 64 ) );
   eosio_assert( res == 1, "__divti3 result should be 1" ); 

   __divti3( res, lhs_b, ( lhs_b >> 64 ), rhs_c, ( rhs_c >> 64 ) );
   eosio_assert( res == 0, "__divti3 result should be 0" ); 

   __divti3( res, lhs_c, ( lhs_c >> 64 ), rhs_a, ( rhs_a >> 64 ) );
   eosio_assert( res == 33, "__divti3 result should be 33" ); 

   /*
    * test identity
    */
   __divti3( res, lhs_b, ( lhs_b >> 64 ), 1, 0 );
   eosio_assert( res == 100, "__divti3 result should be 100" ); 

   __divti3( res, lhs_a, ( lhs_a >> 64 ), 1, 0 );
   eosio_assert( res == -30, "__divti3 result should be -30" ); 
}

void test_compiler_builtins::test_divti3_by_0() {
   __int128 res = 0;

   __divti3( res, 100, 0, 0, 0 );
   eosio_assert( false, "Should have eosio_asserted" );
}

void test_compiler_builtins::test_udivti3() {
   /*
    * test for negative values
    */
   unsigned __int128 res   = 0;
   unsigned __int128 lhs_a = -30;
   unsigned __int128 rhs_a = 100;
   unsigned __int128 lhs_b = 100;
   unsigned __int128 rhs_b = -30;

   __udivti3( res, lhs_a, ( lhs_a >> 64 ), rhs_a, ( rhs_a >> 64 ) );
   eosio_assert( res == 3402823669209384634633746074317682114_ULLL, "__udivti3 result should be 0" ); 

   __udivti3( res, lhs_b, ( lhs_b >> 64 ), rhs_b, ( rhs_b >> 64 ) );
   eosio_assert( res == 0, "__udivti3 result should be 0" ); 

   __udivti3( res, lhs_a, ( lhs_a >> 64 ), rhs_b, ( rhs_b >> 64 ) );
   eosio_assert( res == 1, "__udivti3 result should be 1" ); 

   /*
    * test for positive values
    */
   __int128 lhs_c = 3333;
   __int128 rhs_c = 3333;

   __udivti3( res, lhs_b, ( lhs_b >> 64 ), rhs_a, ( rhs_a >> 64 ) );
   eosio_assert( res == 1, "__divti3 result should be 1" ); 

   __udivti3( res, lhs_b, ( lhs_b >> 64 ), rhs_c, ( rhs_c >> 64 ) );
   eosio_assert( res == 0, "__divti3 result should be 0" ); 

   __udivti3( res, lhs_c, ( lhs_c >> 64 ), rhs_a, ( rhs_a >> 64 ) );
   eosio_assert( res == 33, "__divti3 result should be 33" ); 

   /*
    * test identity
    */
   __udivti3( res, lhs_b, ( lhs_b >> 64 ), 1, 0 );
   eosio_assert( res == 100, "__divti3 result should be 100" ); 

   __udivti3( res, lhs_a, ( lhs_a >> 64 ), 1, 0 );
   eosio_assert( res == -30, "__divti3 result should be -30" ); 
}

void test_compiler_builtins::test_udivti3_by_0() {
   unsigned __int128 res = 0;

   __udivti3( res, 100, 0, 0, 0 );
   eosio_assert( false, "Should have eosio_asserted" );
}


void test_compiler_builtins::test_lshlti3() {
   __int128 res      = 0;
   __int128 val      = 1;
   __int128 test_res = 0;

   test_res =   0x8000000000000000;
   test_res <<= 1;


   __lshlti3( res, val, val >> 64, 0 );
   eosio_assert( res == 1, "__lshlti3 result should be 1" );


   __lshlti3( res, val, val >> 64, 1 );
   eosio_assert( res == ( 1 << 1 ), "__lshlti3 result should be 2" );

   __lshlti3( res, val, ( val >> 64 ), 31 );
   eosio_assert( res == 2147483648_ULLL, "__lshlti3 result should be 2^31" );
   
   __lshlti3( res, val, ( val >> 64 ), 63 );
   eosio_assert( res == 9223372036854775808_ULLL, "__lshlti3 result should be 2^63" );

   __lshlti3( res, val, ( val >> 64 ), 64 );
   eosio_assert( res == test_res, "__lshlti3 result should be 2^64" );

   __lshlti3( res, val, ( val >> 64 ), 127 );
   test_res <<= 63;
   eosio_assert( res == test_res, "__lshlti3 result should be 2^127" );

   __lshlti3( res, val, ( val >> 64 ), 128 );
   test_res <<= 1;
   //should rollover
   eosio_assert( res == test_res, "__lshlti3 result should be 2^128" );
}

void test_compiler_builtins::test_ashlti3() {
   __int128 res      = 0;
   __int128 val      = 1;
   __int128 test_res = 0;

   test_res =   0x8000000000000000;
   test_res <<= 1;

   __ashlti3( res, val, val >> 64, 0 );
   eosio_assert( res == 1, "__ashlti3 result should be 1" );


   __ashlti3( res, val, val >> 64, 1 );
   eosio_assert( res == (1 << 1), "__ashlti3 result should be 2" );

   __ashlti3( res, val, (val >> 64), 31 );
   eosio_assert( res == 2147483648_ULLL, "__ashlti3 result should be 2^31" );
   
   __ashlti3( res, val, (val >> 64), 63 );
   eosio_assert( res == 9223372036854775808_ULLL, "__ashlti3 result should be 2^63" );

   __ashlti3( res, val, (val >> 64), 64 );
   eosio_assert( res == test_res, "__ashlti3 result should be 2^64" );

   __ashlti3( res, val, (val >> 64), 127 );
   test_res <<= 63;
   eosio_assert( res == test_res, "__ashlti3 result should be 2^127" );

   __ashlti3( res, val, (val >> 64), 128 );
   test_res <<= 1;
   //should rollover
   eosio_assert( res == test_res, "__ashlti3 result should be 2^128" );
}


void test_compiler_builtins::test_lshrti3() {
   __int128 res      = 0;
   __int128 val      = 0x8000000000000000;
   __int128 test_res = 0x8000000000000000;

   val      <<= 64;
   test_res <<= 64;
   
   __lshrti3( res, val, (val >> 64), 0 );
   eosio_assert( res == test_res, "__lshrti3 result should be 2^127" );

   __lshrti3( res, val, (val >> 64), 1 );
   eosio_assert( res == 85070591730234615865843651857942052864_ULLL, "__lshrti3 result should be 2^126" );

   __lshrti3( res, val, (val >> 64), 63 );
   eosio_assert( res == 18446744073709551616_ULLL, "__lshrti3 result should be 2^64" );

   __lshrti3( res, val, (val >> 64), 64 );
   eosio_assert( res == 9223372036854775808_ULLL, "__lshrti3 result should be 2^63" );

   __lshrti3( res, val, (val >> 64), 96 );
   eosio_assert( res == 2147483648_ULLL, "__lshrti3 result should be 2^31" );

   __lshrti3( res, val, (val >> 64), 127 );
   eosio_assert( res == 0x1, "__lshrti3 result should be 2^0" );
}

void test_compiler_builtins::test_ashrti3() {
   __int128 res      = 0;
   __int128 test     = 1;
   __int128 val      = -170141183460469231731687303715884105728_LLL;

   test <<= 127; 

   __ashrti3( res, val, (val >> 64), 0 );
   eosio_assert( res == -170141183460469231731687303715884105728_LLL, "__ashrti3 result should be -2^127" );

   __ashrti3(res, val, (val >> 64), 1 );
   eosio_assert( res == -85070591730234615865843651857942052864_LLL, "__ashrti3 result should be -2^126" );

   __ashrti3(res, val, (val >> 64), 2 );
   eosio_assert( res == test >> 2, "__ashrti3 result should be -2^125" );

   __ashrti3( res, val, (val >> 64), 64 );
   eosio_assert( res == test >> 64, "__ashrti3 result should be -2^63" );

   __ashrti3( res, val, (val >> 64), 95 );
   eosio_assert( res == test >> 95, "__ashrti3 result should be -2^31" );

   __ashrti3( res, val, (val >> 64), 127 );
   eosio_assert( res == test >> 127, "__ashrti3 result should be -2^0" );
}


void test_compiler_builtins::test_modti3() {
   __int128 res    = 0;
   __int128 lhs_a  = -30;
   __int128 rhs_a  = 100;
   __int128 lhs_b  = 30;
   __int128 rhs_b  = -100;
   
   __modti3( res, lhs_a, lhs_a >> 64, rhs_a, rhs_a >> 64 );
   eosio_assert( res ==  -30, "__modti3 result should be -30" );

   __modti3( res, lhs_b, lhs_b >> 64, rhs_b, rhs_b >> 64 );
   eosio_assert( res ==  30, "__modti3 result should be 30" );
   
   __modti3( res, lhs_a, lhs_a >> 64, rhs_b, rhs_b >> 64 );
   eosio_assert( res ==  -30, "__modti3 result should be -30" );

   __modti3( res, rhs_a, rhs_a >> 64, lhs_b, lhs_b >> 64 );
   eosio_assert( res ==  10, "__modti3 result should be 10" );

   __modti3( res, rhs_a, rhs_a >> 64, rhs_b, rhs_b >> 64 );
   eosio_assert( res ==  0, "__modti3 result should be 0" );

   __modti3( res, rhs_a, rhs_a >> 64, rhs_a, rhs_a >> 64 );
   eosio_assert( res ==  0, "__modti3 result should be 0" );

   __modti3( res, 0, 0, rhs_a, rhs_a >> 64 );
   eosio_assert( res ==  0, "__modti3 result should be 0" );
}

void test_compiler_builtins::test_modti3_by_0() {
   __int128 res = 0;
   __int128 lhs = 100;

   __modti3( res, lhs, lhs >> 64, 0, 0 );
   eosio_assert( false, "should have thrown an error" );
}

void test_compiler_builtins::test_umodti3() {
   unsigned __int128 res    = 0;
   unsigned __int128 lhs_a  = -30;
   unsigned __int128 rhs_a  = 100;
   unsigned __int128 lhs_b  = 30;
   unsigned __int128 rhs_b  = -100;
   
   __umodti3( res, lhs_a, lhs_a >> 64, rhs_a, rhs_a >> 64 );
   eosio_assert( res ==  -30, "__modti3 result should be -30" );

   __umodti3( res, lhs_b, lhs_b >> 64, rhs_b, rhs_b >> 64 );
   eosio_assert( res ==  30, "__modti3 result should be 30" );
   
   __umodti3( res, lhs_a, lhs_a >> 64, rhs_b, rhs_b >> 64 );
   eosio_assert( res ==  -30, "__modti3 result should be -30" );

   __umodti3( res, rhs_a, rhs_a >> 64, lhs_b, lhs_b >> 64 );
   eosio_assert( res ==  10, "__modti3 result should be 10" );

   __umodti3( res, rhs_a, rhs_a >> 64, rhs_b, rhs_b >> 64 );
   eosio_assert( res ==  0, "__modti3 result should be 0" );

   __umodti3( res, rhs_a, rhs_a >> 64, rhs_a, rhs_a >> 64 );
   eosio_assert( res ==  0, "__modti3 result should be 0" );

   __umodti3( res, 0, 0, rhs_a, rhs_a >> 64 );
   eosio_assert( res ==  0, "__modti3 result should be 0" );
}

void test_compiler_builtins::test_umodti3_by_0() {
   unsigned __int128 res = 0;
   unsigned __int128 lhs = 100;

   __umodti3( res, lhs, lhs >> 64, 0, 0 );
   eosio_assert( false, "should have thrown an error" );
}