| // Inferno utils/5c/sgen.c |
| // http://code.google.com/p/inferno-os/source/browse/utils/5c/sgen.c |
| // |
| // Copyright © 1994-1999 Lucent Technologies Inc. All rights reserved. |
| // Portions Copyright © 1995-1997 C H Forsyth (forsyth@terzarima.net) |
| // Portions Copyright © 1997-1999 Vita Nuova Limited |
| // Portions Copyright © 2000-2007 Vita Nuova Holdings Limited (www.vitanuova.com) |
| // Portions Copyright © 2004,2006 Bruce Ellis |
| // Portions Copyright © 2005-2007 C H Forsyth (forsyth@terzarima.net) |
| // Revisions Copyright © 2000-2007 Lucent Technologies Inc. and others |
| // Portions Copyright © 2009 The Go Authors. All rights reserved. |
| // |
| // Permission is hereby granted, free of charge, to any person obtaining a copy |
| // of this software and associated documentation files (the "Software"), to deal |
| // in the Software without restriction, including without limitation the rights |
| // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
| // copies of the Software, and to permit persons to whom the Software is |
| // furnished to do so, subject to the following conditions: |
| // |
| // The above copyright notice and this permission notice shall be included in |
| // all copies or substantial portions of the Software. |
| // |
| // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
| // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
| // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
| // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN |
| // THE SOFTWARE. |
| |
| |
| #include "gc.h" |
| |
| Prog* |
| gtext(Sym *s, int32 stkoff) |
| { |
| int32 a; |
| |
| a = 0; |
| if(!(textflag & NOSPLIT)) |
| a = argsize(); |
| else if(stkoff >= 128) |
| yyerror("stack frame too large for NOSPLIT function"); |
| |
| gpseudo(ATEXT, s, nodconst(stkoff)); |
| p->to.type = D_CONST2; |
| p->to.offset2 = a; |
| return p; |
| } |
| |
| void |
| noretval(int n) |
| { |
| |
| if(n & 1) { |
| gins(ANOP, Z, Z); |
| p->to.type = D_REG; |
| p->to.reg = REGRET; |
| } |
| if(n & 2) { |
| gins(ANOP, Z, Z); |
| p->to.type = D_FREG; |
| p->to.reg = FREGRET; |
| } |
| } |
| |
| /* |
| * calculate addressability as follows |
| * CONST ==> 20 $value |
| * NAME ==> 10 name |
| * REGISTER ==> 11 register |
| * INDREG ==> 12 *[(reg)+offset] |
| * &10 ==> 2 $name |
| * ADD(2, 20) ==> 2 $name+offset |
| * ADD(3, 20) ==> 3 $(reg)+offset |
| * &12 ==> 3 $(reg)+offset |
| * *11 ==> 11 ?? |
| * *2 ==> 10 name |
| * *3 ==> 12 *(reg)+offset |
| * calculate complexity (number of registers) |
| */ |
| void |
| xcom(Node *n) |
| { |
| Node *l, *r; |
| int t; |
| |
| if(n == Z) |
| return; |
| l = n->left; |
| r = n->right; |
| n->addable = 0; |
| n->complex = 0; |
| switch(n->op) { |
| case OCONST: |
| n->addable = 20; |
| return; |
| |
| case OREGISTER: |
| n->addable = 11; |
| return; |
| |
| case OINDREG: |
| n->addable = 12; |
| return; |
| |
| case ONAME: |
| n->addable = 10; |
| return; |
| |
| case OADDR: |
| xcom(l); |
| if(l->addable == 10) |
| n->addable = 2; |
| if(l->addable == 12) |
| n->addable = 3; |
| break; |
| |
| case OIND: |
| xcom(l); |
| if(l->addable == 11) |
| n->addable = 12; |
| if(l->addable == 3) |
| n->addable = 12; |
| if(l->addable == 2) |
| n->addable = 10; |
| break; |
| |
| case OADD: |
| xcom(l); |
| xcom(r); |
| if(l->addable == 20) { |
| if(r->addable == 2) |
| n->addable = 2; |
| if(r->addable == 3) |
| n->addable = 3; |
| } |
| if(r->addable == 20) { |
| if(l->addable == 2) |
| n->addable = 2; |
| if(l->addable == 3) |
| n->addable = 3; |
| } |
| break; |
| |
| case OASLMUL: |
| case OASMUL: |
| xcom(l); |
| xcom(r); |
| t = vlog(r); |
| if(t >= 0) { |
| n->op = OASASHL; |
| r->vconst = t; |
| r->type = types[TINT]; |
| } |
| break; |
| |
| case OMUL: |
| case OLMUL: |
| xcom(l); |
| xcom(r); |
| t = vlog(r); |
| if(t >= 0) { |
| n->op = OASHL; |
| r->vconst = t; |
| r->type = types[TINT]; |
| } |
| t = vlog(l); |
| if(t >= 0) { |
| n->op = OASHL; |
| n->left = r; |
| n->right = l; |
| r = l; |
| l = n->left; |
| r->vconst = t; |
| r->type = types[TINT]; |
| } |
| break; |
| |
| case OASLDIV: |
| xcom(l); |
| xcom(r); |
| t = vlog(r); |
| if(t >= 0) { |
| n->op = OASLSHR; |
| r->vconst = t; |
| r->type = types[TINT]; |
| } |
| break; |
| |
| case OLDIV: |
| xcom(l); |
| xcom(r); |
| t = vlog(r); |
| if(t >= 0) { |
| n->op = OLSHR; |
| r->vconst = t; |
| r->type = types[TINT]; |
| } |
| break; |
| |
| case OASLMOD: |
| xcom(l); |
| xcom(r); |
| t = vlog(r); |
| if(t >= 0) { |
| n->op = OASAND; |
| r->vconst--; |
| } |
| break; |
| |
| case OLMOD: |
| xcom(l); |
| xcom(r); |
| t = vlog(r); |
| if(t >= 0) { |
| n->op = OAND; |
| r->vconst--; |
| } |
| break; |
| |
| default: |
| if(l != Z) |
| xcom(l); |
| if(r != Z) |
| xcom(r); |
| break; |
| } |
| if(n->addable >= 10) |
| return; |
| |
| if(l != Z) |
| n->complex = l->complex; |
| if(r != Z) { |
| if(r->complex == n->complex) |
| n->complex = r->complex+1; |
| else |
| if(r->complex > n->complex) |
| n->complex = r->complex; |
| } |
| if(n->complex == 0) |
| n->complex++; |
| |
| if(com64(n)) |
| return; |
| |
| switch(n->op) { |
| case OFUNC: |
| n->complex = FNX; |
| break; |
| |
| case OADD: |
| case OXOR: |
| case OAND: |
| case OOR: |
| case OEQ: |
| case ONE: |
| /* |
| * immediate operators, make const on right |
| */ |
| if(l->op == OCONST) { |
| n->left = r; |
| n->right = l; |
| } |
| break; |
| } |
| } |