Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)
authorClifford Wolf <clifford@clifford.at>
Sun, 29 Dec 2013 16:39:49 +0000 (17:39 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 29 Dec 2013 16:39:49 +0000 (17:39 +0100)
commitbf607df6d57c3976880004192129eff8b1c0d0a9
tree3bf063e9d2b7a3bb1b0efa89fd184a900f34dffc
parent74d0de3b74cdf5d41eacd588d69488290549fd7e
Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)
kernel/satgen.h
passes/techmap/simplemap.cc