X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=ir%2Fbe%2Fia32%2Fia32_spec.pl;h=4bbb018ad9ea086367b3ff0ce7faf933a11feb73;hb=c1fdf770d4d000dd5cf22daead32369342c5f5d1;hp=b172fd446824fe9f44a8b8eef0ac98824cee0622;hpb=b2a6cd6ec366351afa13a853b6956dedfba96352;p=libfirm

diff --git a/ir/be/ia32/ia32_spec.pl b/ir/be/ia32/ia32_spec.pl
index b172fd446..4bbb018ad 100644
--- a/ir/be/ia32/ia32_spec.pl
+++ b/ir/be/ia32/ia32_spec.pl
@@ -279,6 +279,9 @@ $custom_init_attr_func = \&ia32_custom_init_attr;
 		"\tinit_ia32_asm_attributes(res);",
 	ia32_attr_t     =>
 		"\tinit_ia32_attributes(res, flags, in_reqs, out_reqs, exec_units, n_res);",
+	ia32_call_attr_t =>
+		"\tinit_ia32_attributes(res, flags, in_reqs, out_reqs, exec_units, n_res);\n".
+		"\tinit_ia32_call_attributes(res, pop, call_tp);",
 	ia32_condcode_attr_t =>
 		"\tinit_ia32_attributes(res, flags, in_reqs, out_reqs, exec_units, n_res);\n".
 		"\tinit_ia32_condcode_attributes(res, pnc);",
@@ -296,6 +299,7 @@ $custom_init_attr_func = \&ia32_custom_init_attr;
 %compare_attr = (
 	ia32_asm_attr_t       => "ia32_compare_asm_attr",
 	ia32_attr_t           => "ia32_compare_nodes_attr",
+	ia32_call_attr_t      => "ia32_compare_call_attr",
 	ia32_condcode_attr_t  => "ia32_compare_condcode_attr",
 	ia32_copyb_attr_t     => "ia32_compare_copyb_attr",
 	ia32_immediate_attr_t => "ia32_compare_immediate_attr",
@@ -434,10 +438,10 @@ Mul => {
 	# very strict constraints
 	state     => "exc_pinned",
 	reg_req   => { in => [ "gp", "gp", "none", "eax", "gp" ],
-	               out => [ "eax", "edx", "none" ] },
+	               out => [ "eax", "flags", "edx", "none" ] },
 	ins       => [ "base", "index", "mem", "left", "right" ],
 	emit      => '. mul%M %unop4',
-	outs      => [ "res_low", "res_high", "M" ],
+	outs      => [ "res_low", "flags", "res_high", "M" ],
 	am        => "source,binary",
 	latency   => 10,
 	units     => [ "GP" ],
@@ -449,7 +453,7 @@ l_Mul => {
 	# very strict constraints
 	op_flags  => "C",
 	cmp_attr  => "return 1;",
-	outs      => [ "EAX", "EDX", "M" ],
+	outs      => [ "EAX", "flags", "EDX", "M" ],
 	arity     => 2
 },
 
@@ -1460,6 +1464,21 @@ Bt => {
 	modified_flags => $status_flags  # only CF is set, but the other flags are undefined
 },
 
+Call => {
+	state     => "exc_pinned",
+	reg_req   => {
+		in  => [ "gp", "gp", "none", "gp", "esp", "fpcw", "eax", "ecx", "edx" ],
+		out => [ "esp", "fpcw", "none", "eax", "ecx", "edx", "vf0", "vf1", "vf2", "vf3", "vf4", "vf5", "vf6", "vf7", "xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5", "xmm6", "xmm7" ]
+	},
+	ins       => [ "base", "index", "mem", "addr", "stack", "fpcw", "eax", "ecx", "edx" ],
+	outs      => [ "stack:I|S", "fpcw:I", "M", "eax", "ecx", "edx", "vf0", "vf1", "vf2", "vf3", "vf4", "vf5", "vf6", "vf7", "xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5", "xmm6", "xmm7" ],
+	attr_type => "ia32_call_attr_t",
+	attr      => "unsigned pop, ir_type *call_tp",
+	am        => "source,unary",
+	units     => [ "BRANCH" ],
+	latency   => 4, # random number
+},
+
 #-----------------------------------------------------------------------------#
 #   _____ _____ ______    __ _             _                     _            #
 #  / ____/ ____|  ____|  / _| |           | |                   | |           #
@@ -2318,7 +2337,7 @@ fild => {
 	state     => "exc_pinned",
 	rd_constructor => "NONE",
 	reg_req   => { },
-	emit      => '. fild%M %AM',
+	emit      => '. fild%XM %AM',
 	attr_type => "ia32_x87_attr_t",
 	latency   => 2,
 },
@@ -2327,7 +2346,7 @@ fist => {
 	state     => "exc_pinned",
 	rd_constructor => "NONE",
 	reg_req   => { },
-	emit      => '. fist%M %AM',
+	emit      => '. fist%XM %AM',
 	mode      => "mode_M",
 	attr_type => "ia32_x87_attr_t",
 	latency   => 2,
@@ -2337,7 +2356,7 @@ fistp => {
 	state     => "exc_pinned",
 	rd_constructor => "NONE",
 	reg_req   => { },
-	emit      => '. fistp%M %AM',
+	emit      => '. fistp%XM %AM',
 	mode      => "mode_M",
 	attr_type => "ia32_x87_attr_t",
 	latency   => 2,
@@ -2348,7 +2367,7 @@ fisttp => {
 	state     => "exc_pinned",
 	rd_constructor => "NONE",
 	reg_req   => { },
-	emit      => '. fisttp%M %AM',
+	emit      => '. fisttp%XM %AM',
 	mode      => "mode_M",
 	attr_type => "ia32_x87_attr_t",
 	latency   => 2,