From a1bfde8c5ea0d5c9778579bf78165637ac6c9b25 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 6 Mar 2014 11:53:37 +0100 Subject: Strictly zero-extend unsigned A-inputs of shift operations --- kernel/satgen.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/satgen.h') diff --git a/kernel/satgen.h b/kernel/satgen.h index d9bcb425..3ae9502f 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -634,7 +634,7 @@ struct SatGen while (undef_y.size() < undef_a.size()) undef_y.push_back(ez->literal()); while (undef_y.size() > undef_a.size()) - undef_a.push_back(undef_a.back()); + undef_a.push_back(cell->parameters["\\A_SIGNED"].as_bool() ? undef_a.back() : ez->FALSE); tmp = undef_a; for (size_t i = 0; i < b.size(); i++) -- cgit v1.2.3