aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/setne0-zext.c
AgeCommit message (Collapse)AuthorFilesLines
2018-08-06simplify ZEXT(SETCC(x,y), N)Luc Van Oostenryck1-1/+0
Since the OP_SETCC instructions can only return a 0 or a 1, a zero-extension won't change the value and the OP_SETCC can be changed to directly return the extended size. Remove the unneeded extension. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2018-08-04add testcase for linearize_logical()Luc Van Oostenryck1-0/+10
Add some tests in preparation of some bug-fixing and simplification in linearize_logical()linearize_conditional(). Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>