[PATCH 0/3] Simplify booleans

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



The goal of this series is to add some simplification
concerning booleans and is a preparatory steps to give
a proper boolean context when required.


This series is available at:
	git://github.com/lucvoo/sparse.git simplify-bool-mask
based on commit:
	d440a16358aefd718029963bb2261f1deccfddab (fpos)
up to commit:
	d4208cd1ef7df00f7d79dba1ccb365136d382914

Luc Van Oostenryck (3):
  simplify 'x | ~0' and 'x & ~0'
  simplify 'x ^ ~0' to '~x'
  simplify casts bool -> int -> bool

 simplify.c                       | 35 +++++++++++++++++++++++++++++++++--
 validation/optim/bool-int-bool.c | 12 ++++++++++++
 validation/optim/bool-not-zero.c | 30 ++++++++++++++++++++++++++++++
 3 files changed, 75 insertions(+), 2 deletions(-)
 create mode 100644 validation/optim/bool-int-bool.c
 create mode 100644 validation/optim/bool-not-zero.c

-- 
2.12.0

--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux