wreduce: Don't trim zeros or sext when not matching ARST_VALUE
authorDavid Shah <dave@ds0.me>
Thu, 14 Nov 2019 18:43:15 +0000 (18:43 +0000)
committerDavid Shah <dave@ds0.me>
Thu, 14 Nov 2019 18:43:15 +0000 (18:43 +0000)
commitf5804a84fd6d9b7d4d50529fcb5c46e3dde89086
tree49eb22bdb4c1c57e184fa02bab999159702272c3
parent4b18a4528ba7597bd7437837ab6d34cd8de2e110
wreduce: Don't trim zeros or sext when not matching ARST_VALUE

Signed-off-by: David Shah <dave@ds0.me>
passes/opt/wreduce.cc