On Thu, Aug 1, 2024, 00:38 Andrew Pinski <pins...@gmail.com> wrote: > On Wed, Jul 31, 2024 at 3:42 AM Mariam Arutunian > <mariamarutun...@gmail.com> wrote: > > > > Gives an opportunity to execute the code on bit level, > > assigning symbolic values to the variables which don't have initial > values. > > Supports only CRC specific operations. > > > > Example: > > > > uint8_t crc; > > uint8_t pol = 1; > > crc = crc ^ pol; > > > > during symbolic execution crc's value will be: > > crc(8), crc(7), ... crc(1), crc(0) ^ 1 > > > > Author: Matevos Mehrabyan <matevosmehrab...@gmail.com> > > > > gcc/ > > > > * Makefile.in (OBJS): Add sym-exec/expression.o, > > sym-exec/state.o, sym-exec/condition.o. > > * configure (sym-exec): New subdir. > > I have one thing to make a mention of and I am not 100% it is a big > issue but non-verbose file names like expression.o has an issue adding > to an archive (in this case libbackend.a) due to not always using the > full path of the object file. I am not sure this is a problem we need > to worry about right now but it might be one in the future and one > which we should document on coding conventions on naming things that > will be included in OBJS (which puts it into libbackend.a). > > I renamed all the files there. In the new patch, they start with "sym-exec-*". This will make them unique.
Thanks, > Andrew Pinski > > > > > gcc/sym-exec/ > > > > * condition.cc: New file. > > * condition.h: New file. > > * expression-is-a-helper.h: New file. > > * expression.cc: New file. > > * expression.h: New file. > > * state.cc: New file. > > * state.h: New file. > > > > Signed-off-by: Mariam Arutunian <mariamarutun...@gmail.com> > Best regards, Matevos.
