| /***************************************************************************** |
| |
| Licensed to Accellera Systems Initiative Inc. (Accellera) under one or |
| more contributor license agreements. See the NOTICE file distributed |
| with this work for additional information regarding copyright ownership. |
| Accellera licenses this file to you under the Apache License, Version 2.0 |
| (the "License"); you may not use this file except in compliance with the |
| License. You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, software |
| distributed under the License is distributed on an "AS IS" BASIS, |
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or |
| implied. See the License for the specific language governing |
| permissions and limitations under the License. |
| |
| *****************************************************************************/ |
| |
| /***************************************************************************** |
| |
| arith05.cpp -- |
| |
| Original Author: Martin Janssen, Synopsys, Inc., 2002-02-15 |
| |
| *****************************************************************************/ |
| |
| /***************************************************************************** |
| |
| MODIFICATION LOG - modifiers, enter your name, affiliation, date and |
| changes you are making here. |
| |
| Name, Affiliation, Date: |
| Description of Modification: |
| |
| *****************************************************************************/ |
| |
| #include <stdlib.h> |
| #include "systemc.h" |
| #include "isaac.h" |
| |
| QTIsaac<8> rng; // Platform independent random number generator. |
| |
| void |
| check_string( const sc_signed& z, int v ) |
| { |
| std::string buf( z.to_string( SC_BIN ) ); |
| if (z < 0) { |
| sc_assert(buf[2] == '1'); |
| } else { |
| sc_assert(buf[2] == '0'); |
| } |
| } |
| |
| int |
| sc_main( int argc, char* argv[] ) |
| { |
| unsigned vali[5] = { 0, 1, (unsigned)-1, 7, (unsigned)-8 }; |
| unsigned valj[5] = { 0, 1, (unsigned)-1, 7, (unsigned)-8 }; |
| |
| for (unsigned i = 3; i < 32; ++i) { |
| for (unsigned j = 3; j < 32; ++j) { |
| cout << "i = " << i << ", j = " << j << endl; |
| |
| sc_unsigned x(i); |
| sc_unsigned y(j); |
| sc_unsigned z(64); |
| |
| vali[3] = (1 << (i - 1)) - 1; |
| vali[4] = - (1 << (i - 1)); |
| |
| valj[3] = (1 << (j - 1)) - 1; |
| valj[4] = - (1 << (j - 1)); |
| |
| for (unsigned ii = 0; ii < 100; ++ii) { |
| for (unsigned jj = 0; jj < 100; ++jj) { |
| unsigned qi = (ii < 5) ? vali[ii] : (rng.rand() & ((1 << i) - 1)); |
| unsigned qj = (jj < 5) ? valj[jj] : (rng.rand() & ((1 << j) - 1)); |
| unsigned tqi; |
| |
| if (qi & (1 << (i - 1))) { |
| qi = (qi << (32 - i)) >> (32 - i); |
| } |
| if (qj & (1 << (j - 1))) { |
| qj = (qj << (32 - j)) >> (32 - j); |
| } |
| |
| x = qi; |
| tqi = qi; |
| sc_assert( x == qi ); |
| y = qj; |
| sc_assert( y == qj ); |
| sc_assert((x == qj) == (qi == qj)); |
| sc_assert((x == qj) == (qj == x)); |
| sc_assert((x != qj) == (qi != qj)); |
| sc_assert((x != qj) == (qj != x)); |
| sc_assert((x < qj) == (qi < qj)); |
| sc_assert((x < qj) == (qj > x)); |
| sc_assert((x <= qj) == (qi <= qj)); |
| sc_assert((x <= qj) == (qj >= x)); |
| sc_assert((x > qj) == (qi > qj)); |
| sc_assert((x > qj) == (qj < x)); |
| sc_assert((x >= qj) == (qi >= qj)); |
| sc_assert((x >= qj) == (qj <= x)); |
| |
| x += y; |
| tqi += qj; |
| tqi = (tqi << (32 - i)) >> (32 - i); |
| sc_assert( x == tqi ); |
| |
| x = qi; |
| tqi = qi; |
| x -= y; |
| tqi -= qj; |
| tqi = (tqi << (32 - i)) >> (32 - i); |
| sc_assert( x == tqi ); |
| |
| x = qi; |
| tqi = qi; |
| x *= y; |
| tqi *= qj; |
| tqi = (tqi << (32 - i)) >> (32 - i); |
| sc_assert( x == tqi ); |
| |
| if (y != 0) { |
| x = qi; |
| tqi = qi; |
| x /= y; |
| tqi /= qj; |
| tqi = (tqi << (32 - i)) >> (32 - i); |
| sc_assert( x == tqi ); |
| |
| x = qi; |
| tqi = qi; |
| x %= y; |
| tqi %= qj; |
| tqi = (tqi << (32 - i)) >> (32 - i); |
| sc_assert( x == tqi ); |
| } |
| |
| x = qi; |
| tqi = qi; |
| x &= y; |
| tqi &= qj; |
| tqi = (tqi << (32 - i)) >> (32 - i); |
| sc_assert( x == tqi ); |
| |
| x = qi; |
| tqi = qi; |
| x |= y; |
| tqi |= qj; |
| tqi = (tqi << (32 - i)) >> (32 - i); |
| sc_assert( x == tqi ); |
| |
| x = qi; |
| tqi = qi; |
| x ^= y; |
| tqi ^= qj; |
| tqi = (tqi << (32 - i)) >> (32 - i); |
| sc_assert( x == tqi ); |
| |
| if (jj < i - 1) { |
| x = qi; |
| tqi = qi; |
| x <<= jj; |
| tqi <<= jj; |
| tqi = (tqi << (32 - i)) >> (32 - i); |
| sc_assert( x == tqi ); |
| |
| x = qi; |
| tqi = qi; |
| x >>= jj; |
| tqi >>= jj; |
| tqi = (tqi << (32 - i)) >> (32 - i); |
| sc_assert( x == tqi ); |
| } |
| } |
| } |
| } |
| } |
| return 0; |
| } |