search for: put_lin

Displaying 2 results from an estimated 2 matches for "put_lin".

Did you mean: put_len
2008 Mar 23
0
[LLVMdev] Announcement: GNAT ported to LLVM
...static analysis, it is certainly useful for understanding how the various Ada constructs are implemented. To give you a taste for what it looks like, here is an example showing what a simple Ada program gets turned into. Here is the Ada: with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line ("Hello world!"); end; Here's the result of compiling it: $ gcc -S -O2 -emit-llvm -o - hello.adb ... %struct.string___XUB = type { i32, i32 } ... @.str = internal constant [12 x i8] c"Hello world!" ; <[12 x i8]*> [#uses=1] @C.168.1155 = internal...
2009 May 27
1
[LLVMdev] Ada bound checks
...39;em in. for I in 1..5 loop Put("> "); Get(A(I)); end loop; -- Put 'em out in reverse order. Put("["); for I in reverse A'Range loop Put(A(I)); if I > A'First then Put(' '); end if; end loop; Put_Line("]"); end Arr2; -- -- Simple array example 2 -- with Gnat.Io; use Gnat.Io; procedure Arr1 is A: array(1..5) of Integer; -- Array subscripts 1 to 5. I: Integer; begin Get(I); Put(A(I)); Put(A(I+1)); end Arr1; -- Andre Tavares Master Student in Computer Science -...