| /***************************************************************************** |
| |
| 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. |
| |
| *****************************************************************************/ |
| |
| /***************************************************************************** |
| |
| test_bitref.cpp -- Test using bitrefs in boolean contexts |
| |
| Original Author: Philipp A. Hartmann, OFFIS, 2013-10-28 |
| |
| *****************************************************************************/ |
| |
| #include <systemc.h> |
| |
| #define sc_nassert( expr ) \ |
| sc_assert( !(expr) ) |
| |
| using sc_dt::sc_bitref; |
| using sc_dt::sc_bitref_r; |
| using sc_dt::sc_concref; |
| using sc_dt::sc_concref_r; |
| using sc_dt::sc_subref; |
| using sc_dt::sc_subref_r; |
| |
| int sc_main(int,char*[]) |
| { |
| sc_bv<8> bv = "00101010"; |
| sc_lv<8> lv = "1XZ01010"; |
| |
| // plain bitrefs |
| { |
| sc_nassert( bv[0] ); |
| sc_assert ( !bv[0] ); |
| // sc_assert( ~bv[0] ); // could not convert ... to ‘bool’ |
| sc_nassert( bv[0].to_bool() ); |
| sc_assert ( !bv[0].to_bool() ); |
| sc_assert( (~bv[0]).to_bool() ); |
| |
| #if IEEE_1666_CPLUSPLUS >= 201103L |
| sc_assert( bv[1] ); |
| #endif |
| sc_nassert( !bv[1] ); |
| sc_assert ( bv[1].to_bool() ); |
| sc_nassert( (~bv[1]).to_bool() ); |
| |
| sc_nassert( bv[0] == true ); |
| sc_assert ( bv[0] != true ); |
| sc_assert ( bv[0] == SC_LOGIC_0 ); |
| sc_nassert( bv[0].to_bool() ); |
| sc_assert( bv[1].to_bool() ); |
| sc_nassert( bv[0] != 0 ); |
| sc_nassert( bv[0] == bv[1] ); |
| sc_nassert( SC_LOGIC_1 != bv[1] ); |
| |
| sc_assert ( bv[0] == '0' ); |
| sc_nassert( bv[1] == '0' ); |
| sc_assert ( bv[1] == '1' ); |
| sc_nassert( bv[0] == '1' ); |
| |
| sc_nassert( bv[0] != '0' ); |
| sc_assert ( bv[1] != '0' ); |
| sc_nassert( bv[1] != '1' ); |
| sc_assert ( bv[0] != '1' ); |
| |
| sc_assert ( '0' == bv[0] ); |
| sc_nassert( '0' == bv[1] ); |
| sc_assert ( '1' == bv[1] ); |
| sc_nassert( '1' == bv[0] ); |
| |
| sc_nassert( '0' != bv[0] ); |
| sc_assert ( '0' != bv[1] ); |
| sc_nassert( '1' != bv[1] ); |
| sc_assert ( '1' != bv[0] ); |
| |
| sc_nassert( ~bv[0] == '0' ); |
| sc_assert ( ~bv[1] == '0' ); |
| sc_nassert( ~bv[1] == '1' ); |
| sc_assert ( ~bv[0] == '1' ); |
| |
| sc_assert ( ~bv[0] != '0' ); |
| sc_nassert( ~bv[1] != '0' ); |
| sc_assert ( ~bv[1] != '1' ); |
| sc_nassert( ~bv[0] != '1' ); |
| |
| sc_nassert( '0' == ~bv[0] ); |
| sc_assert ( '0' == ~bv[1] ); |
| sc_nassert( '1' == ~bv[1] ); |
| sc_assert ( '1' == ~bv[0] ); |
| |
| sc_assert ( '0' != ~bv[0] ); |
| sc_nassert( '0' != ~bv[1] ); |
| sc_assert ( '1' != ~bv[1] ); |
| sc_nassert( '1' != ~bv[0] ); |
| |
| |
| |
| sc_assert( bv[0] == lv[0] ); |
| sc_assert( bv[0] != lv[6] ); |
| |
| sc_assert( bv.or_reduce() ); |
| sc_assert( !bv.nor_reduce() ); |
| |
| sc_assert ( lv[0] == false ); |
| sc_assert ( lv[5] == SC_LOGIC_Z ); |
| sc_assert ( lv[6] == SC_LOGIC_X ); |
| sc_assert ( lv[6].value() == SC_LOGIC_X ); |
| |
| // sc_assert( ~lv[0] ); // could not convert ... to ‘bool’ |
| // sc_assert( lv[7] ); // could not convert ... to ‘bool’ |
| // sc_assert( !lv[0] ); // could not convert ... to ‘bool’ |
| |
| sc_assert( !lv[0].to_bool() ); |
| sc_assert( (~lv[0]).to_bool() ); |
| |
| // with warnings |
| sc_assert( lv[5].to_bool() ); |
| sc_assert( lv[6].to_bool() ); |
| } |
| |
| // bitrefs to subrefs |
| { |
| /* auto */ sc_subref_r< sc_bv_base > bv_range_r = bv.range(5,1); |
| /* auto */ sc_subref_r< sc_lv_base > lv_range_r = lv.range(6,2); |
| |
| /* auto */ sc_subref< sc_bv_base > bv_range = bv.range(5,1); |
| /* auto */ sc_subref< sc_lv_base > lv_range = lv.range(6,2); |
| |
| #if IEEE_1666_CPLUSPLUS >= 201103L |
| sc_assert( bv_range[0] ); |
| #endif |
| sc_nassert( !bv_range[0] ); |
| sc_assert( !bv_range[1] ); |
| sc_assert( (~bv_range[1]).to_bool() ); |
| |
| sc_assert( bv[1] == bv_range_r[0] ); |
| |
| bv_range[0] = false; |
| sc_assert( !bv[1] ); |
| sc_assert( bv[1] == bv_range_r[0] ); |
| sc_assert( bv[1] == bv_range[0] ); |
| |
| bv_range[0] = SC_LOGIC_1; |
| #if IEEE_1666_CPLUSPLUS >= 201103L |
| sc_assert( bv[1] ); |
| #endif |
| sc_assert( bv[1] == bv_range_r[0] ); |
| sc_assert( bv[1] == bv_range[0] ); |
| |
| // sc_assert( ~lv_range[0] ); // could not convert ... to ‘bool’ |
| // sc_assert( lv_range_r[7] ); // could not convert ... to ‘bool’ |
| |
| sc_assert( !lv_range_r[0].to_bool() ); |
| sc_assert( lv_range_r[1].to_bool() ); |
| sc_nassert( (~lv_range[1]).to_bool() ); |
| |
| // with warnings |
| sc_assert( lv_range[3].to_bool() ); |
| sc_assert( lv_range_r[4].to_bool() ); |
| } |
| |
| // bitrefs to concrefs |
| { |
| /* auto */ sc_concref< sc_concref<sc_subref<sc_bv_base>, sc_subref<sc_bv_base> > |
| , sc_bitref<sc_bv_base> > |
| bv_range = ( bv.range(7,6) , bv.range(5,1), bv[1] ); |
| /* auto */ sc_concref_r< sc_concref_r<sc_subref<sc_bv_base>, sc_subref<sc_lv_base> > |
| , sc_bv_base > |
| lv_range_r = ( bv.range(7,6) , lv.range(6,2), true ); |
| |
| #if IEEE_1666_CPLUSPLUS >= 201103L |
| sc_assert( bv_range[0] ); |
| #endif |
| sc_nassert( !bv_range[0] ); |
| sc_assert( !bv_range[2] ); |
| // sc_assert( ~bv_range[2] ); // could not convert ... to ‘bool’ |
| |
| sc_assert( bv[1] == bv_range[0] ); |
| |
| bv_range[0] = false; |
| sc_assert( !bv[1] ); |
| sc_assert( bv[1] == bv_range[0] ); |
| |
| bv_range[0] = SC_LOGIC_1; |
| #if IEEE_1666_CPLUSPLUS >= 201103L |
| sc_assert( bv[1] ); |
| #endif |
| sc_assert( bv[1] == bv_range[0] ); |
| |
| // sc_assert( ~lv_range_r[0] ); // could not convert ... to ‘bool’ |
| // sc_assert( lv_range_r[7] ); // could not convert ... to ‘bool’ |
| // sc_assert( !lv_range_r[0] ); // could not convert ... to ‘bool’ |
| |
| sc_assert( lv_range_r[0].to_bool() ); |
| sc_assert( !lv_range_r[1].to_bool() ); |
| sc_assert( (~lv_range_r[1]).to_bool() ); |
| |
| // with warnings |
| sc_assert( lv_range_r[4].to_bool() ); |
| sc_assert( lv_range_r[5].to_bool() ); |
| } |
| |
| return 0; |
| } |