summaryrefslogtreecommitdiff
path: root/src/systemc/tests/systemc/datatypes/bit/sc_proxy/test01/test01.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/systemc/tests/systemc/datatypes/bit/sc_proxy/test01/test01.cpp')
-rw-r--r--src/systemc/tests/systemc/datatypes/bit/sc_proxy/test01/test01.cpp1014
1 files changed, 1014 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/datatypes/bit/sc_proxy/test01/test01.cpp b/src/systemc/tests/systemc/datatypes/bit/sc_proxy/test01/test01.cpp
new file mode 100644
index 000000000..12941d7ae
--- /dev/null
+++ b/src/systemc/tests/systemc/datatypes/bit/sc_proxy/test01/test01.cpp
@@ -0,0 +1,1014 @@
+/*****************************************************************************
+
+ 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.
+
+ *****************************************************************************/
+
+/*****************************************************************************
+
+ test01.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 "systemc.h"
+
+#define WRITE(a) \
+ cout << a.length() << endl; \
+ cout << a << endl
+
+void
+test_ctors()
+{
+ cout << "*** test_ctors" << endl;
+ {
+ cout << "sc_bv_base()" << endl;
+
+ sc_bv_base a;
+ WRITE( a );
+ }
+ {
+ cout << "sc_bv_base( int )" << endl;
+
+ sc_bv_base a( 3 );
+ WRITE( a );
+ }
+ {
+ cout << "sc_bv_base( bool )" << endl;
+
+ sc_bv_base a( true );
+ WRITE( a );
+ }
+ {
+ cout << "sc_bv_base( bool, int )" << endl;
+
+ sc_bv_base a( true, 3 );
+ WRITE( a );
+ }
+ {
+ cout << "sc_bv_base( const char* )" << endl;
+
+ sc_bv_base a( "0101" );
+ WRITE( a );
+ sc_bv_base b( "1010" );
+ WRITE( b );
+ sc_bv_base c( "0b0101" );
+ WRITE( c );
+ sc_bv_base d( "0b1010" );
+ WRITE( d );
+ }
+ {
+ cout << "sc_bv_base( const char*, int )" << endl;
+
+ sc_bv_base a3( "0101", 3 );
+ WRITE( a3 );
+ sc_bv_base a4( "0101", 4 );
+ WRITE( a4 );
+ sc_bv_base a5( "0101", 5 );
+ WRITE( a5 );
+
+ sc_bv_base b3( "1010", 3 );
+ WRITE( b3 );
+ sc_bv_base b4( "1010", 4 );
+ WRITE( b4 );
+ sc_bv_base b5( "1010", 5 );
+ WRITE( b5 );
+
+ sc_bv_base c3( "0b0101", 3 );
+ WRITE( c3 );
+ sc_bv_base c4( "0b0101", 4 );
+ WRITE( c4 );
+ sc_bv_base c5( "0b0101", 5 );
+ WRITE( c5 );
+
+ sc_bv_base d3( "0b1010", 3 );
+ WRITE( d3 );
+ sc_bv_base d4( "0b1010", 4 );
+ WRITE( d4 );
+ sc_bv_base d5( "0b1010", 5 );
+ WRITE( d5 );
+ }
+ {
+ cout << "sc_bv_base( const sc_proxy<X>& )" << endl;
+
+ sc_lv<4> x( "01ZX" );
+ sc_bv_base a( x );
+ WRITE( a );
+ }
+ {
+ cout << "sc_bv_base( const sc_bv_base& )" << endl;
+
+ sc_bv<4> x( "0110" );
+ sc_bv_base a( x );
+ WRITE( a );
+ }
+}
+
+void
+test_bitwise_complement()
+{
+ cout << "*** test_bitwise_complement" << endl;
+ {
+ cout << "sc_bv_base::b_not()" << endl;
+
+ sc_bv_base a( "0110", 4 );
+ WRITE( a );
+ a.b_not();
+ WRITE( a );
+ }
+ {
+ cout << "sc_bv_base::operator ~ () const" << endl;
+
+ sc_bv_base a( "0110", 4 );
+ WRITE( a );
+ sc_bv_base b( 4 );
+ b = ~a;
+ WRITE( b );
+ }
+ {
+ cout << "sc_lv_base::b_not()" << endl;
+
+ sc_lv_base a( "01ZX", 4 );
+ WRITE( a );
+ a.b_not();
+ WRITE( a );
+ }
+ {
+ cout << "sc_lv_base::operator ~ () const" << endl;
+
+ sc_lv_base a( "01ZX", 4 );
+ WRITE( a );
+ sc_lv_base b( 4 );
+ b = ~a;
+ WRITE( b );
+ }
+ {
+ cout << "sc_proxy<X>::b_not()" << endl;
+
+ sc_lv_base a( "01ZX", 4 );
+ WRITE( a );
+ (a( 3, 2 ), a( 1, 0 )).b_not();
+ WRITE( a );
+ }
+ {
+ cout << "sc_proxy<X>::operator ~ () const" << endl;
+
+ sc_lv_base a( "01ZX", 4 );
+ WRITE( a );
+ sc_lv_base b( 4 );
+ b = ~(a( 3, 2 ), a( 1, 0 ));
+ WRITE( b );
+ }
+}
+
+void
+test_bitwise_and()
+{
+ cout << "*** test_bitwise_and" << endl;
+}
+
+void
+test_bitwise_or()
+{
+ cout << "*** test_bitwise_or" << endl;
+}
+
+void
+test_bitwise_xor()
+{
+ cout << "*** test_bitwise_xor" << endl;
+}
+
+void
+test_bitwise_left_shift()
+{
+ cout << "*** test_bitwise_left_shift" << endl;
+ {
+ cout << "sc_bv_base::operator <<= ( int )" << endl;
+
+ sc_bv_base a( 1, 70 );
+ a[0] = 0;
+ WRITE( a );
+ try {
+ a <<= -1;
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ a <<= 3;
+ WRITE( a );
+ a <<= 33;
+ WRITE( a );
+ a <<= 72;
+ WRITE( a );
+ }
+ {
+ cout << "sc_bv_base::operator << ( int ) const" << endl;
+
+ sc_bv_base a( 1, 70 );
+ a[0] = 0;
+ WRITE( a );
+ sc_bv_base b( 70 );
+ try {
+ b = a << -1;
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = a << 3;
+ WRITE( b );
+ b = a << 33;
+ WRITE( b );
+ b = a << 72;
+ WRITE( b );
+ }
+ {
+ cout << "sc_lv_base::operator <<= ( int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[0] = SC_LOGIC_Z;
+ WRITE( a );
+ try {
+ a <<= -1;
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ a <<= 3;
+ WRITE( a );
+ a <<= 33;
+ WRITE( a );
+ a <<= 72;
+ WRITE( a );
+ }
+ {
+ cout << "sc_lv_base::operator << ( int ) const" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[0] = SC_LOGIC_Z;
+ WRITE( a );
+ sc_lv_base b( 70 );
+ try {
+ b = a << -1;
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = a << 3;
+ WRITE( b );
+ b = a << 33;
+ WRITE( b );
+ b = a << 72;
+ WRITE( b );
+ }
+ {
+ cout << "sc_proxy<X>::operator <<= ( int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[0] = SC_LOGIC_Z;
+ WRITE( a );
+ try {
+ (a( 69, 20 ), a( 19, 0 )) <<= -1;
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ // FIX ME: BUG, the following two operations result in 0XX..
+ (a( 69, 20 ), a( 19, 0 )) <<= 3;
+ WRITE( a );
+ (a( 69, 20 ), a( 19, 0 )) <<= 33;
+ WRITE( a );
+ (a( 69, 20 ), a( 19, 0 )) <<= 72;
+ WRITE( a );
+ }
+ {
+ cout << "sc_proxy<X>::operator << ( int ) const" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[0] = SC_LOGIC_Z;
+ WRITE( a );
+ sc_lv_base b( 70 );
+ try {
+ b = (a( 69, 20 ), a( 19, 0 )) << -1;
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = (a( 69, 20 ), a( 19, 0 )) << 3;
+ WRITE( b );
+ b = (a( 69, 20 ), a( 19, 0 )) << 33;
+ WRITE( b );
+ b = (a( 69, 20 ), a( 19, 0 )) << 72;
+ WRITE( b );
+ }
+}
+
+void
+test_bitwise_right_shift()
+{
+ cout << "*** test_bitwise_right_shift" << endl;
+ {
+ cout << "sc_bv_base::operator >>= ( int )" << endl;
+
+ sc_bv_base a( 1, 70 );
+ a[69] = 0;
+ WRITE( a );
+ try {
+ a >>= -1;
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ a >>= 3;
+ WRITE( a );
+ a >>= 33;
+ WRITE( a );
+ a >>= 72;
+ WRITE( a );
+ }
+ {
+ cout << "sc_bv_base::operator >> ( int ) const" << endl;
+
+ sc_bv_base a( 1, 70 );
+ a[69] = 0;
+ WRITE( a );
+ sc_bv_base b( 70 );
+ try {
+ b = a >> -1;
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = a >> 3;
+ WRITE( b );
+ b = a >> 33;
+ WRITE( b );
+ b = a >> 72;
+ WRITE( b );
+ }
+ {
+ cout << "sc_lv_base::operator >>= ( int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[69] = SC_LOGIC_Z;
+ WRITE( a );
+ try {
+ a >>= -1;
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ a >>= 3;
+ WRITE( a );
+ a >>= 33;
+ WRITE( a );
+ a >>= 72;
+ WRITE( a );
+ }
+ {
+ cout << "sc_lv_base::operator >> ( int ) const" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[69] = SC_LOGIC_Z;
+ WRITE( a );
+ sc_lv_base b( 70 );
+ try {
+ b = a >> -1;
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = a >> 3;
+ WRITE( b );
+ b = a >> 33;
+ WRITE( b );
+ b = a >> 72;
+ WRITE( b );
+ }
+ {
+ cout << "sc_proxy<X>::operator >>= ( int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[69] = SC_LOGIC_Z;
+ WRITE( a );
+ try {
+ (a( 69, 20 ), a( 19, 0 )) >>= -1;
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ (a( 69, 20 ), a( 19, 0 )) >>= 3;
+ WRITE( a );
+ (a( 69, 20 ), a( 19, 0 )) >>= 33;
+ WRITE( a );
+ (a( 69, 20 ), a( 19, 0 )) >>= 72;
+ WRITE( a );
+ }
+ {
+ cout << "sc_proxy<X>::operator >> ( int ) const" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[69] = SC_LOGIC_Z;
+ WRITE( a );
+ sc_lv_base b( 70 );
+ try {
+ b = (a( 69, 20 ), a( 19, 0 )) >> -1;
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = (a( 69, 20 ), a( 19, 0 )) >> 3;
+ WRITE( b );
+ b = (a( 69, 20 ), a( 19, 0 )) >> 33;
+ WRITE( b );
+ b = (a( 69, 20 ), a( 19, 0 )) >> 72;
+ WRITE( b );
+ }
+}
+
+void
+test_bitwise_left_rotate()
+{
+ cout << "*** test_bitwise_left_rotate" << endl;
+ {
+ cout << "sc_bv_base::lrotate( int )" << endl;
+
+ sc_bv_base a( 1, 70 );
+ a[0] = 0;
+ WRITE( a );
+ try {
+ a.lrotate( -1 );
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ a.lrotate( 3 );
+ WRITE( a );
+ a.lrotate( 33 );
+ WRITE( a );
+ a.lrotate( 72 );
+ WRITE( a );
+ }
+ {
+ cout << "lrotate( const sc_bv_base&, int )" << endl;
+
+ sc_bv_base a( 1, 70 );
+ a[0] = 0;
+ WRITE( a );
+ sc_bv_base b( 70 );
+ try {
+ b = lrotate( a, -1 );
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = lrotate( a, 3 );
+ WRITE( b );
+ b = lrotate( a, 33 );
+ WRITE( b );
+ b = lrotate( a, 72 );
+ WRITE( b );
+ }
+ {
+ cout << "sc_lv_base::lrotate( int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[0] = SC_LOGIC_Z;
+ WRITE( a );
+ try {
+ a.lrotate( -1 );
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ a.lrotate( 3 );
+ WRITE( a );
+ a.lrotate( 33 );
+ WRITE( a );
+ a.lrotate( 72 );
+ WRITE( a );
+ }
+ {
+ cout << "lrotate( const sc_lv_base&, int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[0] = SC_LOGIC_Z;
+ WRITE( a );
+ sc_lv_base b( 70 );
+ try {
+ b = lrotate( a, -1 );
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = lrotate( a, 3 );
+ WRITE( b );
+ b = lrotate( a, 33 );
+ WRITE( b );
+ b = lrotate( a, 72 );
+ WRITE( b );
+ }
+ {
+ cout << "sc_proxy<X>::lrotate( int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[0] = SC_LOGIC_Z;
+ WRITE( a );
+ try {
+ (a( 69, 20 ), a( 19, 0 )).lrotate( -1 );
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ (a( 69, 20 ), a( 19, 0 )).lrotate( 3 );
+ WRITE( a );
+ (a( 69, 20 ), a( 19, 0 )).lrotate( 33 );
+ WRITE( a );
+ (a( 69, 20 ), a( 19, 0 )).lrotate( 72 );
+ WRITE( a );
+ }
+ {
+ cout << "lrotate( const sc_proxy<X>&, int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[0] = SC_LOGIC_Z;
+ WRITE( a );
+ sc_lv_base b( 70 );
+ try {
+ b = lrotate( (a( 69, 20 ), a( 19, 0 )), -1 );
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = lrotate( (a( 69, 20 ), a( 19, 0 )), 3 );
+ WRITE( b );
+ b = lrotate( (a( 69, 20 ), a( 19, 0 )), 33 );
+ WRITE( b );
+ b = lrotate( (a( 69, 20 ), a( 19, 0 )), 72 );
+ WRITE( b );
+ }
+}
+
+void
+test_bitwise_right_rotate()
+{
+ cout << "*** test_bitwise_right_rotate" << endl;
+ {
+ cout << "sc_bv_base::rrotate( int )" << endl;
+
+ sc_bv_base a( 1, 70 );
+ a[69] = 0;
+ WRITE( a );
+ try {
+ a.rrotate( -1 );
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ a.rrotate( 3 );
+ WRITE( a );
+ a.rrotate( 33 );
+ WRITE( a );
+ a.rrotate( 72 );
+ WRITE( a );
+ }
+ {
+ cout << "rrotate( const sc_bv_base&, int )" << endl;
+
+ sc_bv_base a( 1, 70 );
+ a[69] = 0;
+ WRITE( a );
+ sc_bv_base b( 70 );
+ try {
+ b = rrotate( a, -1 );
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = rrotate( a, 3 );
+ WRITE( b );
+ b = rrotate( a, 33 );
+ WRITE( b );
+ b = rrotate( a, 72 );
+ WRITE( b );
+ }
+ {
+ cout << "sc_lv_base::rrotate( int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[69] = SC_LOGIC_Z;
+ WRITE( a );
+ try {
+ a.rrotate( -1 );
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ a.rrotate( 3 );
+ WRITE( a );
+ a.rrotate( 33 );
+ WRITE( a );
+ a.rrotate( 72 );
+ WRITE( a );
+ }
+ {
+ cout << "rrotate( const sc_lv_base&, int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[69] = SC_LOGIC_Z;
+ WRITE( a );
+ sc_lv_base b( 70 );
+ try {
+ b = rrotate( a, -1 );
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = rrotate( a, 3 );
+ WRITE( b );
+ b = rrotate( a, 33 );
+ WRITE( b );
+ b = rrotate( a, 72 );
+ WRITE( b );
+ }
+ {
+ cout << "sc_proxy<X>::rrotate( int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[69] = SC_LOGIC_Z;
+ WRITE( a );
+ try {
+ (a( 69, 20 ), a( 19, 0 )).rrotate( -1 );
+ WRITE( a );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ // FIX ME: BUG, the following three operations result in 0XX..
+ (a( 69, 20 ), a( 19, 0 )).rrotate( 3 );
+ WRITE( a );
+ (a( 69, 20 ), a( 19, 0 )).rrotate( 33 );
+ WRITE( a );
+ (a( 69, 20 ), a( 19, 0 )).rrotate( 72 );
+ WRITE( a );
+ }
+ {
+ cout << "rrotate( const sc_proxy<X>&, int )" << endl;
+
+ sc_lv_base a( SC_LOGIC_X, 70 );
+ a[69] = SC_LOGIC_Z;
+ WRITE( a );
+ sc_lv_base b( 70 );
+ try {
+ b = rrotate( (a( 69, 20 ), a( 19, 0 )), -1 );
+ WRITE( b );
+ }
+ catch( sc_report x ) {
+ cout << "\ncaught exception" << endl;
+ cout << x.what() << endl;
+ }
+ b = rrotate( (a( 69, 20 ), a( 19, 0 )), 3 );
+ WRITE( b );
+ b = rrotate( (a( 69, 20 ), a( 19, 0 )), 33 );
+ WRITE( b );
+ b = rrotate( (a( 69, 20 ), a( 19, 0 )), 72 );
+ WRITE( b );
+ }
+}
+
+void
+test_bitwise_reverse()
+{
+ cout << "*** test_bitwise_reverse" << endl;
+ {
+ cout << "sc_bv_base::reverse()" << endl;
+
+ sc_bv_base a( "1111000", 7 );
+ WRITE( a );
+ a.reverse();
+ WRITE( a );
+ sc_bv_base b( "11110000", 8 );
+ WRITE( b );
+ b.reverse();
+ WRITE( b );
+ }
+ {
+ cout << "reverse( const sc_bv_base& )" << endl;
+
+ sc_bv_base a( "1111000", 7 );
+ WRITE( a );
+ sc_bv_base b( 7 );
+ b = reverse( a );
+ WRITE( b );
+ sc_bv_base c( "11110000", 8 );
+ WRITE( c );
+ sc_bv_base d( 8 );
+ d = reverse( c );
+ WRITE( d );
+ }
+ {
+ cout << "sc_lv_base::reverse()" << endl;
+
+ sc_lv_base a( "01ZX01Z", 7 );
+ WRITE( a );
+ a.reverse();
+ WRITE( a );
+ sc_lv_base b( "01ZX01ZX", 8 );
+ WRITE( b );
+ b.reverse();
+ WRITE( b );
+ }
+ {
+ cout << "reverse( const sc_lv_base& )" << endl;
+
+ sc_lv_base a( "01ZX01Z", 7 );
+ WRITE( a );
+ sc_lv_base b( 7 );
+ b = reverse( a );
+ WRITE( b );
+ sc_lv_base c( "01ZX01ZX", 8 );
+ WRITE( c );
+ sc_lv_base d( 8 );
+ d = reverse( c );
+ WRITE( d );
+ }
+ {
+ cout << "sc_proxy<X>::reverse()" << endl;
+
+ sc_lv_base a( "01ZX01ZX", 8 );
+ WRITE( a );
+ (a( 7, 4 ), a( 3, 0 )).reverse();
+ WRITE( a );
+ (a( 0, 3 ), a( 4, 7 )).reverse();
+ WRITE( a );
+ }
+ {
+ cout << "reverse( const sc_proxy<X>& )" << endl;
+
+ sc_lv_base a( "01ZX01ZX", 8 );
+ WRITE( a );
+ sc_lv_base b( 8 );
+ b = reverse( (a( 7, 4 ), a( 3, 0 )) );
+ WRITE( b );
+ b = reverse( (a( 0, 3 ), a( 4, 7 )) );
+ WRITE( b );
+ }
+}
+
+void
+test_string_conversions()
+{
+ cout << "*** test_string_conversions" << endl;
+ {
+ cout << "sc_bv_base" << endl;
+
+ sc_bv_base a( 1, 8 );
+ sc_bv_base b( 8 );
+ std::string s;
+ s = a.to_string();
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_BIN );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_BIN_US );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_BIN_SM );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_OCT );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_OCT_US );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_OCT_SM );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_HEX );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_HEX_US );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_HEX_SM );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_DEC );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_CSD );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ }
+ {
+ cout << "sc_lv_base" << endl;
+
+ sc_lv_base a( SC_LOGIC_1, 8 );
+ sc_lv_base b( 8 );
+ std::string s;
+ s = a.to_string();
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_BIN );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_BIN_US );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_BIN_SM );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_OCT );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_OCT_US );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_OCT_SM );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_HEX );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_HEX_US );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_HEX_SM );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_DEC );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ s = a.to_string( SC_CSD );
+ cout << s << endl;
+ b = s.c_str();
+ sc_assert( b == a );
+ }
+ {
+ cout << "sc_proxy<X>" << endl;
+
+ sc_lv_base a( SC_LOGIC_1, 8 );
+ sc_lv_base b( 8 );
+ std::string s;
+ s = (a( 7, 4 ), a( 3, 0 )).to_string();
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ s = (a( 7, 4 ), a( 3, 0 )).to_string( SC_BIN );
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ s = (a( 7, 4 ), a( 3, 0 )).to_string( SC_BIN_US );
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ s = (a( 7, 4 ), a( 3, 0 )).to_string( SC_BIN_SM );
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ s = (a( 7, 4 ), a( 3, 0 )).to_string( SC_OCT );
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ s = (a( 7, 4 ), a( 3, 0 )).to_string( SC_OCT_US );
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ s = (a( 7, 4 ), a( 3, 0 )).to_string( SC_OCT_SM );
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ s = (a( 7, 4 ), a( 3, 0 )).to_string( SC_HEX );
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ s = (a( 7, 4 ), a( 3, 0 )).to_string( SC_HEX_US );
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ s = (a( 7, 4 ), a( 3, 0 )).to_string( SC_HEX_SM );
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ s = (a( 7, 4 ), a( 3, 0 )).to_string( SC_DEC );
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ s = (a( 7, 4 ), a( 3, 0 )).to_string( SC_CSD );
+ cout << s << endl;
+ (b( 7, 4 ), b( 3, 0 )) = s.c_str();
+ sc_assert( b == a );
+ }
+}
+
+int
+sc_main( int, char*[] )
+{
+ test_ctors();
+ test_bitwise_complement();
+ test_bitwise_and();
+ test_bitwise_or();
+ test_bitwise_xor();
+ test_bitwise_left_shift();
+ test_bitwise_right_shift();
+ test_bitwise_left_rotate();
+ test_bitwise_right_rotate();
+ test_bitwise_reverse();
+ test_string_conversions();
+
+ return 0;
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-13 10:22:42 +0000