The simplification of ZEXT(ZEXT(x)) was added earlier but not for its dual: TRUNC(TRUNC(x)). This is now done in this series. This series is available for review & testing in the repository at: git://github.com/lucvoo/sparse-dev.git optim-trunc-trunc ---------------------------------------------------------------- Luc Van Oostenryck (3): add testcase for TRUNC(TRUNC(x)) simplification reorganize simplification of ZEXT(TRUNC(x)) simplify TRUNC(TRUNC(x)) simplify.c | 9 +++++++-- validation/optim/trunc-trunc.c | 12 ++++++++++++ 2 files changed, 19 insertions(+), 2 deletions(-) create mode 100644 validation/optim/trunc-trunc.c -- 2.18.0