From 16fa8d7cc8c92f5ab879e4cf9c6c0bbb3567860f Mon Sep 17 00:00:00 2001 From: Gabe Black Date: Thu, 24 May 2018 01:37:55 -0700 Subject: systemc: Import tests from the Accellera systemc distribution. Change-Id: Iad76b398949a55d768a34d027a2d8e3739953da6 Reviewed-on: https://gem5-review.googlesource.com/10845 Reviewed-by: Giacomo Travaglini Maintainer: Gabe Black --- .../datatypes/bit/sc_bitref/test01/test_bitref.cpp | 218 +++++++++++++++++++++ 1 file changed, 218 insertions(+) create mode 100644 src/systemc/tests/systemc/datatypes/bit/sc_bitref/test01/test_bitref.cpp (limited to 'src/systemc/tests/systemc/datatypes/bit/sc_bitref/test01/test_bitref.cpp') diff --git a/src/systemc/tests/systemc/datatypes/bit/sc_bitref/test01/test_bitref.cpp b/src/systemc/tests/systemc/datatypes/bit/sc_bitref/test01/test_bitref.cpp new file mode 100644 index 000000000..5d010dbf4 --- /dev/null +++ b/src/systemc/tests/systemc/datatypes/bit/sc_bitref/test01/test_bitref.cpp @@ -0,0 +1,218 @@ +/***************************************************************************** + + 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 + +#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_bitref > + bv_range = ( bv.range(7,6) , bv.range(5,1), bv[1] ); + /* auto */ sc_concref_r< sc_concref_r, sc_subref > + , 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; +} -- cgit v1.2.3