]> git.ipfire.org Git - thirdparty/gcc.git/commit
sym-exec v9 - Added conditions printing support - Optimized conditions adding when...
authormatevos <matevosmehrabyan@gmail.com>
Fri, 16 Dec 2022 14:26:50 +0000 (18:26 +0400)
committerJeff Law <jlaw@ventanamicro>
Tue, 21 Mar 2023 15:03:19 +0000 (09:03 -0600)
commitc6bf87a55bef0e7b5bcabc1873f18e1118021d1f
treef882c968dca2f73970d544cb841ef59f5b970dd5
parent1c76a5f50d28e0ca91fef42884a5b9068a8ad61e
sym-exec v9 - Added conditions printing support - Optimized conditions adding when only some of argument's bits are constants - Added basic checks for sym-exec some crc-*.c tests
16 files changed:
gcc/sym-exec/condition.cc
gcc/sym-exec/condition.h
gcc/sym-exec/expression.cc
gcc/sym-exec/state.cc
gcc/sym-exec/state.h
gcc/testsuite/gcc.dg/crc-1.c
gcc/testsuite/gcc.dg/crc-10.c
gcc/testsuite/gcc.dg/crc-2.c
gcc/testsuite/gcc.dg/crc-23.c
gcc/testsuite/gcc.dg/crc-3.c
gcc/testsuite/gcc.dg/crc-4.c
gcc/testsuite/gcc.dg/crc-5.c
gcc/testsuite/gcc.dg/crc-6.c
gcc/testsuite/gcc.dg/crc-7.c
gcc/testsuite/gcc.dg/crc-8.c
gcc/testsuite/gcc.dg/crc-9.c