aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/trunc-trunc.c
AgeCommit message (Collapse)AuthorFilesLines
2018-08-17simplify TRUNC(TRUNC(x))Luc Van Oostenryck1-1/+0
The simplification of ZEXT(ZEXT(x)) was already added but its dual, TRUNC(TRUNC(x)), was not. Add it now. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2018-08-16add testcase for TRUNC(TRUNC(x)) simplificationLuc Van Oostenryck1-0/+13
Add the testcase before doing the simplification. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>