aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/zext-and1.c
AgeCommit message (Collapse)AuthorFilesLines
2018-07-23cast: simplify AND(ZEXT(x,M),N)Luc Van Oostenryck1-1/+0
An OP_AND with a constant value following a OP_ZEXT can often be simplified: * the constant mask can be made smaller * the whole masking is redundant and can be removed. Do these two simplifications depending on the initial mask and the sizes of the instructions. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2018-07-23add testcases for casts & bitfield insertion/extractionLuc Van Oostenryck1-0/+13
There is several difficulties some related to unclear semantic of our IR instructions and/or type evaluation. Add testcases trying to cover this area. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>