Hi guys,
I am trying to insert execution counters into each basic block of a simple
sensor network application source code (Blink2.c) using CIL.
The idea is original from PowerTossim. I added the feature counter.ml in
PowerTossim to CIL and run the following command:
cilly --gcc=avr-gcc --envmachine -mmcu=atmega128 -Os -Wall -Wshadow -v
--save-temps --doCounter -o Blink2.elf Blink2.c
But I got the following error infomation:
avr-gcc -D_GNUCC -E -mmcu=atmega128 -Os -v -DCIL=1 Blink2.c -o ./Blink2.i
Using built-in specs.
COLLECT_GCC=avr-gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/avr/4.5.3/lto-wrapper
Target: avr
Configured with: ../src/configure -v --enable-languages=c,c++
--prefix=/usr/lib --infodir=/usr/share/info --mandir=/usr/share/man
--bindir=/usr/bin --libexecdir=/usr/lib --libdir=/usr/lib --enable-shared
--with-system-zlib --enable-long-long --enable-nls
--without-included-gettext --disable-checking --disable-libssp
--build=i686-linux-gnu --host=i686-linux-gnu --target=avr
Thread model: single
gcc version 4.5.3 (GCC)
COLLECT_GCC_OPTIONS='-D_GNUCC' '-E' '-mmcu=atmega128' '-Os' '-v' '-DCIL=1'
'-o' './Blink2.i'
/usr/lib/gcc/avr/4.5.3/cc1 -E -quiet -v -imultilib avr51 -D_GNUCC -DCIL=1
Blink2.c -o ./Blink2.i -mmcu=atmega128 -Os
ignoring nonexistent directory
"/usr/lib/gcc/avr/4.5.3/../../../avr/sys-include"
#include "..." search starts here:
#include <...> search starts here:
/usr/lib/gcc/avr/4.5.3/include
/usr/lib/gcc/avr/4.5.3/include-fixed
/usr/lib/gcc/avr/4.5.3/../../../avr/include
End of search list.
COMPILER_PATH=/usr/lib/gcc/avr/4.5.3/:/usr/lib/gcc/avr/4.5.3/:/usr/lib/gcc/avr/:/usr/lib/gcc/avr/4.5.3/:/usr/lib/gcc/avr/:/usr/lib/gcc/avr/4.5.3/../../../avr/bin/
LIBRARY_PATH=/usr/lib/gcc/avr/4.5.3/avr51/:/usr/lib/gcc/avr/4.5.3/../../../avr/lib/avr51/:/usr/lib/gcc/avr/4.5.3/:/usr/lib/gcc/avr/4.5.3/../../../avr/lib/
COLLECT_GCC_OPTIONS='-D_GNUCC' '-E' '-mmcu=atmega128' '-Os' '-v' '-DCIL=1'
'-o' './Blink2.i'
/home/lwan1/Downloads/cil-1.4.0/obj/x86_LINUX/cilly.asm.exe --out
./Blink2.cil.c --envmachine --warnall --doCounter ./Blink2.i
Error: CIL_MACHINE machine model is invalid: alignof_enum not specified
Error: There were parsing errors in ./Blink2.i
Fatal error: exception Errormsg.Error
The CIL_MACHINE variable I put into ~/.bashrc is:
CIL_MACHINE="bool=1,1 short=2,1 int=2,1 long=4,1 long_long=8,1 float=4,1
double=4,1 long_double=4,1 void=1 pointer=2,1 enum=2,1 fun=1,1
alignof_string=1 max_alignment=1 size_t=unsigned_int wchar_t=unsigned_int
char_signed=true big_endian=false const_string_literals=true
__thread_is_keyword=false __builtin_va_list=true underscore_name=true"
Can anyone tell me what's wrong with this?
Thanks.
Lipeng
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
