cxxrtl: Mask bmux result appropriately

YosysHQ · Dec 14, 2023 · 449e3db · 449e3db
1 parent 39fdde8
commit 449e3db
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/backends/cxxrtl/runtime/cxxrtl/cxxrtl.h b/backends/cxxrtl/runtime/cxxrtl/cxxrtl.h
@@ -475,6 +475,7 @@ struct value : public expr_base<value<Bits>> {
 			carry = (shift_bits == 0) ? 0
 				: data[result.chunks + shift_chunks - 1 - n] << (chunk::bits - shift_bits);
 		}
+		result.data[result.chunks - 1] &= result.msb_mask;
 		return result;
 	}
 

diff --git a/tests/cxxrtl/test_value.cc b/tests/cxxrtl/test_value.cc
@@ -42,4 +42,11 @@ int main()
         cxxrtl::value<32> a(0x00040000u);
         assert(a.ctlz() == 13);
     }
+
+    {
+        // bmux clears top bits of result
+        cxxrtl::value<8> val(0x1fu);
+        cxxrtl::value<1> sel(0u);
+        assert(val.template bmux<4>(sel).get<uint64_t>() == 0xfu);
+    }
 }