From 84bb28c0422c2d0dea555aeec946e73cf2b818a8 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Wed, 20 Apr 2016 12:53:42 -0400
Subject: support calls with no return

I thought it would be harder (and maybe it is).
My fear was that a call must be always followed by
a parallel move from machine registers (this is an
assumption in both spill and rega).  This however
remains true, because the ABI code generates a
dummy "copy RAX" by accident!
---
 doc/il.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/il.txt b/doc/il.txt
index 14bd0c8..9179eda 100644
--- a/doc/il.txt
+++ b/doc/il.txt
@@ -709,7 +709,7 @@ single-precision floating point number `%f` into `%rs`.
 ~~~~~~
 
     `bnf
-    CALL := %IDENT '=' ( BASETY | :IDENT ) 'call' VAL PARAMS
+    CALL := [ %IDENT '=' ( BASETY | :IDENT ) ] 'call' VAL PARAMS
 
     PARAMS := '(' ( (BASETY | :IDENT) %IDENT ), ')'
 
-- 
cgit 1.4.1