aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bool-zext-test.c
AgeCommit message (Expand)AuthorFilesLines
2018-07-28simplify SET{EQ,NE}(ZEXT(x, N),{0,1})Luc Van Oostenryck1-1/+0
2018-07-25testcase for SET{EQ,NE}([SZ]EXT(x, N),{0,1})'s simplificationLuc Van Oostenryck1-0/+13