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  test12.cpp -- Test that part selections are returning the proper values
2312855Sgabeblack@google.com                when they are part of a concatenation. This tests is here
2412855Sgabeblack@google.com                because the wrong width mask was being used in the 2.2
2512855Sgabeblack@google.com                source.
2612855Sgabeblack@google.com
2712855Sgabeblack@google.com  Original Author: Andy Goodrich, Forte Design Systems, 03 Feb 2010
2812855Sgabeblack@google.com
2912855Sgabeblack@google.com *****************************************************************************/
3012855Sgabeblack@google.com
3112855Sgabeblack@google.com/*****************************************************************************
3212855Sgabeblack@google.com
3312855Sgabeblack@google.com  MODIFICATION LOG - modifiers, enter your name, affiliation, date and
3412855Sgabeblack@google.com  changes you are making here.
3512855Sgabeblack@google.com
3612855Sgabeblack@google.com      Name, Affiliation, Date:
3712855Sgabeblack@google.com  Description of Modification:
3812855Sgabeblack@google.com
3912855Sgabeblack@google.com *****************************************************************************/
4012855Sgabeblack@google.com
4112855Sgabeblack@google.com
4212855Sgabeblack@google.com#include "systemc.h"
4312855Sgabeblack@google.com
4412855Sgabeblack@google.com#define TEST(TARGET) \
4512855Sgabeblack@google.com    expected = TARGET(high,low); \
4612855Sgabeblack@google.com    result = (sc_uint<6>(0),TARGET(high,low)); \
4712855Sgabeblack@google.com    if ( result != expected ) \
4812855Sgabeblack@google.com    { \
4912855Sgabeblack@google.com	cout << dec; \
5012855Sgabeblack@google.com	cout << "Mismatch for " << #TARGET << "(" << high << "," << low << "):"\
5112855Sgabeblack@google.com	     << endl; \
5212855Sgabeblack@google.com	cout << "Expected " << hex << expected << " got " << result \
5312855Sgabeblack@google.com	     << dec << endl; \
5412855Sgabeblack@google.com    }
5512855Sgabeblack@google.com
5612855Sgabeblack@google.comint sc_main(int argc, char* argv[])
5712855Sgabeblack@google.com{
5812855Sgabeblack@google.com    sc_bigint<37>  bi37;
5912855Sgabeblack@google.com    sc_biguint<37> bu37;
6012855Sgabeblack@google.com    sc_int<37>     i37;
6112855Sgabeblack@google.com    sc_uint<37>    u37;
6212855Sgabeblack@google.com
6312855Sgabeblack@google.com    bi37 = 0x1fc070000ULL;
6412855Sgabeblack@google.com    bu37 = 0x1fc070000ULL;
6512855Sgabeblack@google.com    i37 = 0x1fc070000ULL;
6612855Sgabeblack@google.com    u37 = 0x1fc070000ULL;
6712855Sgabeblack@google.com
6812855Sgabeblack@google.com    // Test sc_int<W>:
6912855Sgabeblack@google.com
7012855Sgabeblack@google.com    cout << endl << "sc_int test" << endl;
7112855Sgabeblack@google.com    cout << "i37 = " << hex << i37 << endl;
7212855Sgabeblack@google.com    cout << "i37(33,0) = " << hex << i37(33,0) << endl;
7312855Sgabeblack@google.com    cout << "(sc_uint<6>(0),i37(33,0)) = "
7412855Sgabeblack@google.com         << hex << (sc_uint<6>(0),i37(33,0))
7512855Sgabeblack@google.com         << endl;
7612855Sgabeblack@google.com
7712855Sgabeblack@google.com    // Test sc_uint<W>:
7812855Sgabeblack@google.com
7912855Sgabeblack@google.com    cout << endl << "sc_uint test" << endl;
8012855Sgabeblack@google.com    cout << "u37 = " << hex << u37 << endl;
8112855Sgabeblack@google.com    cout << "u37(33,0) = " << hex << u37(33,0) << endl;
8212855Sgabeblack@google.com    cout << "(sc_uint<6>(0),u37(33,0)) = "
8312855Sgabeblack@google.com         << hex << (sc_uint<6>(0),u37(33,0))
8412855Sgabeblack@google.com         << endl;
8512855Sgabeblack@google.com
8612855Sgabeblack@google.com    // Test sc_bigint<W>:
8712855Sgabeblack@google.com
8812855Sgabeblack@google.com    cout << endl << "sc_bigint test" << endl;
8912855Sgabeblack@google.com    cout << "bi37 = " << hex << bi37 << endl;
9012855Sgabeblack@google.com    cout << "bi37(33,0) = " << hex << bi37(33,0) << endl;
9112855Sgabeblack@google.com    cout << "(sc_uint<6>(0),bi37(33,0)) = "
9212855Sgabeblack@google.com         << hex << (sc_uint<6>(0),bi37(33,0))
9312855Sgabeblack@google.com         << endl;
9412855Sgabeblack@google.com
9512855Sgabeblack@google.com    // Test sc_biguint<W>:
9612855Sgabeblack@google.com
9712855Sgabeblack@google.com    cout << endl << "sc_biguint test" << endl;
9812855Sgabeblack@google.com    cout << "bu37 = " << hex << bu37 << endl;
9912855Sgabeblack@google.com    cout << "bu37(33,0) = " << hex << bu37(33,0) << endl;
10012855Sgabeblack@google.com    cout << "(sc_uint<6>(0),bu37(33,0)) = "
10112855Sgabeblack@google.com         << hex << (sc_uint<6>(0),bu37(33,0))
10212855Sgabeblack@google.com         << endl;
10312855Sgabeblack@google.com
10412855Sgabeblack@google.com    sc_bigint<64>  bi64;
10512855Sgabeblack@google.com    sc_biguint<64> bu64;
10612855Sgabeblack@google.com    sc_uint<64>    expected;
10712855Sgabeblack@google.com    sc_int<64>     i64;
10812855Sgabeblack@google.com    sc_uint<64>    result;
10912855Sgabeblack@google.com    sc_uint<64>    u64;
11012855Sgabeblack@google.com
11112855Sgabeblack@google.com    bi64 = -1;
11212855Sgabeblack@google.com    bu64 = -1;
11312855Sgabeblack@google.com    i64 = -1;
11412855Sgabeblack@google.com    u64 = -1;
11512855Sgabeblack@google.com    for ( size_t low = 0; low < 64; low++ )
11612855Sgabeblack@google.com    {
11712855Sgabeblack@google.com	for ( size_t high = low; high < 64; high++ )
11812855Sgabeblack@google.com	{
11912855Sgabeblack@google.com	    TEST(bi64);
12012855Sgabeblack@google.com	    TEST(bu64);
12112855Sgabeblack@google.com	    TEST(i64);
12212855Sgabeblack@google.com	    TEST(u64);
12312855Sgabeblack@google.com	}
12412855Sgabeblack@google.com    }
12512855Sgabeblack@google.com
12612855Sgabeblack@google.com    bi64 = 0x6666666666666666ULL;
12712855Sgabeblack@google.com    bu64 = 0x6aaaaaaaaaaaaaaaULL;
12812855Sgabeblack@google.com    i64 = 0x6aaaaaaaaaaaaaaaULL;
12912855Sgabeblack@google.com    u64 = 0x6aaaaaaaaaaaaaaaULL;
13012855Sgabeblack@google.com    for ( size_t low = 0; low < 64; low++ )
13112855Sgabeblack@google.com    {
13212855Sgabeblack@google.com	for ( size_t high = low; high < 64; high++ )
13312855Sgabeblack@google.com	{
13412855Sgabeblack@google.com	    TEST(bi64);
13512855Sgabeblack@google.com	    TEST(bu64);
13612855Sgabeblack@google.com	    TEST(i64);
13712855Sgabeblack@google.com	    TEST(u64);
13812855Sgabeblack@google.com	}
13912855Sgabeblack@google.com    }
14012855Sgabeblack@google.com
14112855Sgabeblack@google.com    bi64 = 0xaaaaaaaaaaaaaaaaULL;
14212855Sgabeblack@google.com    bu64 = 0xaaaaaaaaaaaaaaaaULL;
14312855Sgabeblack@google.com    i64 = 0xaaaaaaaaaaaaaaaaULL;
14412855Sgabeblack@google.com    u64 = 0xaaaaaaaaaaaaaaaaULL;
14512855Sgabeblack@google.com    for ( size_t low = 0; low < 64; low++ )
14612855Sgabeblack@google.com    {
14712855Sgabeblack@google.com	for ( size_t high = low; high < 64; high++ )
14812855Sgabeblack@google.com	{
14912855Sgabeblack@google.com	    TEST(bi64);
15012855Sgabeblack@google.com	    TEST(bu64);
15112855Sgabeblack@google.com	    TEST(i64);
15212855Sgabeblack@google.com	    TEST(u64);
15312855Sgabeblack@google.com	}
15412855Sgabeblack@google.com    }
15512855Sgabeblack@google.com
15612855Sgabeblack@google.com
15712855Sgabeblack@google.com    cout << endl << "Program completed" << endl;
15812855Sgabeblack@google.com
15912855Sgabeblack@google.com    return 0;
16012855Sgabeblack@google.com}
161