add CIL machine descriptions to support safe tinyos

diff --git a/tos/platforms/mica2/.platform b/tos/platforms/mica2/.platform
index 8b52498be794fdc494b12a64c8185f00c720b19f..f264e833087131fc8d87d146eb5f71f1cc49e4bf 100644 (file)
--- a/tos/platforms/mica2/.platform
+++ b/tos/platforms/mica2/.platform
@@ -40,3 +40,28 @@ push( @includes, qw(
 push @opts, "-fnesc-scheduler=TinySchedulerC,TinySchedulerC.TaskBasic,TaskBasic,TaskBasic,runTask,postTask" if !$with_scheduler_flag;
 push @opts, "-mingw-gcc" if $cygwin;
 
+$ENV{'CIL_MACHINE'} =
+    "version_major=3 " .
+    "version_minor=4 " .
+    "version=avr-3.4.3 " .
+    "short=2,1, " .
+    "int=2,1 " .
+    "long=4,1 " .
+    "long_long=8,1 " .
+    "pointer=2,1 " .
+    "enum=2,1 " .
+    "float=4,1 " .
+    "double=4,1 " .
+    "long_double=4,1 " .
+    "void=1,1 " .
+    "fun=1,1 " .
+    "wchar_size_size=2,2 " .
+    "alignof_string=1 " .
+    "max_alignment=1 " .
+    "char_wchar_signed=true,true " .
+    "const_string_literals=true " .
+    "big_endian=false " .
+    "underscore_name=false " .
+    "__builtin_va_list=true " .
+    "__thread_is_keyword=true";
+

diff --git a/tos/platforms/micaz/.platform b/tos/platforms/micaz/.platform
index f8b6be675e49abf40c2122111ebd18ea1342b7f5..33e6f51cd653c11bc3689364b8e266f18c2ce8cf 100644 (file)
--- a/tos/platforms/micaz/.platform
+++ b/tos/platforms/micaz/.platform
@@ -52,3 +52,28 @@ push( @includes, qw(
 push @opts, "-fnesc-scheduler=TinySchedulerC,TinySchedulerC.TaskBasic,TaskBasic,TaskBasic,runTask,postTask" if !$with_scheduler_flag;
 push @opts, "-mingw-gcc" if $cygwin;
 
+$ENV{'CIL_MACHINE'} =
+    "version_major=3 " .
+    "version_minor=4 " .
+    "version=avr-3.4.3 " .
+    "short=2,1, " .
+    "int=2,1 " .
+    "long=4,1 " .
+    "long_long=8,1 " .
+    "pointer=2,1 " .
+    "enum=2,1 " .
+    "float=4,1 " .
+    "double=4,1 " .
+    "long_double=4,1 " .
+    "void=1,1 " .
+    "fun=1,1 " .
+    "wchar_size_size=2,2 " .
+    "alignof_string=1 " .
+    "max_alignment=1 " .
+    "char_wchar_signed=true,true " .
+    "const_string_literals=true " .
+    "big_endian=false " .
+    "underscore_name=false " .
+    "__builtin_va_list=true " .
+    "__thread_is_keyword=true";
+

diff --git a/tos/platforms/telosb/.platform b/tos/platforms/telosb/.platform
index 27593f804ced215b314b633685fd2857096e379a..a3320113c62db1e1a0ee8226af3f559f751c11f4 100644 (file)
--- a/tos/platforms/telosb/.platform
+++ b/tos/platforms/telosb/.platform
@@ -51,3 +51,28 @@ push( @includes, qw(
 push @opts, "-fnesc-scheduler=TinySchedulerC,TinySchedulerC.TaskBasic,TaskBasic,TaskBasic,runTask,postTask" if !$with_scheduler_flag;
 push @opts, "-mingw-gcc" if $cygwin;
 
+$ENV{'CIL_MACHINE'} =
+    "version_major=3 " .
+    "version_minor=2 " .
+    "version=msp430-3.2.3 " .
+    "short=2,2, " .
+    "int=2,2 " .
+    "long=4,2 " .
+    "long_long=8,2 " .
+    "pointer=2,2 " .
+    "enum=2,2 " .
+    "float=4,2 " .
+    "double=4,2 " .
+    "long_double=4,2 " .
+    "void=2,1 " .
+    "fun=1,2 " .
+    "wchar_size_size=2,2 " .
+    "alignof_string=1 " .
+    "max_alignment=1 " .
+    "char_wchar_signed=true,true " .
+    "const_string_literals=true " .
+    "big_endian=false " .
+    "underscore_name=false " .
+    "__builtin_va_list=true " .
+    "__thread_is_keyword=true";
+