Displaying 2 results from an estimated 2 matches for "put_line".
Did you mean:
ut_line
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 c...
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 - U...