Merge pull request #1317 from YosysHQ/eddie/opt_expr_shiftx
authorEddie Hung <eddie@fpgeh.com>
Thu, 22 Aug 2019 17:31:27 +0000 (10:31 -0700)
committerGitHub <noreply@github.com>
Thu, 22 Aug 2019 17:31:27 +0000 (10:31 -0700)
commitb800059fc1f0f62c877bd529d2e7389471130055
treed3b9b0400b65b045c2426efd6a8545973ee91a19
parente9f3eb97607bc49b6bb77229f1fad9796aea1483
parent9245f0d3f564644290b6650b3f8f642789062e9e
Merge pull request #1317 from YosysHQ/eddie/opt_expr_shiftx

 opt_expr to trim A port of $shiftx/$shift