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 stab3.cpp -- 2312855Sgabeblack@google.com 2412855Sgabeblack@google.com Original Author: Martin Janssen, Synopsys, Inc., 2002-02-15 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#include "systemc.h" 3912855Sgabeblack@google.com 4012855Sgabeblack@google.comint 4112855Sgabeblack@google.comsc_main( int argc, char* argv[] ) 4212855Sgabeblack@google.com{ 4312855Sgabeblack@google.com int i; 4412855Sgabeblack@google.com sc_bv<325> x; 4512855Sgabeblack@google.com sc_lv<142> y; 4612855Sgabeblack@google.com 4712855Sgabeblack@google.com sc_signed z(103); 4812855Sgabeblack@google.com sc_unsigned w(291); 4912855Sgabeblack@google.com 5012855Sgabeblack@google.com for (i = 0; i < 325; ++i) { 5112855Sgabeblack@google.com x[i] = ((i & 1) ^ ((i >> 1) & 1)); 5212855Sgabeblack@google.com }; 5312855Sgabeblack@google.com for (i = 0; i < 325; ++i) { 5412855Sgabeblack@google.com sc_assert( x[i] == ((i & 1) ^ ((i >> 1) & 1)) ); 5512855Sgabeblack@google.com }; 5612855Sgabeblack@google.com for (i = 0; i < 142; ++i) { 5712855Sgabeblack@google.com y[i] = ((i & 1) ^ ((i >> 2) & 1)); 5812855Sgabeblack@google.com } 5912855Sgabeblack@google.com for (i = 0; i < 142; ++i) { 6012855Sgabeblack@google.com // sc_assert( y[i] == char((i & 1) ^ ((i >> 2) & 1)) ); 6112855Sgabeblack@google.com sc_assert( y[i] == ((i & 1) ^ ((i >> 2) & 1)) ); 6212855Sgabeblack@google.com } 6312855Sgabeblack@google.com for (i = 0; i < 103; ++i) { 6412855Sgabeblack@google.com z[i] = (((i >> 2) & 1) ^ ((i >> 1) & 1)); 6512855Sgabeblack@google.com } 6612855Sgabeblack@google.com for (i = 0; i < 103; ++i) { 6712855Sgabeblack@google.com sc_assert( (bool) z[i] == (((i >> 2) & 1) ^ ((i >> 1) & 1)) ); 6812855Sgabeblack@google.com } 6912855Sgabeblack@google.com for (i = 0; i < 291; ++i) { 7012855Sgabeblack@google.com w[i] = (((i >> 3) & 1) ^ ((i >> 1) & 1)); 7112855Sgabeblack@google.com } 7212855Sgabeblack@google.com for (i = 0; i < 291; ++i) { 7312855Sgabeblack@google.com sc_assert( (bool) (w[i] == (((i >> 3) & 1) ^ ((i >> 1) & 1))) ); 7412855Sgabeblack@google.com } 7512855Sgabeblack@google.com 7612855Sgabeblack@google.com cout << x << endl; 7712855Sgabeblack@google.com cout << x.to_string() << endl; 7812855Sgabeblack@google.com cout << y << endl; 7912855Sgabeblack@google.com cout << y.to_string() << endl; 8012855Sgabeblack@google.com cout << z << endl; 8112855Sgabeblack@google.com cout << w << endl; 8212855Sgabeblack@google.com 8312855Sgabeblack@google.com for (int k = 0; k < 10; ++k) { 8412855Sgabeblack@google.com cerr << "k = " << k << endl; 8512855Sgabeblack@google.com 8612855Sgabeblack@google.com for (i = 0; i < 100; ++i) { 8712855Sgabeblack@google.com int j; 8812855Sgabeblack@google.com 8912855Sgabeblack@google.com if (k == 0) { 9012855Sgabeblack@google.com cout << "i = " << i << endl; 9112855Sgabeblack@google.com cout << x.range(i + 224, i) << endl; 9212855Sgabeblack@google.com cout << x.range(i + 224, i).to_string() << endl; 9312855Sgabeblack@google.com cout << y.range(i + 41, i) << endl; 9412855Sgabeblack@google.com cout << y.range(i + 41, i).to_string() << endl; 9512855Sgabeblack@google.com cout << sc_signed(z.range(i + 2, i)) << endl; 9612855Sgabeblack@google.com cout << sc_unsigned(w.range(i + 190, i)) << endl; 9712855Sgabeblack@google.com cout << x.range(i, i + 224) << endl; 9812855Sgabeblack@google.com cout << x.range(i, i + 224).to_string() << endl; 9912855Sgabeblack@google.com cout << y.range(i, i + 41) << endl; 10012855Sgabeblack@google.com cout << y.range(i, i + 41).to_string() << endl; 10112855Sgabeblack@google.com cout << sc_signed(z.range(i, i + 2)) << endl; 10212855Sgabeblack@google.com cout << sc_unsigned(w.range(i, i + 190)) << endl; 10312855Sgabeblack@google.com } else { 10412855Sgabeblack@google.com (void) x.range(i + 224, i); 10512855Sgabeblack@google.com (void) y.range(i + 41, i); 10612855Sgabeblack@google.com (void) sc_signed(z.range(i + 2, i)); 10712855Sgabeblack@google.com (void) sc_unsigned(w.range(i + 190, i)); 10812855Sgabeblack@google.com } 10912855Sgabeblack@google.com 11012855Sgabeblack@google.com sc_bv<225> foo; 11112855Sgabeblack@google.com sc_bv<225> foo1; 11212855Sgabeblack@google.com sc_bv<450> foo2; 11312855Sgabeblack@google.com foo = x.range(i + 224, i); 11412855Sgabeblack@google.com foo1 = x.range(i, i + 224); 11512855Sgabeblack@google.com foo2 = (foo1, foo); 11612855Sgabeblack@google.com for (j = 0; j < 225; ++j) { 11712855Sgabeblack@google.com sc_assert( foo[j] == x[i + j] ); 11812855Sgabeblack@google.com sc_assert( foo1[224 - j] == x[i + j] ); 11912855Sgabeblack@google.com sc_assert( foo2.range(449,225) == foo1 ); 12012855Sgabeblack@google.com sc_assert( foo2.range(224,0) == foo ); 12112855Sgabeblack@google.com } 12212855Sgabeblack@google.com // (foo, foo1) = (foo1, foo); 12312855Sgabeblack@google.com (foo, foo1) = foo2; 12412855Sgabeblack@google.com for (j = 0; j < 225; ++j) { 12512855Sgabeblack@google.com sc_assert( foo1[j] == x[i + j] ); 12612855Sgabeblack@google.com sc_assert( foo[224 - j] == x[i + j] ); 12712855Sgabeblack@google.com sc_assert( foo2.range(449,225) == foo ); 12812855Sgabeblack@google.com sc_assert( foo2.range(224,0) == foo1 ); 12912855Sgabeblack@google.com } 13012855Sgabeblack@google.com 13112855Sgabeblack@google.com sc_bv<230> foo3; 13212855Sgabeblack@google.com foo3 = (foo1, "01101"); 13312855Sgabeblack@google.com sc_assert( foo3.range(4,0) == "01101" ); 13412855Sgabeblack@google.com foo3.range(3,1) = "011"; 13512855Sgabeblack@google.com sc_assert( foo3.range(4,0) == "00111" ); 13612855Sgabeblack@google.com for (j = 0; j < 225; ++j) { 13712855Sgabeblack@google.com sc_assert(foo3[j + 5] == foo1[j]); 13812855Sgabeblack@google.com } 13912855Sgabeblack@google.com if (k == 0) { 14012855Sgabeblack@google.com cout << foo3 << endl; 14112855Sgabeblack@google.com } 14212855Sgabeblack@google.com foo3 = ("10100", foo); 14312855Sgabeblack@google.com sc_assert( foo3.range(229,225) == "10100" ); 14412855Sgabeblack@google.com foo3.range(228,226) = "111"; 14512855Sgabeblack@google.com sc_assert( foo3.range(229,225) == "11110" ); 14612855Sgabeblack@google.com for (j = 0; j < 225; ++j) { 14712855Sgabeblack@google.com sc_assert(foo3[j] == foo[j]); 14812855Sgabeblack@google.com } 14912855Sgabeblack@google.com if (k == 0) { 15012855Sgabeblack@google.com cout << foo3 << endl; 15112855Sgabeblack@google.com } 15212855Sgabeblack@google.com foo3 = ("110", foo3.range(229,5), "01"); 15312855Sgabeblack@google.com sc_assert( foo3.range(229,227) == "110" ); 15412855Sgabeblack@google.com sc_assert( foo3.range(1,0) == "01" ); 15512855Sgabeblack@google.com 15612855Sgabeblack@google.com sc_lv<42> bar; 15712855Sgabeblack@google.com sc_lv<42> bar1; 15812855Sgabeblack@google.com sc_lv<84> bar2; 15912855Sgabeblack@google.com bar = y.range(i + 41, i); 16012855Sgabeblack@google.com bar1 = y.range(i, i + 41); 16112855Sgabeblack@google.com bar2 = (bar1, bar); 16212855Sgabeblack@google.com for (j = 0; j < 42; ++j) { 16312855Sgabeblack@google.com sc_assert( bar[j] == y[i + j] ); 16412855Sgabeblack@google.com sc_assert( bar1[41 - j] == y[i + j] ); 16512855Sgabeblack@google.com sc_assert( bar2.range(83,42) == bar1 ); 16612855Sgabeblack@google.com sc_assert( bar2.range(41,0) == bar ); 16712855Sgabeblack@google.com } 16812855Sgabeblack@google.com // (bar, bar1) = (bar1, bar); 16912855Sgabeblack@google.com (bar, bar1) = bar2; 17012855Sgabeblack@google.com for (j = 0; j < 42; ++j) { 17112855Sgabeblack@google.com sc_assert( bar1[j] == y[i + j] ); 17212855Sgabeblack@google.com sc_assert( bar[41 - j] == y[i + j] ); 17312855Sgabeblack@google.com sc_assert( bar2.range(83,42) == bar ); 17412855Sgabeblack@google.com sc_assert( bar2.range(41,0) == bar1 ); 17512855Sgabeblack@google.com } 17612855Sgabeblack@google.com 17712855Sgabeblack@google.com sc_bv<47> bar3; 17812855Sgabeblack@google.com bar3 = (bar1, "01101"); 17912855Sgabeblack@google.com sc_assert( bar3.range(4,0) == "01101" ); 18012855Sgabeblack@google.com bar3.range(3,1) = "011"; 18112855Sgabeblack@google.com sc_assert( bar3.range(4,0) == "00111" ); 18212855Sgabeblack@google.com for (j = 0; j < 42; ++j) { 18312855Sgabeblack@google.com sc_assert(bar3[j + 5] == bar1[j]); 18412855Sgabeblack@google.com } 18512855Sgabeblack@google.com if (k == 0) { 18612855Sgabeblack@google.com cout << bar3 << endl; 18712855Sgabeblack@google.com } 18812855Sgabeblack@google.com bar3 = ("10100", bar); 18912855Sgabeblack@google.com sc_assert( bar3.range(46,42) == "10100" ); 19012855Sgabeblack@google.com bar3.range(45,43) = "111"; 19112855Sgabeblack@google.com sc_assert( bar3.range(46,42) == "11110" ); 19212855Sgabeblack@google.com for (j = 0; j < 42; ++j) { 19312855Sgabeblack@google.com sc_assert(bar3[j] == bar[j]); 19412855Sgabeblack@google.com } 19512855Sgabeblack@google.com if (k == 0) { 19612855Sgabeblack@google.com cout << bar3 << endl; 19712855Sgabeblack@google.com } 19812855Sgabeblack@google.com bar3 = ("101", bar3.range(46,5), "10"); 19912855Sgabeblack@google.com sc_assert( bar3.range(46,44) == "101" ); 20012855Sgabeblack@google.com sc_assert( bar3.range(1,0) == "10" ); 20112855Sgabeblack@google.com 20212855Sgabeblack@google.com 20312855Sgabeblack@google.com sc_signed baz(3); 20412855Sgabeblack@google.com sc_signed baz1(3); 20512855Sgabeblack@google.com baz = z.range(i + 2, i); 20612855Sgabeblack@google.com baz1 = z.range(i, i + 2); 20712855Sgabeblack@google.com for (j = 0; j < 3; ++j) { 20812855Sgabeblack@google.com sc_assert( baz[j] == z[i + j] ); 20912855Sgabeblack@google.com sc_assert( baz1[2 - j] == z[i + j] ); 21012855Sgabeblack@google.com } 21112855Sgabeblack@google.com 21212855Sgabeblack@google.com sc_unsigned quux(191); 21312855Sgabeblack@google.com sc_unsigned quux1(191); 21412855Sgabeblack@google.com quux = w.range(i + 190, i); 21512855Sgabeblack@google.com quux1 = w.range(i, i + 190); 21612855Sgabeblack@google.com for (j = 0; j < 191; ++j) { 21712855Sgabeblack@google.com sc_assert( quux[j] == w[i + j] ); 21812855Sgabeblack@google.com sc_assert( quux1[190 - j] == w[i + j] ); 21912855Sgabeblack@google.com } 22012855Sgabeblack@google.com } 22112855Sgabeblack@google.com } 22212855Sgabeblack@google.com return 0; 22312855Sgabeblack@google.com} 224