1 files changed, 498 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/datatypes/bit/sc_proxy/test01/golden/test01.log b/src/systemc/tests/systemc/datatypes/bit/sc_proxy/test01/golden/test01.log
new file mode 100644
index 000000000..1d06f278b
--- /dev/null
+++ b/src/systemc/tests/systemc/datatypes/bit/sc_proxy/test01/golden/test01.log
@@ -0,0 +1,498 @@
+SystemC Simulation
+*** test_ctors
+sc_bv_base()
+32
+00000000000000000000000000000000
+sc_bv_base( int )
+3
+000
+sc_bv_base( bool )
+32
+11111111111111111111111111111111
+sc_bv_base( bool, int )
+3
+111
+sc_bv_base( const char* )
+4
+0101
+4
+1010
+4
+0101
+4
+1010
+sc_bv_base( const char*, int )
+3
+101
+4
+0101
+5
+00101
+3
+010
+4
+1010
+5
+01010
+3
+101
+4
+0101
+5
+00101
+3
+010
+4
+1010
+5
+11010
+sc_bv_base( const sc_proxy<X>& )
+
+Warning: (W207) sc_bv cannot contain values X and Z
+In file: <removed by verify.pl>
+4
+0101
+sc_bv_base( const sc_bv_base& )
+4
+0110
+*** test_bitwise_complement
+sc_bv_base::b_not()
+4
+0110
+4
+1001
+sc_bv_base::operator ~ () const
+4
+0110
+4
+1001
+sc_lv_base::b_not()
+4
+01ZX
+4
+10XX
+sc_lv_base::operator ~ () const
+4
+01ZX
+4
+10XX
+sc_proxy<X>::b_not()
+4
+01ZX
+4
+10XX
+sc_proxy<X>::operator ~ () const
+4
+01ZX
+4
+10XX
+*** test_bitwise_and
+*** test_bitwise_or
+*** test_bitwise_xor
+*** test_bitwise_left_shift
+sc_bv_base::operator <<= ( int )
+70
+1111111111111111111111111111111111111111111111111111111111111111111110
+
+caught exception
+Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+1111111111111111111111111111111111111111111111111111111111111111110000
+70
+1111111111111111111111111111111110000000000000000000000000000000000000
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+sc_bv_base::operator << ( int ) const
+70
+1111111111111111111111111111111111111111111111111111111111111111111110
+
+caught exception
+Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+1111111111111111111111111111111111111111111111111111111111111111110000
+70
+1111111111111111111111111111111111110000000000000000000000000000000000
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+sc_lv_base::operator <<= ( int )
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ
+
+caught exception
+Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000000
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+sc_lv_base::operator << ( int ) const
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ
+
+caught exception
+Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+sc_proxy<X>::operator <<= ( int )
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ
+
+caught exception
+Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000000
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+sc_proxy<X>::operator << ( int ) const
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ
+
+caught exception
+Error: (E5) out of bounds: left shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ000000000000000000000000000000000
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+*** test_bitwise_right_shift
+sc_bv_base::operator >>= ( int )
+70
+0111111111111111111111111111111111111111111111111111111111111111111111
+
+caught exception
+Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+0000111111111111111111111111111111111111111111111111111111111111111111
+70
+0000000000000000000000000000000000000111111111111111111111111111111111
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+sc_bv_base::operator >> ( int ) const
+70
+0111111111111111111111111111111111111111111111111111111111111111111111
+
+caught exception
+Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+0000111111111111111111111111111111111111111111111111111111111111111111
+70
+0000000000000000000000000000000000111111111111111111111111111111111111
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+sc_lv_base::operator >>= ( int )
+70
+ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+
+caught exception
+Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+000000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+sc_lv_base::operator >> ( int ) const
+70
+ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+
+caught exception
+Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+sc_proxy<X>::operator >>= ( int )
+70
+ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+
+caught exception
+Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+000000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+sc_proxy<X>::operator >> ( int ) const
+70
+ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+
+caught exception
+Error: (E5) out of bounds: right shift operation is only allowed with positive shift values, shift value = -1
+In file: <removed by verify.pl>
+70
+000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+000000000000000000000000000000000ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+0000000000000000000000000000000000000000000000000000000000000000000000
+*** test_bitwise_left_rotate
+sc_bv_base::lrotate( int )
+70
+1111111111111111111111111111111111111111111111111111111111111111111110
+
+caught exception
+Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+1111111111111111111111111111111111111111111111111111111111111111110111
+70
+1111111111111111111111111111111110111111111111111111111111111111111111
+70
+1111111111111111111111111111111011111111111111111111111111111111111111
+lrotate( const sc_bv_base&, int )
+70
+1111111111111111111111111111111111111111111111111111111111111111111110
+
+caught exception
+Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+1111111111111111111111111111111111111111111111111111111111111111110111
+70
+1111111111111111111111111111111111110111111111111111111111111111111111
+70
+1111111111111111111111111111111111111111111111111111111111111111111011
+sc_lv_base::lrotate( int )
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ
+
+caught exception
+Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+lrotate( const sc_lv_base&, int )
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ
+
+caught exception
+Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXX
+sc_proxy<X>::lrotate( int )
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ
+
+caught exception
+Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+lrotate( const sc_proxy<X>&,  int )
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZ
+
+caught exception
+Error: (E5) out of bounds: left rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXX
+*** test_bitwise_right_rotate
+sc_bv_base::rrotate( int )
+70
+0111111111111111111111111111111111111111111111111111111111111111111111
+
+caught exception
+Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+1110111111111111111111111111111111111111111111111111111111111111111111
+70
+1111111111111111111111111111111111110111111111111111111111111111111111
+70
+1111111111111111111111111111111111111101111111111111111111111111111111
+rrotate( const sc_bv_base&, int )
+70
+0111111111111111111111111111111111111111111111111111111111111111111111
+
+caught exception
+Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+1110111111111111111111111111111111111111111111111111111111111111111111
+70
+1111111111111111111111111111111110111111111111111111111111111111111111
+70
+1101111111111111111111111111111111111111111111111111111111111111111111
+sc_lv_base::rrotate( int )
+70
+ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+
+caught exception
+Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+rrotate( const sc_lv_base&, int )
+70
+ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+
+caught exception
+Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+sc_proxy<X>::rrotate( int )
+70
+ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+
+caught exception
+Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+rrotate( const sc_proxy<X>&,  int )
+70
+ZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+
+caught exception
+Error: (E5) out of bounds: right rotate operation is only allowed with positive rotate values, rotate value = -1
+In file: <removed by verify.pl>
+70
+XXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+70
+XXZXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
+*** test_bitwise_reverse
+sc_bv_base::reverse()
+7
+1111000
+7
+0001111
+8
+11110000
+8
+00001111
+reverse( const sc_bv_base& )
+7
+1111000
+7
+0001111
+8
+11110000
+8
+00001111
+sc_lv_base::reverse()
+7
+01ZX01Z
+7
+Z10XZ10
+8
+01ZX01ZX
+8
+XZ10XZ10
+reverse( const sc_lv_base& )
+7
+01ZX01Z
+7
+Z10XZ10
+8
+01ZX01ZX
+8
+XZ10XZ10
+sc_proxy<X>::reverse()
+8
+01ZX01ZX
+8
+XZ10XZ10
+8
+01ZX01ZX
+reverse( const sc_proxy<X>& )
+8
+01ZX01ZX
+8
+XZ10XZ10
+8
+01ZX01ZX
+*** test_string_conversions
+sc_bv_base
+11111111
+0b011111111
+0bus11111111
+0bsm11111111
+0o377
+0ous377
+0osm377
+0x0ff
+0xusff
+0xsmff
+0d255
+0csd10000000-
+sc_lv_base
+11111111
+0b011111111
+0bus11111111
+0bsm11111111
+0o377
+0ous377
+0osm377
+0x0ff
+0xusff
+0xsmff
+0d255
+0csd10000000-
+sc_proxy<X>
+11111111
+0b011111111
+0bus11111111
+0bsm11111111
+0o377
+0ous377
+0osm377
+0x0ff
+0xusff
+0xsmff
+0d255
+0csd10000000-