diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-06 11:53:37 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-06 11:53:37 +0100 |
| commit | a1bfde8c5ea0d5c9778579bf78165637ac6c9b25 (patch) | |
| tree | 142aebf2bf592445bc9a3f272f160969fc49230c /kernel/satgen.h | |
| parent | b1b8fe3a566099e5fd29e6d8c60e8f8b4feb0f34 (diff) | |
Strictly zero-extend unsigned A-inputs of shift operations
Diffstat (limited to 'kernel/satgen.h')
| -rw-r--r-- | kernel/satgen.h | 2 |
1 files changed, 1 insertions, 1 deletions
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++) |