diff options
Diffstat (limited to 'src/systemc/tests/systemc/bugs/sign_extension')
7 files changed, 141 insertions, 0 deletions
diff --git a/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log new file mode 100644 index 000000000..233ac07ad --- /dev/null +++ b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log @@ -0,0 +1,11 @@ +SystemC Simulation +v_sc_int_31_min=0b1000000000000000000000000000000 +v_sc_bigint_31_min=0b1000000000000000000000000000000 +v_sc_uint32_max=0b011111111111111111111111111111111 +v_sc_biguint_32_max=0b011111111111111111111111111111111 +v_sc_bigint_31_min & v_uint_max=0b11000000000000000000000000000000 +v_sc_bigint_31_min & v_sc_biguint_32_max=0b011000000000000000000000000000000 +int31_uint=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_uint=0b1111111111111111111111111111111111000000000000000000000000000000 +bigint31_uint32=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_biguint32=0b0000000000000000000000000000000011000000000000000000000000000000 diff --git a/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.bsd64 b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.bsd64 new file mode 100644 index 000000000..3d7ccbcae --- /dev/null +++ b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.bsd64 @@ -0,0 +1,11 @@ +SystemC Simulation +v_sc_int_31_min=0b1000000000000000000000000000000 +v_sc_bigint_31_min=0b1000000000000000000000000000000 +v_sc_uint32_max=0b011111111111111111111111111111111 +v_sc_biguint_32_max=0b011111111111111111111111111111111 +v_sc_bigint_31_min & v_uint_max=0b0000000000000000000000000000000011000000000000000000000000000000 +v_sc_bigint_31_min & v_sc_biguint_32_max=0b011000000000000000000000000000000 +int31_uint=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_uint=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_uint32=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_biguint32=0b0000000000000000000000000000000011000000000000000000000000000000 diff --git a/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.cygwin64 b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.cygwin64 new file mode 100644 index 000000000..3d7ccbcae --- /dev/null +++ b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.cygwin64 @@ -0,0 +1,11 @@ +SystemC Simulation +v_sc_int_31_min=0b1000000000000000000000000000000 +v_sc_bigint_31_min=0b1000000000000000000000000000000 +v_sc_uint32_max=0b011111111111111111111111111111111 +v_sc_biguint_32_max=0b011111111111111111111111111111111 +v_sc_bigint_31_min & v_uint_max=0b0000000000000000000000000000000011000000000000000000000000000000 +v_sc_bigint_31_min & v_sc_biguint_32_max=0b011000000000000000000000000000000 +int31_uint=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_uint=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_uint32=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_biguint32=0b0000000000000000000000000000000011000000000000000000000000000000 diff --git a/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.linux64 b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.linux64 new file mode 100644 index 000000000..3d7ccbcae --- /dev/null +++ b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.linux64 @@ -0,0 +1,11 @@ +SystemC Simulation +v_sc_int_31_min=0b1000000000000000000000000000000 +v_sc_bigint_31_min=0b1000000000000000000000000000000 +v_sc_uint32_max=0b011111111111111111111111111111111 +v_sc_biguint_32_max=0b011111111111111111111111111111111 +v_sc_bigint_31_min & v_uint_max=0b0000000000000000000000000000000011000000000000000000000000000000 +v_sc_bigint_31_min & v_sc_biguint_32_max=0b011000000000000000000000000000000 +int31_uint=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_uint=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_uint32=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_biguint32=0b0000000000000000000000000000000011000000000000000000000000000000 diff --git a/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.linuxaarch64 b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.linuxaarch64 new file mode 100644 index 000000000..3d7ccbcae --- /dev/null +++ b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.linuxaarch64 @@ -0,0 +1,11 @@ +SystemC Simulation +v_sc_int_31_min=0b1000000000000000000000000000000 +v_sc_bigint_31_min=0b1000000000000000000000000000000 +v_sc_uint32_max=0b011111111111111111111111111111111 +v_sc_biguint_32_max=0b011111111111111111111111111111111 +v_sc_bigint_31_min & v_uint_max=0b0000000000000000000000000000000011000000000000000000000000000000 +v_sc_bigint_31_min & v_sc_biguint_32_max=0b011000000000000000000000000000000 +int31_uint=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_uint=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_uint32=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_biguint32=0b0000000000000000000000000000000011000000000000000000000000000000 diff --git a/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.macosx64 b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.macosx64 new file mode 100644 index 000000000..3d7ccbcae --- /dev/null +++ b/src/systemc/tests/systemc/bugs/sign_extension/golden/sign_extension.log.macosx64 @@ -0,0 +1,11 @@ +SystemC Simulation +v_sc_int_31_min=0b1000000000000000000000000000000 +v_sc_bigint_31_min=0b1000000000000000000000000000000 +v_sc_uint32_max=0b011111111111111111111111111111111 +v_sc_biguint_32_max=0b011111111111111111111111111111111 +v_sc_bigint_31_min & v_uint_max=0b0000000000000000000000000000000011000000000000000000000000000000 +v_sc_bigint_31_min & v_sc_biguint_32_max=0b011000000000000000000000000000000 +int31_uint=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_uint=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_uint32=0b0000000000000000000000000000000011000000000000000000000000000000 +bigint31_biguint32=0b0000000000000000000000000000000011000000000000000000000000000000 diff --git a/src/systemc/tests/systemc/bugs/sign_extension/sign_extension.cpp b/src/systemc/tests/systemc/bugs/sign_extension/sign_extension.cpp new file mode 100644 index 000000000..c51fde25a --- /dev/null +++ b/src/systemc/tests/systemc/bugs/sign_extension/sign_extension.cpp @@ -0,0 +1,75 @@ +/***************************************************************************** + + 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. + + *****************************************************************************/ + +/***************************************************************************** + + sign_extension.cpp -- + + Original Author: Philipp A. Hartmann, OFFIS, 2012-07-17 + + ----------------------------------------------------------------------------- + + This test demonatrates a bug in the sc_biguint constructor(?), where + construction from bit-wise expressions with "unsigned int" and sc_bigint + may lead to wrongly sign-extended values (at least on 32-bit machines) when + the destination size is bigger than the source size. + + *****************************************************************************/ + +#include <systemc> +using sc_dt::sc_int; +using sc_dt::sc_uint; +using sc_dt::sc_bigint; +using sc_dt::sc_biguint; +using sc_dt::SC_BIN; + +#define DUMP_VAR( Var ) \ + std::cout << #Var "=" << (Var).to_string(SC_BIN) << "\n" + +int sc_main(int, char*[]) +{ + + sc_int<31> v_sc_int_31_min = (1<<30); // 010...0 (31 bit) + sc_bigint<31> v_sc_bigint_31_min = (1<<30); // 010...0 + unsigned int v_uint_max = ~0; // 11....1 (32-bit) + sc_uint<32> v_sc_uint32_max = ~0; // 11....1 (32-bit) + sc_biguint<32> v_sc_biguint_32_max = -1; // 11....1 (32-bit) + + DUMP_VAR( v_sc_int_31_min ); + DUMP_VAR( v_sc_bigint_31_min ); + DUMP_VAR( v_sc_uint32_max ); + DUMP_VAR( v_sc_biguint_32_max ); + + sc_bigint<64> int31_uint = (v_sc_int_31_min & v_uint_max); + // the following expression yields 0b1....10...0 on 32-bit machines + sc_bigint<64> bigint31_uint = (v_sc_bigint_31_min & v_uint_max); + sc_bigint<64> bigint31_uint32 = (v_sc_bigint_31_min & v_sc_uint32_max); + sc_bigint<64> bigint31_biguint32 = (v_sc_bigint_31_min & v_sc_biguint_32_max); + + DUMP_VAR( v_sc_bigint_31_min & v_uint_max ); + DUMP_VAR( v_sc_bigint_31_min & v_sc_biguint_32_max ); + + DUMP_VAR(int31_uint); + DUMP_VAR(bigint31_uint); // <-- + DUMP_VAR(bigint31_uint32); + DUMP_VAR(bigint31_biguint32); + + return 0; +} + |