[Patch 0,1a] Improving effectiveness and generality of autovectorization using unified representation.

Hi Richard, This is with reference to our discussion at GNU Tools Cauldron 2015 regarding my talk titled "Improving the effectiveness and generality of GCC auto-vectorization." Further to our prototype implementation of the concept, we have started implementing this concept in GCC. We are foll

gcc-5-20160607 is now available

Snapshot gcc-5-20160607 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/5-20160607/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 5 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/branches/gcc-5

_Bool and trap representations

Hi! If a variable of type _Bool contains something different from 0 and 1 its use amounts to UB in gcc and clang. There is a couple of examples in [1] ([2] is also interesting). [1] https://github.com/TrustInSoft/tis-interpreter/issues/39 [2] https://github.com/TrustInSoft/tis-interpreter/iss