X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fmips%2Fmips_spec.pl;h=99a1665d3f5a8127777ac264620bfcc0d56c897e;hb=9f70e2b27566ba7deb85fed0c52e001af228cef3;hp=736f0188e8ddaac05e6b77dfe8dea8d804f62b30;hpb=18dfdacb6faf2f93d4f6f9a6362584f8c7eb30a1;p=libfirm

diff --git a/ir/be/mips/mips_spec.pl b/ir/be/mips/mips_spec.pl
index 736f0188e..99a1665d3 100644
--- a/ir/be/mips/mips_spec.pl
+++ b/ir/be/mips/mips_spec.pl
@@ -61,6 +61,9 @@ $comment_string = "#";
 #        for i = 1 .. arity: ir_node *op_i
 #        ir_mode *mode
 #
+# outs:  if a node defines more than one output, the names of the projections
+#        nodes having outs having automatically the mode mode_T
+#
 # comment: OPTIONAL comment for the node constructor
 #
 # rd_constructor: for every operation there will be a
@@ -86,7 +89,7 @@ $comment_string = "#";
 #   4 - ignore (do not assign this register)
 # NOTE: Last entry of each class is the largest Firm-Mode a register can hold\
 %reg_classes = (
-  "general_purpose" => [
+  "gp" => [
                          { name => "zero", type => 4+2 },  # always zero
                          { name => "at", type => 4 }, # reserved for assembler
                          { name => "v0", type => 1 }, # first return value
@@ -155,43 +158,33 @@ $comment_string = "#";
 
 add => {
   op_flags  => "C",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '
-	if (mode_is_signed(get_irn_mode(n)))
-2.		add %D1, %S1, %S2
-	else
-2.		addu %D1, %S1, %S2
-'
+  reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
+  emit      => '. addu %D1, %S1, %S2'
 },
 
 addi => {
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '
-	if (mode_is_signed(get_irn_mode(n)))
-2.		addi %D1, %S1, %C
-	else
-2.		addiu %D1, %S1, %C
-',
+  reg_req   => { in => [ "gp" ], out => [ "gp" ] },
+  emit      => '. addiu %D1, %S1, %C',
   cmp_attr => 'return attr_a->tv != attr_b->tv;',
 },
 
 and => {
   op_flags  => "C",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
   emit      => '. and %D1, %S1, %S2',
 },
 
 andi => {
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp" ], out => [ "gp" ] },
   emit      => '. andi %D1, %S1, %C',
   cmp_attr => 'return attr_a->tv != attr_b->tv;',
 },
 
 div => {
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "none", "none", "none", "none" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "none", "none", "none", "none" ] },
   emit      => '
 	mips_attr_t *attr = get_mips_attr(n);
-	if(attr->modes.original_mode->sign) {
+	if (attr->modes.original_mode->sign) {
 2.		div %S1, %S2
 	} else {
 2.		divu %S1, %S2
@@ -201,122 +194,126 @@ div => {
 
 mult => {
   op_flags  => "C",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "none" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "none" ] },
   emit      => '
-	if (mode_is_signed(get_irn_mode(n)))
+	if (mode_is_signed(get_irn_mode(n))) {
 2.		mult %S1, %S2
-	else
+	}
+	else {
 2.		multu %S1, %S2
-'
+	}
+',
 },
 
 nor => {
   op_flags  => "C",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
   emit      => '. nor %D1, %S1, %S2'
 },
 
 not => {
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '
-  assert(get_mode_size_bits(get_irn_mode(n)) == 32);
-. nor %D1, %S1, $zero
-'
+  reg_req   => { in => [ "gp" ], out => [ "gp" ] },
+  emit      => '. nor %D1, %S1, $zero'
 },
 
 or => {
   op_flags  => "C",
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
   emit      => '. or %D1, %S1, %S2'
 },
 
 ori => {
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp" ], out => [ "gp" ] },
   emit      => '. ori %D1, %S1, %C',
   cmp_attr => 'return attr_a->tv != attr_b->tv;',
 },
 
 sl => {
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
   emit      => '
-	if (mode_is_signed(get_irn_mode(n)))
+	if (mode_is_signed(get_irn_mode(n))) {
 2.		sal %D1, %S1, %S2
-	else
-2.		sll %D1, %S1, %S2',
+	}
+	else {
+2.		sll %D1, %S1, %S2
+	}
+',
 },
 
 sli => {
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp" ], out => [ "gp" ] },
   emit      => '
-	if (mode_is_signed(get_irn_mode(n)))
+	if (mode_is_signed(get_irn_mode(n))) {
 2.		sal %D1, %S1, %C
-	else
-2.		sll %D1, %S1, %C',
+	}
+	else {
+2.		sll %D1, %S1, %C
+	}
+',
 },
 
 sra => {
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
   emit      => '. sra %D1, %S1, %S2',
 },
 
 srai => {
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp" ], out => [ "gp" ] },
   emit      => '. sra %D1, %S1, %C',
   cmp_attr => 'return attr_a->tv != attr_b->tv;',
 },
 
 sr => {
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
   emit      => '
-	if (mode_is_signed(get_irn_mode(n)))
+	if (mode_is_signed(get_irn_mode(n))) {
 2.		sra %D1, %S1, %S2
-	else
+	}
+	else {
 2.		srl %D1, %S1, %S2
+	}
 ',
 },
 
 sri => {
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp" ], out => [ "gp" ] },
   emit      => '
-	if (mode_is_signed(get_irn_mode(n)))
+	if (mode_is_signed(get_irn_mode(n))) {
 2.		sra %D1, %S1, %C
-	else
+	}
+	else {
 2.		srl %D1, %S1, %C
+	}
 ',
 },
 
 srlv => {
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
   emit      => '. srlv %D1, %S1, %S2',
 },
 
 sllv => {
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
   emit      => '. sllv %D1, %S1, %S2',
 },
 
 sub => {
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
-  emit      => '. sub %D1, %S1, %S2'
-},
-
-subu => {
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
   emit      => '. subu %D1, %S1, %S2',
 },
 
 subuzero => {
-  reg_req	=> { in => [ "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req	=> { in => [ "gp" ], out => [ "gp" ] },
   emit => '. subu %D1, $zero, %S1',
 },
 
 xor => {
-  reg_req   => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
   emit      => '. xor %D1, %S1, %S2'
 },
 
 xori => {
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp" ], out => [ "gp" ] },
   emit      => '. xori %D1, %S1, %C',
   cmp_attr => 'return attr_a->tv != attr_b->tv;',
 },
@@ -331,7 +328,7 @@ xori => {
 # load upper imediate
 lui => {
   op_flags	=> "c",
-  reg_req   => { out => [ "general_purpose" ] },
+  reg_req   => { out => [ "gp" ] },
   emit      => '. lui %D1, %C',
   cmp_attr => 'return attr_a->tv != attr_b->tv;',
 },
@@ -339,25 +336,25 @@ lui => {
 # load lower immediate
 lli => {
   op_flags	=> "c",
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp" ], out => [ "gp" ] },
   emit      => '. ori %D1, %S1, %C',
   cmp_attr => 'return attr_a->tv != attr_b->tv;',
 },
 
 la => {
   op_flags	=> "c",
-  reg_req   => { out => [ "general_purpose" ] },
+  reg_req   => { out => [ "gp" ] },
   emit      => '. la %D1, %C',
   cmp_attr => 'return attr_a->symconst_id != attr_b->symconst_id;',
 },
 
 mflo => {
-  reg_req => { in => [ "none" ], out => [ "general_purpose" ] },
+  reg_req => { in => [ "none" ], out => [ "gp" ] },
   emit	  => '. mflo %D1'
 },
 
 mfhi => {
-  reg_req => { in => [ "none" ], out => [ "general_purpose" ] },
+  reg_req => { in => [ "none" ], out => [ "gp" ] },
   emit	  => '. mfhi %D1'
 },
 
@@ -376,22 +373,26 @@ zero => {
 #
 
 slt => {
-	reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] },
+	reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] },
 	emit => '
-	if (mode_is_signed(get_irn_mode(n)))
+	if (mode_is_signed(get_irn_mode(n))) {
 2.		slt %D1, %S1, %S2
-	else
+	}
+	else {
 2.		sltu %D1, %S1, %S2
+	}
 ',
 },
 
 slti => {
-	reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
+	reg_req => { in => [ "gp" ], out => [ "gp" ] },
 	emit => '
-	if (mode_is_signed(get_irn_mode(n)))
+	if (mode_is_signed(get_irn_mode(n))) {
 2.		slti %D1, %S1, %C
-	else
+	}
+	else {
 2.		sltiu %D1, %S1, %C
+	}
 ',
   cmp_attr => 'return attr_a->tv != attr_b->tv;',
 },
@@ -399,7 +400,7 @@ slti => {
 beq => {
 	op_flags  => "X|Y",
 	# TxT -> TxX
-	reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "in_r0", "none" ] },
+	reg_req => { in => [ "gp", "gp" ], out => [ "in_r0", "none" ] },
 	emit => '
 	ir_node *jumpblock = mips_get_jump_block(n, 1);
 	assert(jumpblock != NULL);
@@ -411,7 +412,7 @@ beq => {
 bne => {
 	op_flags  => "X|Y",
 	# TxT -> TxX
-	reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "in_r0", "none" ] },
+	reg_req => { in => [ "gp", "gp" ], out => [ "in_r0", "none" ] },
 	emit => '
 	ir_node *jumpblock = mips_get_jump_block(n, 1);
 	assert(jumpblock != NULL);
@@ -423,7 +424,7 @@ bne => {
 bgtz => {
 	op_flags  => "X|Y",
 	# TxT -> TxX
-	reg_req => { in => [ "general_purpose" ], out => [ "in_r0", "none" ] },
+	reg_req => { in => [ "gp" ], out => [ "in_r0", "none" ] },
 	emit => '
 	ir_node *jumpblock = mips_get_jump_block(n, 1);
 	assert(jumpblock != NULL);
@@ -435,7 +436,7 @@ bgtz => {
 blez => {
 	op_flags  => "X|Y",
 	# TxT -> TxX
-	reg_req => { in => [ "general_purpose" ], out => [ "in_r0", "none" ] },
+	reg_req => { in => [ "gp" ], out => [ "in_r0", "none" ] },
 	emit => '
 	ir_node *jumpblock = mips_get_jump_block(n, 1);
 	assert(jumpblock != NULL);
@@ -446,7 +447,7 @@ blez => {
 
 j => {
   op_flags => "X",
-  reg_req => { in => [ "general_purpose" ] },
+  reg_req => { in => [ "gp" ] },
   emit => '. j %S1',
 },
 
@@ -472,7 +473,7 @@ fallthrough => {
 SwitchJump => {
   op_flags => "X",
   # -> X,X,...
-  reg_req => { in => [ "general_purpose" ], out => [ "none" ] },
+  reg_req => { in => [ "gp" ], out => [ "none" ] },
   emit => '. j %S1'
 },
 
@@ -484,7 +485,7 @@ SwitchJump => {
 #
 
 load_r => {
-  reg_req	=> { in => [ "none", "general_purpose" ], out => [ "none", "none", "general_purpose" ] },
+  reg_req	=> { in => [ "none", "gp" ], out => [ "none", "none", "gp" ] },
   emit		=> '
 	mips_attr_t* attr = get_mips_attr(n);
 	ir_mode *mode;
@@ -493,16 +494,20 @@ load_r => {
 
 	switch (get_mode_size_bits(mode)) {
 	case 8:
-		if (mode_is_signed(mode))
+		if (mode_is_signed(mode)) {
 3.			lb %D3, %C(%S2)
-		else
+		}
+		else {
 3.			lbu %D3, %C(%S2)
+		}
 		break;
 	case 16:
-		if (mode_is_signed(mode))
+		if (mode_is_signed(mode)) {
 3.			lh %D3, %C(%S2)
-		else
+		}
+		else {
 3.			lhu %D3, %C(%S2)
+		}
 		break;
 	case 32:
 2.		lw %D3, %C(%S2)
@@ -524,7 +529,7 @@ load_r => {
 #
 
 store_r => {
-  reg_req	=> { in => [ "none", "general_purpose", "general_purpose" ], out => [ "none", "none" ] },
+  reg_req	=> { in => [ "none", "gp", "gp" ], out => [ "none", "none" ] },
   emit		=> '
 	mips_attr_t* attr = get_mips_attr(n);
 	ir_mode* mode;
@@ -552,7 +557,7 @@ store_r => {
 },
 
 store_i => {
-  reg_req	=> { in => [ "none", "none", "general_purpose" ], out => [ "none", "none" ] },
+  reg_req	=> { in => [ "none", "none", "gp" ], out => [ "none", "none" ] },
   emit		=> '
 	mips_attr_t* attr = get_mips_attr(n);
 	ir_mode *mode;
@@ -580,7 +585,7 @@ store_i => {
 },
 
 move => {
-  reg_req   => { in => [ "general_purpose" ], out => [ "general_purpose" ] },
+  reg_req   => { in => [ "gp" ], out => [ "gp" ] },
   emit      => '. or %D1, $zero, %S1'
 },
 
@@ -589,7 +594,7 @@ move => {
 #
 
 reinterpret_conv => {
-  reg_req   => { in => [ "general_purpose" ], out => [ "in_r1" ] },
+  reg_req   => { in => [ "gp" ], out => [ "in_r1" ] },
   emit      => '. # reinterpret %S1 -> %D1',
 },