From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a3cdcbea47c1d198,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-09-27 11:32:25 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news-FFM2.ecrc.net!news.iks-jena.de!lutz
From: lutz@iks-jena.de (Lutz Donnerhacke)
Newsgroups: comp.lang.ada
Subject: Accessing a register with a larger size from generic
Date: Thu, 27 Sep 2001 18:31:26 +0000 (UTC)
Organization: IKS GmbH Jena
Message-ID: <slrn9r6s3u.pqt.lutz@belenus.iks-jena.de>
NNTP-Posting-Host: belenus.iks-jena.de
X-Trace: branwen.iks-jena.de 1001615486 31369 217.17.192.34 (27 Sep 2001
 18:31:26 GMT)
X-Complaints-To: usenet@iks-jena.de
NNTP-Posting-Date: Thu, 27 Sep 2001 18:31:26 +0000 (UTC)
User-Agent: slrn/0.9.6.3 (Linux)
Xref: archiver1.google.com comp.lang.ada:13443
Date: 2001-09-27T18:31:26+00:00
List-Id: <comp.lang.ada>

  ------------------------------
[...with, use, package (body), ...]
subtype long is Interfaces.C.long;

type call_code is (KILL, FORK, EXIT, ...);
for call_code use (KILL => 1, FORK => 2, ...);

generic
   call : call_code;
   type type1 is private;
function syscall1 (arg1 : type1) return long;

function syscall1 (arg1 : type1) return long is
   res : long;
begin
   Asm ("int $0x80",
        Outputs => long'Asm_Output ("=a", res),
        Inputs  => (call_code'Asm_Input ("0", call),
                    type1'Asm_Input ("b", arg1)),
        Volatile => True);
   return res;
end syscall1;
  ------------------------------

generates code (using GNAT 3.13p) like:
  movb $2, %al
  xorw %bx, %bx
  int  0x80
instead of
  movl $2, %eax
  xorl %ebx, %ebx
  int  0x80


How can I change the type of the generated RTL expression to SI independed
of the generic type?