integer and bit types

This test case it part of the test suite proposed for new devices.

Test case ID: R1003
Language: ST

Code:

tests2/t1003.st
(* integer and bit types *)
PROGRAM T1003
   VAR 
   
   s1,s2:SINT;
   i1,i2:INT;
   d1,d2:DINT;
   l1,l2:LINT;
   
   us1,us2:USINT;
   ui1,ui2:UINT;
   ud1,ud2:UDINT;
   ul1,ul2:ULINT;
   
   b1,b2 : BOOL;
   bw1,bw2 : BYTE;
   w1,w2 : WORD;
   dw1,dw2 : DWORD;
   lw1,lw2 : LWORD;
  
  END_VAR

   s1 := 127;
   s2 := s1 - 125;    
   s2 := s2 - 125;    
   s1 := s2 + 125;
   s1 := s1 + 125;
   _GEB_ASSERT_(s2 <= s1 AND s2 = -123 AND s1 = 127);
   
   i1 := s1;
   i1 := (i1 +1)* 4;
   _GEB_ASSERT_(i1 = 512 );

   ui1 := i1;
   w1 := i1;
   _GEB_ASSERT_(ui1 = 512 );
   _GEB_ASSERT_(w1 = 512 );


END_PROGRAM