sc_bitref/test01/test_bitref.cpp

42   sc_bv<8> bv = "00101010";
47     sc_nassert( bv[0] );
48     sc_assert ( !bv[0] );
49     // sc_assert( ~bv[0] ); // could not convert ... to ‘bool’
50     sc_nassert( bv[0].to_bool() );
51     sc_assert ( !bv[0].to_bool() );
52     sc_assert( (~bv[0]).to_bool() );
55     sc_assert( bv[1] );
57     sc_nassert( !bv[1] );
58     sc_assert ( bv[1].to_bool() );
59     sc_nassert( (~bv[1]).to_bool() );
61     sc_nassert( bv[0] == true );
62     sc_assert ( bv[0] != true );
63     sc_assert ( bv[0] == SC_LOGIC_0 );
64     sc_nassert( bv[0].to_bool() );
65     sc_assert( bv[1].to_bool() );
66     sc_nassert( bv[0] != 0 );
67     sc_nassert( bv[0] == bv[1] );
68     sc_nassert( SC_LOGIC_1 != bv[1] );
70     sc_assert ( bv[0] == '0' );
71     sc_nassert( bv[1] == '0' );
72     sc_assert ( bv[1] == '1' );
73     sc_nassert( bv[0] == '1' );
75     sc_nassert( bv[0] != '0' );
76     sc_assert ( bv[1] != '0' );
77     sc_nassert( bv[1] != '1' );
78     sc_assert ( bv[0] != '1' );
80     sc_assert ( '0' == bv[0] );
81     sc_nassert( '0' == bv[1] );
82     sc_assert ( '1' == bv[1] );
83     sc_nassert( '1' == bv[0] );
85     sc_nassert( '0' != bv[0] );
86     sc_assert ( '0' != bv[1] );
87     sc_nassert( '1' != bv[1] );
88     sc_assert ( '1' != bv[0] );
90     sc_nassert( ~bv[0] == '0' );
91     sc_assert ( ~bv[1] == '0' );
92     sc_nassert( ~bv[1] == '1' );
93     sc_assert ( ~bv[0] == '1' );
95     sc_assert ( ~bv[0] != '0' );
96     sc_nassert( ~bv[1] != '0' );
97     sc_assert ( ~bv[1] != '1' );
98     sc_nassert( ~bv[0] != '1' );
100     sc_nassert( '0' == ~bv[0] );
101     sc_assert ( '0' == ~bv[1] );
102     sc_nassert( '1' == ~bv[1] );
103     sc_assert ( '1' == ~bv[0] );
105     sc_assert ( '0' != ~bv[0] );
106     sc_nassert( '0' != ~bv[1] );
107     sc_assert ( '1' != ~bv[1] );
108     sc_nassert( '1' != ~bv[0] );
112     sc_assert( bv[0] == lv[0] );
113     sc_assert( bv[0] != lv[6] );
115     sc_assert( bv.or_reduce() );
116     sc_assert( !bv.nor_reduce() );
137     /* auto */ sc_subref_r< sc_bv_base > bv_range_r = bv.range(5,1);
140     /* auto */ sc_subref< sc_bv_base >   bv_range   = bv.range(5,1);
150     sc_assert( bv[1] == bv_range_r[0] );
153     sc_assert( !bv[1] );
154     sc_assert( bv[1] == bv_range_r[0] );
155     sc_assert( bv[1] == bv_range[0] );
159     sc_assert( bv[1] );
161     sc_assert( bv[1] == bv_range_r[0] );
162     sc_assert( bv[1] == bv_range[0] );
180                  bv_range = ( bv.range(7,6) , bv.range(5,1), bv[1] );
183       lv_range_r = ( bv.range(7,6) , lv.range(6,2), true );
192     sc_assert( bv[1] == bv_range[0] );
195     sc_assert( !bv[1] );
196     sc_assert( bv[1] == bv_range[0] );
200     sc_assert( bv[1] );
202     sc_assert( bv[1] == bv_range[0] );