#include <systemc.h>
#include <signal.h>
#include <iostream>
#include <fstream>
#include <cstdlib> //exit

#define ASSERT(x) \
  { \
    if (!(x)) \
    { \
    cerr << "ASSERT : '" #x "' at cycle number " << sc_simulation_time () << "\n"; \
    exit (1); \
    } \
  }

using namespace std;
	
struct sc_test : public sc_module
{
  sc_in<bool>     clk;
  sc_in<bool>     resetn;
  sc_signal<sc_uint<6>     > ui6;
  sc_signal<sc_uint<16>    > ui16;
  sc_signal<sc_uint<31>    > ui31;
  sc_signal<sc_uint<32>    > ui32;
  sc_signal<sc_uint<64>    > ui64;
  sc_signal<sc_int<6>      > i6;
  sc_signal<sc_int<16>     > i16;
  sc_signal<sc_int<31>     > i31;
  sc_signal<sc_int<32>     > i32;
  sc_signal<sc_int<64>     > i64;

  unsigned int ui6_c_type :6;
  sc_uint<6>   ui6_sc_uint;
//  sc_signal<sc_biguint<64> > bui64;
//  long long unsigned int     bui64b;
//  sc_signal<sc_biguint<96> > bui96;

  void eval ()
  {
    if (resetn == false)
    {
      ui6   = 0xF; ui6_c_type = 0xF; ui6_sc_uint = 0xF;
      ui16  = 0x3F;
      ui31  = 0x100;
      ui32  = 0x211;
      ui64  = 0xABCF1234ULL;
      i6    = 0xF;
      i16   = 0x3F;
      i31   = 0x11112222;
      i32   = 0x43214321;
      i64   = 0x4444abcdULL;
//      bui64 = 0xFFFFFFFF;
//      bui64b= 0xFFFFFFFF;
//      bui96 = 0xABCDEF01;
    } else {
      cerr << hex << ui6.read () << " "
                  << ui6_c_type  << " "
                  << ui6_sc_uint << endl;
      ASSERT(ui6.read() == ui6_c_type);
      ui6         = (ui6   .read() * 2) + 1;
      ui6_c_type  = (ui6_c_type    * 2) + 1;
      ui6_sc_uint = (ui6_sc_uint   * 2) + 1;
      ui16  = (ui16  .read() * 2) + 1;
      ui31  = (ui31  .read() * 2) + 1;
      ui32  = (ui32  .read() * 2) + 1;
      ui64  = (ui64  .read() * 2) + 1;
      i6    = (i6    .read() * 2) + 1;
      i16   = (i16   .read() * 2) + 1;
      i31   = (i31   .read() * 2) + 1;
      i32   = (i32   .read() * 2) + 1;
      i64   = (i64   .read() * 2) + 1;
//      bui64 = (bui64 .read() * 2) + 1;
//      bui64b= bui64b        * 2; bui64b= bui64b        + 1;
//      bui96 = bui96 .read() * 2; bui96 = bui96 .read() + 1;
#if 0
      cout << bui64.read() << " "; 
      cout << bui64b << "\n";
#endif
    }
  }

  SC_CTOR(sc_test)
  {
    SC_METHOD(eval);
    dont_initialize ();
    sensitive << clk.pos();
  }
};

int sc_main (int argc, char *argv[])
{
  int errnum = 1;
  cout << "Tests ok\n";
  sc_clock        clk("clk");
  sc_signal<bool> resetn("resetn");
 
  sc_test test("test");
  test.clk    (clk);
  test.resetn (resetn);
  
  sc_trace_file *tf;

  if (argc != 3)
  {
    cerr << "Usage : " << argv[0] << " <trace filename> <#cycles>\n";
    exit (-1);
  }

  string trace_filename = argv[1];
  tf = sc_create_vcd_trace_file (trace_filename.c_str());
  sc_trace (tf, test.ui6  , "ui6"  );
  sc_trace (tf, test.ui16 , "ui16" );
  sc_trace (tf, test.ui31 , "ui31" );
  sc_trace (tf, test.ui32 , "ui32" );
  sc_trace (tf, test.ui64 , "ui64" );
  sc_trace (tf, test.i6   , "i6"   );
  sc_trace (tf, test.i16  , "i16"  );
  sc_trace (tf, test.i31  , "i31"  );
  sc_trace (tf, test.i32  , "i32"  );
  sc_trace (tf, test.i64  , "i64"  );
  sc_trace (tf, clk       , "clk"  );
//  sc_trace (tf, test.bui64, "bui64");
//  sc_trace (tf, test.bui96, "bui96");

  ASSERT(test.ui6.read() == 0);
  ASSERT(test.ui31.read() == 0);
  ASSERT(test.ui32.read() == 0);
  ASSERT(test.ui64.read() == 0);
  ASSERT(test.i6.read() == 0);
  ASSERT(test.i64.read() == 0);

  sc_initialize ();

  resetn = false;
 
  sc_start (3);
  resetn = true;
  sc_start (20);

#if 1
  cout << "0x3f"            << " 0x" << hex << (unsigned int) (sc_uint<6> )test.ui6   << endl;
  cout << "0x100fffff"      << " 0x" << hex << (unsigned int) (sc_uint<31>)test.ui31  << endl;  
  cout << "0x211fffff"      << " 0x" << hex << (unsigned int) (sc_uint<32>)test.ui32  << endl;
  cout << "0xabcf1234fffff" << " 0x" << hex << (long long unsigned int) (sc_uint<64>)test.ui64  << endl;  
#endif
  cerr << test.ui6.read() << endl;

  union t {
    int v1:3;
    int v2;
  };

  t t1,t2;
  t1.v1 = 7;
  cerr << t1.v1 << " " << t1.v2 << endl;
  t2.v2 = 7;
  cerr << t2.v1 << " " << t2.v2 << endl;

  ASSERT(test.ui6.read() == 0x3f);
  ASSERT(test.ui31.read() == 0x100fffff);
  ASSERT(test.ui32.read() == 0x211fffff);

  long long unsigned int ui64_reference = 0xabcf1234ULL;
  ui64_reference <<= 20;
  ui64_reference += 0xfffffULL;
#if 0
  cout << "0xffffffff"      << " 0x" << hex << (int) (sc_int<6>)test.i6    << endl;
  cout << "0x222fffff"      << " 0x" << hex << (int) (sc_int<31>)test.i31   << endl;  
  cout << "0x321fffff"      << " 0x" << hex << (int) (sc_int<32>)test.i32   << endl;
  cout << "0x4444abcdfffff" << " 0x" << hex << (long long signed int) (sc_int<64>)test.i64   << endl;    
#endif

  ASSERT(test.ui64.read() == ui64_reference);
  ASSERT(test.i6.read() == (sc_int<6>)~0);
  ASSERT(test.i31.read() == 0x222fffff);
  ASSERT(test.i32.read() == 0x321fffff)

  long long signed int i64_reference = 0x4444abcdULL;
  i64_reference <<= 20;
  i64_reference += 0xfffffULL;
  ASSERT(test.i64.read() == i64_reference);

//  cout << "0x4294967315" << " 0x" << hex << test.bui64 << endl;    
  cout << "Test OK.\n";

  sc_close_vcd_trace_file (tf);

  return EXIT_SUCCESS;
}