From: Jean-Sebastien Gelinas <calestar@gmail.com>
Date: Mon, 17 Aug 2009 19:30:31 +0000 (-0400)
Subject: icode: add IStaticCall
X-Git-Tag: v0.3~40
X-Git-Url: http://nitlanguage.org

icode: add IStaticCall

Trivially-hacked-by: Jean Privat <jean@pryen.org>

Signed-off-by: Jean-Sebastien Gelinas <calestar@gmail.com>
Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/src/analysis/icode_dump.nit b/src/analysis/icode_dump.nit
index 7c11458..2b31da6 100644
--- a/src/analysis/icode_dump.nit
+++ b/src/analysis/icode_dump.nit
@@ -265,6 +265,13 @@ redef class ICall
 	end
 end
 
+redef class IStaticCall
+	redef fun dump_intern(icd)
+	do
+		return "STATIC_CALL {property.full_name}({icd.register_all(exprs)})"
+	end
+end
+
 redef class IClosCall
 	redef fun dump_intern(icd)
 	do
diff --git a/src/compiling/compiling_global.nit b/src/compiling/compiling_global.nit
index e878a30..20e74c3 100644
--- a/src/compiling/compiling_global.nit
+++ b/src/compiling/compiling_global.nit
@@ -998,9 +998,9 @@ redef class MMLocalClass
 				icb.stmt(inew)
 				var iargs = [iself]
 				iargs.add_all(iparams)
-				icb.stmt(new INative("{p.cname}(@@@{", @@@"*iparams.length}, init_table)", iargs))
-				icb.stmt(new INative("CHECKNEW_{name}(@@@)", [iself]))
 
+				icb.stmt(new IStaticCall(p, iargs))
+				icb.stmt(new INative("CHECKNEW_{name}(@@@)", [iself]))
 				var cname = "NEW_{self}_{p.global.intro.cname}"
 				var new_args = iroutine.compile_signature_to_c(v, cname, "new {self} {p.full_name}", null, null)
 				var ctx_old = v.ctx
diff --git a/src/compiling/compiling_icode.nit b/src/compiling/compiling_icode.nit
index 7a374d3..e0be792 100644
--- a/src/compiling/compiling_icode.nit
+++ b/src/compiling/compiling_icode.nit
@@ -558,6 +558,15 @@ redef class INew
 	end
 end
 
+redef class IStaticCall
+	redef fun compile_call_to_c(v, args)
+	do
+		var prop = property
+		if prop.global.is_init then args.add("init_table")
+		return "{property.cname}({args.join(", ")})"
+	end
+end
+
 redef class INative
 	redef fun inner_compile_to_c(v)
 	do
diff --git a/src/icode/icode_base.nit b/src/icode/icode_base.nit
index 3fe1b3c..3dd1184 100644
--- a/src/icode/icode_base.nit
+++ b/src/icode/icode_base.nit
@@ -246,6 +246,12 @@ special IAbsCall
 	end
 end
 
+# A static call to a specific method
+class IStaticCall
+special IAbsCall
+	init(p: MMMethod, a: Sequence[IRegister]) do super
+end
+
 # A closure call
 # exprs are the arguments
 class IClosCall
diff --git a/src/icode/icode_tools.nit b/src/icode/icode_tools.nit
index 7c38798..9109c38 100644
--- a/src/icode/icode_tools.nit
+++ b/src/icode/icode_tools.nit
@@ -298,6 +298,12 @@ redef class INew
 	end
 end
 
+redef class IStaticCall
+	redef fun inner_dup_with(d)
+	do
+		return new IStaticCall(property, d.dup_iregs(exprs))
+	end
+end
 redef class IClosCall
 	redef fun dup_with(d)
 	do