112855Sgabeblack@google.com/*****************************************************************************
212855Sgabeblack@google.com
312855Sgabeblack@google.com  Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
412855Sgabeblack@google.com  more contributor license agreements.  See the NOTICE file distributed
512855Sgabeblack@google.com  with this work for additional information regarding copyright ownership.
612855Sgabeblack@google.com  Accellera licenses this file to you under the Apache License, Version 2.0
712855Sgabeblack@google.com  (the "License"); you may not use this file except in compliance with the
812855Sgabeblack@google.com  License.  You may obtain a copy of the License at
912855Sgabeblack@google.com
1012855Sgabeblack@google.com    http://www.apache.org/licenses/LICENSE-2.0
1112855Sgabeblack@google.com
1212855Sgabeblack@google.com  Unless required by applicable law or agreed to in writing, software
1312855Sgabeblack@google.com  distributed under the License is distributed on an "AS IS" BASIS,
1412855Sgabeblack@google.com  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
1512855Sgabeblack@google.com  implied.  See the License for the specific language governing
1612855Sgabeblack@google.com  permissions and limitations under the License.
1712855Sgabeblack@google.com
1812855Sgabeblack@google.com *****************************************************************************/
1912855Sgabeblack@google.com
2012855Sgabeblack@google.com/*****************************************************************************
2112855Sgabeblack@google.com
2212855Sgabeblack@google.com  test07.cpp --
2312855Sgabeblack@google.com
2412855Sgabeblack@google.com  Original Author: Andy Goodrich, Forte Design Systems, 29 October 2007
2512855Sgabeblack@google.com
2612855Sgabeblack@google.com *****************************************************************************/
2712855Sgabeblack@google.com
2812855Sgabeblack@google.com/*****************************************************************************
2912855Sgabeblack@google.com
3012855Sgabeblack@google.com  MODIFICATION LOG - modifiers, enter your name, affiliation, date and
3112855Sgabeblack@google.com  changes you are making here.
3212855Sgabeblack@google.com
3312855Sgabeblack@google.com      Name, Affiliation, Date:
3412855Sgabeblack@google.com  Description of Modification:
3512855Sgabeblack@google.com
3612855Sgabeblack@google.com *****************************************************************************/
3712855Sgabeblack@google.com
3812855Sgabeblack@google.com// test various width concatenations for each major base type.
3912855Sgabeblack@google.com
4012855Sgabeblack@google.com#include "systemc.h"
4112855Sgabeblack@google.com
4212855Sgabeblack@google.comvoid checkout( const sc_unsigned* actual_p, const sc_unsigned* expected_p )
4312855Sgabeblack@google.com{
4412855Sgabeblack@google.com    cout << *actual_p <<" " << *expected_p << endl;
4512855Sgabeblack@google.com	cout <<"another line" << endl;
4612855Sgabeblack@google.com}
4712855Sgabeblack@google.com
4812855Sgabeblack@google.com#define TEST(LEFT,RIGHT) \
4912855Sgabeblack@google.com{ \
5012855Sgabeblack@google.com    const sc_unsigned* actual_p = &(LEFT,RIGHT).value(); \
5112855Sgabeblack@google.com    const sc_unsigned* expected_p = &(high_int,low_int).value(); \
5212855Sgabeblack@google.com	if ( *actual_p != *expected_p ) \
5312855Sgabeblack@google.com	{ \
5412855Sgabeblack@google.com	    checkout(actual_p, expected_p); \
5512855Sgabeblack@google.com		cout << "!!! ERROR (" << #LEFT << "," << #RIGHT << "):" << endl; \
5612855Sgabeblack@google.com		cout << "    expected:  " << hex << *expected_p  << endl; \
5712855Sgabeblack@google.com		cout << "    actual:    " << hex << *actual_p << endl; \
5812855Sgabeblack@google.com		cout << "    diff mask: " << hex << ((high_int,low_int) ^ (LEFT,RIGHT))  << endl; \
5912855Sgabeblack@google.com	} \
6012855Sgabeblack@google.com}
6112855Sgabeblack@google.com
6212855Sgabeblack@google.comint sc_main(int argc, char* argv[])
6312855Sgabeblack@google.com{
6412855Sgabeblack@google.com    for ( int cycle_i = 0; cycle_i < 3; cycle_i++ )
6512855Sgabeblack@google.com	{
6612855Sgabeblack@google.com		for ( int high_i = 64; high_i > 0; high_i-- )
6712855Sgabeblack@google.com		{
6812855Sgabeblack@google.com			for ( int low_i = 64; low_i > 0; --low_i )
6912855Sgabeblack@google.com			{
7012855Sgabeblack@google.com				sc_int_base  high_int(high_i);
7112855Sgabeblack@google.com				sc_int_base  low_int(low_i);
7212855Sgabeblack@google.com				sc_signed    high_signed(high_i);
7312855Sgabeblack@google.com				sc_signed    low_signed(low_i);
7412855Sgabeblack@google.com				sc_uint_base high_uint(high_i);
7512855Sgabeblack@google.com				sc_uint_base low_uint(low_i);
7612855Sgabeblack@google.com				sc_unsigned  high_unsigned(high_i);
7712855Sgabeblack@google.com				sc_unsigned  low_unsigned(low_i);
7812855Sgabeblack@google.com
7912855Sgabeblack@google.com				switch ( cycle_i )
8012855Sgabeblack@google.com				{
8112855Sgabeblack@google.com				  case 0:
8212855Sgabeblack@google.com					low_int =       "0xaaaaaaaa55555555";
8312855Sgabeblack@google.com					low_signed =    "0xaaaaaaaa55555555";
8412855Sgabeblack@google.com					low_uint =      "0xaaaaaaaa55555555";
8512855Sgabeblack@google.com					low_unsigned =  "0xaaaaaaaa55555555";
8612855Sgabeblack@google.com					high_int =      "0xfedcba9876543210";
8712855Sgabeblack@google.com					high_signed =   "0xfedcba9876543210";
8812855Sgabeblack@google.com					high_uint =     "0xfedcba9876543210";
8912855Sgabeblack@google.com					high_unsigned = "0xfedcba9876543210";
9012855Sgabeblack@google.com				    break;
9112855Sgabeblack@google.com			      case 1:
9212855Sgabeblack@google.com					low_int =       "0x0000000000000000";
9312855Sgabeblack@google.com					low_signed =    "0x0000000000000000";
9412855Sgabeblack@google.com					low_uint =      "0x0000000000000000";
9512855Sgabeblack@google.com					low_unsigned =  "0x0000000000000000";
9612855Sgabeblack@google.com					high_int =      "0xffffffffffffffff";
9712855Sgabeblack@google.com					high_signed =   "0xffffffffffffffff";
9812855Sgabeblack@google.com					high_uint =     "0xffffffffffffffff";
9912855Sgabeblack@google.com					high_unsigned = "0xffffffffffffffff";
10012855Sgabeblack@google.com					break;
10112855Sgabeblack@google.com			      case 2:
10212855Sgabeblack@google.com					low_int =       "0xffffffffffffffff";
10312855Sgabeblack@google.com					low_signed =    "0xffffffffffffffff";
10412855Sgabeblack@google.com					low_uint =      "0xffffffffffffffff";
10512855Sgabeblack@google.com					low_unsigned =  "0xffffffffffffffff";
10612855Sgabeblack@google.com					high_int =      "0x0000000000000000";
10712855Sgabeblack@google.com					high_signed =   "0x0000000000000000";
10812855Sgabeblack@google.com					high_uint =     "0x0000000000000000";
10912855Sgabeblack@google.com					high_unsigned = "0x0000000000000000";
11012855Sgabeblack@google.com					break;
11112855Sgabeblack@google.com				}
11212855Sgabeblack@google.com
11312855Sgabeblack@google.com				cout << endl << dec << "[" << high_i << "," << low_i << "]:"
11412855Sgabeblack@google.com					 << endl;
11512855Sgabeblack@google.com
11612855Sgabeblack@google.com				cout << hex << "  int      " << (high_int,low_int) << " <- (  "
11712855Sgabeblack@google.com							<< high_int  << " , " << low_int << " )" << endl;
11812855Sgabeblack@google.com
11912855Sgabeblack@google.com				TEST(high_int,low_signed);
12012855Sgabeblack@google.com				TEST(high_int,low_uint);
12112855Sgabeblack@google.com				TEST(high_int,low_unsigned);
12212855Sgabeblack@google.com
12312855Sgabeblack@google.com				TEST(high_signed,low_int);
12412855Sgabeblack@google.com				TEST(high_signed,low_signed);
12512855Sgabeblack@google.com				TEST(high_signed,low_uint);
12612855Sgabeblack@google.com				TEST(high_signed,low_unsigned);
12712855Sgabeblack@google.com
12812855Sgabeblack@google.com				TEST(high_uint,low_int);
12912855Sgabeblack@google.com				TEST(high_uint,low_signed);
13012855Sgabeblack@google.com				TEST(high_uint,low_uint);
13112855Sgabeblack@google.com				TEST(high_uint,low_unsigned);
13212855Sgabeblack@google.com
13312855Sgabeblack@google.com				TEST(high_unsigned,low_int);
13412855Sgabeblack@google.com				TEST(high_unsigned,low_signed);
13512855Sgabeblack@google.com				TEST(high_unsigned,low_uint);
13612855Sgabeblack@google.com				TEST(high_unsigned,low_unsigned);
13712855Sgabeblack@google.com			}
13812855Sgabeblack@google.com		}
13912855Sgabeblack@google.com    }
14012855Sgabeblack@google.com
14112855Sgabeblack@google.com	cout << "Program completed" << endl;
14212855Sgabeblack@google.com	return 0;
14312855Sgabeblack@google.com}
144