13e12c5d1SDavid du Colombier #include "gc.h" 23e12c5d1SDavid du Colombier 33e12c5d1SDavid du Colombier void 43e12c5d1SDavid du Colombier cgen(Node *n, Node *nn) 53e12c5d1SDavid du Colombier { 63e12c5d1SDavid du Colombier Node *l, *r; 73e12c5d1SDavid du Colombier Prog *p1; 83e12c5d1SDavid du Colombier Node nod, nod1, nod2, nod3, nod4; 93e12c5d1SDavid du Colombier int o; 103e12c5d1SDavid du Colombier long v, curs; 113e12c5d1SDavid du Colombier 123e12c5d1SDavid du Colombier if(debug['g']) { 133e12c5d1SDavid du Colombier prtree(nn, "cgen lhs"); 143e12c5d1SDavid du Colombier prtree(n, "cgen"); 153e12c5d1SDavid du Colombier } 163e12c5d1SDavid du Colombier if(n == Z || n->type == T) 173e12c5d1SDavid du Colombier return; 18*219b2ee8SDavid du Colombier if(typesu[n->type->etype] || typev[n->type->etype]) { 193e12c5d1SDavid du Colombier sugen(n, nn, n->type->width); 203e12c5d1SDavid du Colombier return; 213e12c5d1SDavid du Colombier } 223e12c5d1SDavid du Colombier if(n->addable > INDEXED) { 233e12c5d1SDavid du Colombier if(nn != Z) 243e12c5d1SDavid du Colombier gmove(n, nn); 253e12c5d1SDavid du Colombier return; 263e12c5d1SDavid du Colombier } 273e12c5d1SDavid du Colombier curs = cursafe; 283e12c5d1SDavid du Colombier l = n->left; 293e12c5d1SDavid du Colombier r = n->right; 303e12c5d1SDavid du Colombier o = n->op; 313e12c5d1SDavid du Colombier 323e12c5d1SDavid du Colombier if(n->complex >= FNX) 333e12c5d1SDavid du Colombier if(l->complex >= FNX) 343e12c5d1SDavid du Colombier if(r != Z && r->complex >= FNX) 353e12c5d1SDavid du Colombier switch(o) { 363e12c5d1SDavid du Colombier default: 373e12c5d1SDavid du Colombier regret(&nod, r); 383e12c5d1SDavid du Colombier cgen(r, &nod); 393e12c5d1SDavid du Colombier 403e12c5d1SDavid du Colombier regsalloc(&nod1, r); 413e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod1); 423e12c5d1SDavid du Colombier 433e12c5d1SDavid du Colombier regfree(&nod); 443e12c5d1SDavid du Colombier nod = *n; 453e12c5d1SDavid du Colombier nod.right = &nod1; 463e12c5d1SDavid du Colombier cgen(&nod, nn); 473e12c5d1SDavid du Colombier return; 483e12c5d1SDavid du Colombier 493e12c5d1SDavid du Colombier case OFUNC: 503e12c5d1SDavid du Colombier case OCOMMA: 513e12c5d1SDavid du Colombier case OANDAND: 523e12c5d1SDavid du Colombier case OOROR: 533e12c5d1SDavid du Colombier case OCOND: 543e12c5d1SDavid du Colombier case ODOT: 553e12c5d1SDavid du Colombier break; 563e12c5d1SDavid du Colombier } 573e12c5d1SDavid du Colombier 583e12c5d1SDavid du Colombier switch(o) { 593e12c5d1SDavid du Colombier default: 603e12c5d1SDavid du Colombier diag(n, "unknown op in cgen: %O", o); 613e12c5d1SDavid du Colombier break; 623e12c5d1SDavid du Colombier 633e12c5d1SDavid du Colombier case OAS: 643e12c5d1SDavid du Colombier if(l->op == OBIT) 653e12c5d1SDavid du Colombier goto bitas; 663e12c5d1SDavid du Colombier if(l->addable >= INDEXED) { 673e12c5d1SDavid du Colombier if(nn != Z || r->addable < INDEXED) { 683e12c5d1SDavid du Colombier regalloc(&nod, r, nn); 693e12c5d1SDavid du Colombier cgen(r, &nod); 703e12c5d1SDavid du Colombier gmove(&nod, l); 713e12c5d1SDavid du Colombier regfree(&nod); 723e12c5d1SDavid du Colombier } else 733e12c5d1SDavid du Colombier gmove(r, l); 743e12c5d1SDavid du Colombier break; 753e12c5d1SDavid du Colombier } 763e12c5d1SDavid du Colombier if(l->complex >= r->complex) { 773e12c5d1SDavid du Colombier reglcgen(&nod1, l, Z); 783e12c5d1SDavid du Colombier if(r->addable >= INDEXED) { 793e12c5d1SDavid du Colombier gmove(r, &nod1); 803e12c5d1SDavid du Colombier if(nn != Z) 813e12c5d1SDavid du Colombier gmove(r, nn); 823e12c5d1SDavid du Colombier regfree(&nod1); 833e12c5d1SDavid du Colombier break; 843e12c5d1SDavid du Colombier } 853e12c5d1SDavid du Colombier regalloc(&nod, r, nn); 863e12c5d1SDavid du Colombier cgen(r, &nod); 873e12c5d1SDavid du Colombier } else { 883e12c5d1SDavid du Colombier regalloc(&nod, r, nn); 893e12c5d1SDavid du Colombier cgen(r, &nod); 903e12c5d1SDavid du Colombier reglcgen(&nod1, l, Z); 913e12c5d1SDavid du Colombier } 923e12c5d1SDavid du Colombier gmove(&nod, &nod1); 933e12c5d1SDavid du Colombier regfree(&nod); 943e12c5d1SDavid du Colombier regfree(&nod1); 953e12c5d1SDavid du Colombier break; 963e12c5d1SDavid du Colombier 973e12c5d1SDavid du Colombier bitas: 983e12c5d1SDavid du Colombier n = l->left; 993e12c5d1SDavid du Colombier regalloc(&nod, r, nn); 1003e12c5d1SDavid du Colombier if(l->complex >= r->complex) { 1013e12c5d1SDavid du Colombier reglcgen(&nod1, n, Z); 1023e12c5d1SDavid du Colombier cgen(r, &nod); 1033e12c5d1SDavid du Colombier } else { 1043e12c5d1SDavid du Colombier cgen(r, &nod); 1053e12c5d1SDavid du Colombier reglcgen(&nod1, n, Z); 1063e12c5d1SDavid du Colombier } 1073e12c5d1SDavid du Colombier regalloc(&nod2, n, Z); 1083e12c5d1SDavid du Colombier gopcode(OAS, &nod1, Z, &nod2); 1093e12c5d1SDavid du Colombier bitstore(l, &nod, &nod1, &nod2, nn); 1103e12c5d1SDavid du Colombier break; 1113e12c5d1SDavid du Colombier 1123e12c5d1SDavid du Colombier case OBIT: 1133e12c5d1SDavid du Colombier if(nn == Z) { 1143e12c5d1SDavid du Colombier nullwarn(l, Z); 1153e12c5d1SDavid du Colombier break; 1163e12c5d1SDavid du Colombier } 1173e12c5d1SDavid du Colombier bitload(n, &nod, Z, Z, nn); 1183e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 1193e12c5d1SDavid du Colombier regfree(&nod); 1203e12c5d1SDavid du Colombier break; 1213e12c5d1SDavid du Colombier 1223e12c5d1SDavid du Colombier case OADD: 1233e12c5d1SDavid du Colombier case OSUB: 1243e12c5d1SDavid du Colombier case OAND: 1253e12c5d1SDavid du Colombier case OOR: 1263e12c5d1SDavid du Colombier case OXOR: 1273e12c5d1SDavid du Colombier case OLSHR: 1283e12c5d1SDavid du Colombier case OASHL: 1293e12c5d1SDavid du Colombier case OASHR: 1303e12c5d1SDavid du Colombier /* 1313e12c5d1SDavid du Colombier * immediate operands 1323e12c5d1SDavid du Colombier */ 1333e12c5d1SDavid du Colombier if(nn != Z) 1343e12c5d1SDavid du Colombier if(r->op == OCONST) 135*219b2ee8SDavid du Colombier if(!typefd[n->type->etype]) { 1363e12c5d1SDavid du Colombier cgen(l, nn); 137*219b2ee8SDavid du Colombier if(r->vconst == 0) 1383e12c5d1SDavid du Colombier if(o != OAND) 1393e12c5d1SDavid du Colombier break; 1403e12c5d1SDavid du Colombier if(nn != Z) 1413e12c5d1SDavid du Colombier gopcode(o, r, Z, nn); 1423e12c5d1SDavid du Colombier break; 1433e12c5d1SDavid du Colombier } 1443e12c5d1SDavid du Colombier 1453e12c5d1SDavid du Colombier case OMUL: 1463e12c5d1SDavid du Colombier case OLMUL: 1473e12c5d1SDavid du Colombier case OLDIV: 1483e12c5d1SDavid du Colombier case OLMOD: 1493e12c5d1SDavid du Colombier case ODIV: 1503e12c5d1SDavid du Colombier case OMOD: 1513e12c5d1SDavid du Colombier if(nn == Z) { 1523e12c5d1SDavid du Colombier nullwarn(l, r); 1533e12c5d1SDavid du Colombier break; 1543e12c5d1SDavid du Colombier } 1553e12c5d1SDavid du Colombier if(o == OMUL || o == OLMUL) { 1563e12c5d1SDavid du Colombier if(mulcon(n, nn)) 1573e12c5d1SDavid du Colombier break; 1583e12c5d1SDavid du Colombier if(debug['M']) 1593e12c5d1SDavid du Colombier print("%L multiply\n", n->lineno); 1603e12c5d1SDavid du Colombier } 1613e12c5d1SDavid du Colombier if(l->complex >= r->complex) { 1623e12c5d1SDavid du Colombier regalloc(&nod, l, nn); 1633e12c5d1SDavid du Colombier cgen(l, &nod); 1643e12c5d1SDavid du Colombier regalloc(&nod1, r, Z); 1653e12c5d1SDavid du Colombier cgen(r, &nod1); 1663e12c5d1SDavid du Colombier gopcode(o, &nod1, Z, &nod); 1673e12c5d1SDavid du Colombier } else { 1683e12c5d1SDavid du Colombier regalloc(&nod, r, nn); 1693e12c5d1SDavid du Colombier cgen(r, &nod); 1703e12c5d1SDavid du Colombier regalloc(&nod1, l, Z); 1713e12c5d1SDavid du Colombier cgen(l, &nod1); 1723e12c5d1SDavid du Colombier gopcode(o, &nod, &nod1, &nod); 1733e12c5d1SDavid du Colombier } 1743e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 1753e12c5d1SDavid du Colombier regfree(&nod); 1763e12c5d1SDavid du Colombier regfree(&nod1); 1773e12c5d1SDavid du Colombier break; 1783e12c5d1SDavid du Colombier 1793e12c5d1SDavid du Colombier case OASLSHR: 1803e12c5d1SDavid du Colombier case OASASHL: 1813e12c5d1SDavid du Colombier case OASASHR: 1823e12c5d1SDavid du Colombier case OASAND: 1833e12c5d1SDavid du Colombier case OASADD: 1843e12c5d1SDavid du Colombier case OASSUB: 1853e12c5d1SDavid du Colombier case OASXOR: 1863e12c5d1SDavid du Colombier case OASOR: 1873e12c5d1SDavid du Colombier if(l->op == OBIT) 1883e12c5d1SDavid du Colombier goto asbitop; 1893e12c5d1SDavid du Colombier if(r->op == OCONST) 190*219b2ee8SDavid du Colombier if(!typefd[n->type->etype]) { 1913e12c5d1SDavid du Colombier if(l->addable < INDEXED) 1923e12c5d1SDavid du Colombier reglcgen(&nod2, l, Z); 1933e12c5d1SDavid du Colombier else 1943e12c5d1SDavid du Colombier nod2 = *l; 1953e12c5d1SDavid du Colombier regalloc(&nod, r, nn); 1963e12c5d1SDavid du Colombier gopcode(OAS, &nod2, Z, &nod); 1973e12c5d1SDavid du Colombier gopcode(o, r, Z, &nod); 1983e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod2); 1993e12c5d1SDavid du Colombier 2003e12c5d1SDavid du Colombier regfree(&nod); 2013e12c5d1SDavid du Colombier if(l->addable < INDEXED) 2023e12c5d1SDavid du Colombier regfree(&nod2); 2033e12c5d1SDavid du Colombier break; 2043e12c5d1SDavid du Colombier } 2053e12c5d1SDavid du Colombier 2063e12c5d1SDavid du Colombier case OASLMUL: 2073e12c5d1SDavid du Colombier case OASLDIV: 2083e12c5d1SDavid du Colombier case OASLMOD: 2093e12c5d1SDavid du Colombier case OASMUL: 2103e12c5d1SDavid du Colombier case OASDIV: 2113e12c5d1SDavid du Colombier case OASMOD: 2123e12c5d1SDavid du Colombier if(l->op == OBIT) 2133e12c5d1SDavid du Colombier goto asbitop; 2143e12c5d1SDavid du Colombier if(l->complex >= r->complex) { 2153e12c5d1SDavid du Colombier if(l->addable < INDEXED) 2163e12c5d1SDavid du Colombier reglcgen(&nod2, l, Z); 2173e12c5d1SDavid du Colombier else 2183e12c5d1SDavid du Colombier nod2 = *l; 219*219b2ee8SDavid du Colombier regalloc(&nod, n, nn); 2203e12c5d1SDavid du Colombier cgen(r, &nod); 2213e12c5d1SDavid du Colombier } else { 222*219b2ee8SDavid du Colombier regalloc(&nod, n, nn); 2233e12c5d1SDavid du Colombier cgen(r, &nod); 2243e12c5d1SDavid du Colombier if(l->addable < INDEXED) 2253e12c5d1SDavid du Colombier reglcgen(&nod2, l, Z); 2263e12c5d1SDavid du Colombier else 2273e12c5d1SDavid du Colombier nod2 = *l; 2283e12c5d1SDavid du Colombier } 229*219b2ee8SDavid du Colombier regalloc(&nod1, n, Z); 2303e12c5d1SDavid du Colombier gopcode(OAS, &nod2, Z, &nod1); 2313e12c5d1SDavid du Colombier gopcode(o, &nod, &nod1, &nod); 2323e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod2); 2333e12c5d1SDavid du Colombier regfree(&nod); 2343e12c5d1SDavid du Colombier regfree(&nod1); 2353e12c5d1SDavid du Colombier if(l->addable < INDEXED) 2363e12c5d1SDavid du Colombier regfree(&nod2); 2373e12c5d1SDavid du Colombier break; 2383e12c5d1SDavid du Colombier 2393e12c5d1SDavid du Colombier asbitop: 2403e12c5d1SDavid du Colombier regalloc(&nod4, n, nn); 2413e12c5d1SDavid du Colombier regalloc(&nod3, r, Z); 2423e12c5d1SDavid du Colombier if(l->complex >= r->complex) { 2433e12c5d1SDavid du Colombier bitload(l, &nod, &nod1, &nod2, &nod4); 2443e12c5d1SDavid du Colombier cgen(r, &nod3); 2453e12c5d1SDavid du Colombier } else { 2463e12c5d1SDavid du Colombier cgen(r, &nod3); 2473e12c5d1SDavid du Colombier bitload(l, &nod, &nod1, &nod2, &nod4); 2483e12c5d1SDavid du Colombier } 2493e12c5d1SDavid du Colombier gmove(&nod, &nod4); 2503e12c5d1SDavid du Colombier gopcode(n->op, &nod3, Z, &nod4); 2513e12c5d1SDavid du Colombier regfree(&nod3); 2523e12c5d1SDavid du Colombier gmove(&nod4, &nod); 2533e12c5d1SDavid du Colombier regfree(&nod4); 2543e12c5d1SDavid du Colombier bitstore(l, &nod, &nod1, &nod2, nn); 2553e12c5d1SDavid du Colombier break; 2563e12c5d1SDavid du Colombier 2573e12c5d1SDavid du Colombier case OADDR: 2583e12c5d1SDavid du Colombier if(nn == Z) { 2593e12c5d1SDavid du Colombier nullwarn(l, Z); 2603e12c5d1SDavid du Colombier break; 2613e12c5d1SDavid du Colombier } 2623e12c5d1SDavid du Colombier lcgen(l, nn); 2633e12c5d1SDavid du Colombier break; 2643e12c5d1SDavid du Colombier 2653e12c5d1SDavid du Colombier case OFUNC: 2663e12c5d1SDavid du Colombier if(l->complex >= FNX) { 2673e12c5d1SDavid du Colombier if(l->op != OIND) 2683e12c5d1SDavid du Colombier diag(n, "bad function call"); 2693e12c5d1SDavid du Colombier 2703e12c5d1SDavid du Colombier regret(&nod, l->left); 2713e12c5d1SDavid du Colombier cgen(l->left, &nod); 2723e12c5d1SDavid du Colombier regsalloc(&nod1, l->left); 2733e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod1); 2743e12c5d1SDavid du Colombier regfree(&nod); 2753e12c5d1SDavid du Colombier 2763e12c5d1SDavid du Colombier nod = *n; 2773e12c5d1SDavid du Colombier nod.left = &nod2; 2783e12c5d1SDavid du Colombier nod2 = *l; 2793e12c5d1SDavid du Colombier nod2.left = &nod1; 2803e12c5d1SDavid du Colombier nod2.complex = 1; 2813e12c5d1SDavid du Colombier cgen(&nod, nn); 2823e12c5d1SDavid du Colombier 2833e12c5d1SDavid du Colombier return; 2843e12c5d1SDavid du Colombier } 2853e12c5d1SDavid du Colombier o = reg[REGARG]; 2863e12c5d1SDavid du Colombier gargs(r, &nod, &nod1); 2873e12c5d1SDavid du Colombier if(l->addable < INDEXED) { 2883e12c5d1SDavid du Colombier reglcgen(&nod, l, Z); 2893e12c5d1SDavid du Colombier gopcode(OFUNC, Z, Z, &nod); 2903e12c5d1SDavid du Colombier regfree(&nod); 2913e12c5d1SDavid du Colombier } else 2923e12c5d1SDavid du Colombier gopcode(OFUNC, Z, Z, l); 2933e12c5d1SDavid du Colombier if(REGARG) 2943e12c5d1SDavid du Colombier if(o != reg[REGARG]) 2953e12c5d1SDavid du Colombier reg[REGARG]--; 2963e12c5d1SDavid du Colombier if(nn != Z) { 2973e12c5d1SDavid du Colombier regret(&nod, n); 2983e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 2993e12c5d1SDavid du Colombier regfree(&nod); 3003e12c5d1SDavid du Colombier } 3013e12c5d1SDavid du Colombier break; 3023e12c5d1SDavid du Colombier 3033e12c5d1SDavid du Colombier case OIND: 3043e12c5d1SDavid du Colombier if(nn == Z) { 3053e12c5d1SDavid du Colombier cgen(l, nn); 3063e12c5d1SDavid du Colombier break; 3073e12c5d1SDavid du Colombier } 3083e12c5d1SDavid du Colombier regialloc(&nod, n, nn); 3093e12c5d1SDavid du Colombier r = l; 3103e12c5d1SDavid du Colombier while(r->op == OADD) 3113e12c5d1SDavid du Colombier r = r->right; 3123e12c5d1SDavid du Colombier if(sconst(r)) { 313*219b2ee8SDavid du Colombier v = r->vconst; 314*219b2ee8SDavid du Colombier r->vconst = 0; 3153e12c5d1SDavid du Colombier cgen(l, &nod); 316*219b2ee8SDavid du Colombier nod.xoffset += v; 317*219b2ee8SDavid du Colombier r->vconst = v; 3183e12c5d1SDavid du Colombier } else 3193e12c5d1SDavid du Colombier cgen(l, &nod); 3203e12c5d1SDavid du Colombier regind(&nod, n); 3213e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 3223e12c5d1SDavid du Colombier regfree(&nod); 3233e12c5d1SDavid du Colombier break; 3243e12c5d1SDavid du Colombier 3253e12c5d1SDavid du Colombier case OEQ: 3263e12c5d1SDavid du Colombier case ONE: 3273e12c5d1SDavid du Colombier case OLE: 3283e12c5d1SDavid du Colombier case OLT: 3293e12c5d1SDavid du Colombier case OGE: 3303e12c5d1SDavid du Colombier case OGT: 3313e12c5d1SDavid du Colombier case OLO: 3323e12c5d1SDavid du Colombier case OLS: 3333e12c5d1SDavid du Colombier case OHI: 3343e12c5d1SDavid du Colombier case OHS: 3353e12c5d1SDavid du Colombier if(nn == Z) { 3363e12c5d1SDavid du Colombier nullwarn(l, r); 3373e12c5d1SDavid du Colombier break; 3383e12c5d1SDavid du Colombier } 3393e12c5d1SDavid du Colombier boolgen(n, 1, nn); 3403e12c5d1SDavid du Colombier break; 3413e12c5d1SDavid du Colombier 3423e12c5d1SDavid du Colombier case OANDAND: 3433e12c5d1SDavid du Colombier case OOROR: 3443e12c5d1SDavid du Colombier boolgen(n, 1, nn); 3453e12c5d1SDavid du Colombier if(nn == Z) 3463e12c5d1SDavid du Colombier patch(p, pc); 3473e12c5d1SDavid du Colombier break; 3483e12c5d1SDavid du Colombier 3493e12c5d1SDavid du Colombier case ONOT: 3503e12c5d1SDavid du Colombier if(nn == Z) { 3513e12c5d1SDavid du Colombier nullwarn(l, Z); 3523e12c5d1SDavid du Colombier break; 3533e12c5d1SDavid du Colombier } 3543e12c5d1SDavid du Colombier boolgen(n, 1, nn); 3553e12c5d1SDavid du Colombier break; 3563e12c5d1SDavid du Colombier 3573e12c5d1SDavid du Colombier case OCOMMA: 3583e12c5d1SDavid du Colombier cgen(l, Z); 3593e12c5d1SDavid du Colombier cgen(r, nn); 3603e12c5d1SDavid du Colombier break; 3613e12c5d1SDavid du Colombier 3623e12c5d1SDavid du Colombier case OCAST: 3633e12c5d1SDavid du Colombier if(nn == Z) { 3643e12c5d1SDavid du Colombier nullwarn(l, Z); 3653e12c5d1SDavid du Colombier break; 3663e12c5d1SDavid du Colombier } 3673e12c5d1SDavid du Colombier /* 3683e12c5d1SDavid du Colombier * convert from types l->n->nn 3693e12c5d1SDavid du Colombier */ 3703e12c5d1SDavid du Colombier if(nocast(l->type, n->type) && nocast(n->type, nn->type)) { 3713e12c5d1SDavid du Colombier /* both null, gen l->nn */ 3723e12c5d1SDavid du Colombier cgen(l, nn); 3733e12c5d1SDavid du Colombier break; 3743e12c5d1SDavid du Colombier } 3753e12c5d1SDavid du Colombier regalloc(&nod, l, nn); 3763e12c5d1SDavid du Colombier cgen(l, &nod); 3773e12c5d1SDavid du Colombier regalloc(&nod1, n, &nod); 3783e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod1); 3793e12c5d1SDavid du Colombier gopcode(OAS, &nod1, Z, nn); 3803e12c5d1SDavid du Colombier regfree(&nod1); 3813e12c5d1SDavid du Colombier regfree(&nod); 3823e12c5d1SDavid du Colombier break; 3833e12c5d1SDavid du Colombier 3843e12c5d1SDavid du Colombier case ODOT: 3853e12c5d1SDavid du Colombier sugen(l, nodrat, l->type->width); 3863e12c5d1SDavid du Colombier if(nn != Z) { 3873e12c5d1SDavid du Colombier warn(n, "non-interruptable temporary"); 3883e12c5d1SDavid du Colombier nod = *nodrat; 3893e12c5d1SDavid du Colombier if(!r || r->op != OCONST) { 3903e12c5d1SDavid du Colombier diag(n, "DOT and no offset"); 3913e12c5d1SDavid du Colombier break; 3923e12c5d1SDavid du Colombier } 393*219b2ee8SDavid du Colombier nod.xoffset += (long)r->vconst; 3943e12c5d1SDavid du Colombier nod.type = n->type; 3953e12c5d1SDavid du Colombier cgen(&nod, nn); 3963e12c5d1SDavid du Colombier } 3973e12c5d1SDavid du Colombier break; 3983e12c5d1SDavid du Colombier 3993e12c5d1SDavid du Colombier case OCOND: 4003e12c5d1SDavid du Colombier bcgen(l, 1); 4013e12c5d1SDavid du Colombier p1 = p; 4023e12c5d1SDavid du Colombier cgen(r->left, nn); 4033e12c5d1SDavid du Colombier gbranch(OGOTO); 4043e12c5d1SDavid du Colombier patch(p1, pc); 4053e12c5d1SDavid du Colombier p1 = p; 4063e12c5d1SDavid du Colombier cgen(r->right, nn); 4073e12c5d1SDavid du Colombier patch(p1, pc); 4083e12c5d1SDavid du Colombier break; 4093e12c5d1SDavid du Colombier 4103e12c5d1SDavid du Colombier case OPOSTINC: 4113e12c5d1SDavid du Colombier case OPOSTDEC: 4123e12c5d1SDavid du Colombier v = 1; 4133e12c5d1SDavid du Colombier if(l->type->etype == TIND) 4143e12c5d1SDavid du Colombier v = l->type->link->width; 4153e12c5d1SDavid du Colombier if(o == OPOSTDEC) 4163e12c5d1SDavid du Colombier v = -v; 4173e12c5d1SDavid du Colombier if(l->op == OBIT) 4183e12c5d1SDavid du Colombier goto bitinc; 4193e12c5d1SDavid du Colombier if(nn == Z) 4203e12c5d1SDavid du Colombier goto pre; 4213e12c5d1SDavid du Colombier 4223e12c5d1SDavid du Colombier if(l->addable < INDEXED) 4233e12c5d1SDavid du Colombier reglcgen(&nod2, l, Z); 4243e12c5d1SDavid du Colombier else 4253e12c5d1SDavid du Colombier nod2 = *l; 4263e12c5d1SDavid du Colombier 4273e12c5d1SDavid du Colombier regalloc(&nod, l, nn); 4283e12c5d1SDavid du Colombier gopcode(OAS, &nod2, Z, &nod); 4293e12c5d1SDavid du Colombier regalloc(&nod1, l, Z); 430*219b2ee8SDavid du Colombier if(typefd[l->type->etype]) { 4313e12c5d1SDavid du Colombier regalloc(&nod3, l, Z); 4323e12c5d1SDavid du Colombier if(v < 0) { 4333e12c5d1SDavid du Colombier gopcode(OAS, nodfconst(-v), Z, &nod3); 4343e12c5d1SDavid du Colombier gopcode(OSUB, &nod3, &nod, &nod1); 4353e12c5d1SDavid du Colombier } else { 4363e12c5d1SDavid du Colombier gopcode(OAS, nodfconst(v), Z, &nod3); 4373e12c5d1SDavid du Colombier gopcode(OADD, &nod3, &nod, &nod1); 4383e12c5d1SDavid du Colombier } 4393e12c5d1SDavid du Colombier regfree(&nod3); 4403e12c5d1SDavid du Colombier } else 4413e12c5d1SDavid du Colombier gopcode(OADD, nodconst(v), &nod, &nod1); 4423e12c5d1SDavid du Colombier gopcode(OAS, &nod1, Z, &nod2); 4433e12c5d1SDavid du Colombier 4443e12c5d1SDavid du Colombier regfree(&nod); 4453e12c5d1SDavid du Colombier regfree(&nod1); 4463e12c5d1SDavid du Colombier if(l->addable < INDEXED) 4473e12c5d1SDavid du Colombier regfree(&nod2); 4483e12c5d1SDavid du Colombier break; 4493e12c5d1SDavid du Colombier 4503e12c5d1SDavid du Colombier case OPREINC: 4513e12c5d1SDavid du Colombier case OPREDEC: 4523e12c5d1SDavid du Colombier v = 1; 4533e12c5d1SDavid du Colombier if(l->type->etype == TIND) 4543e12c5d1SDavid du Colombier v = l->type->link->width; 4553e12c5d1SDavid du Colombier if(o == OPREDEC) 4563e12c5d1SDavid du Colombier v = -v; 4573e12c5d1SDavid du Colombier if(l->op == OBIT) 4583e12c5d1SDavid du Colombier goto bitinc; 4593e12c5d1SDavid du Colombier 4603e12c5d1SDavid du Colombier pre: 4613e12c5d1SDavid du Colombier if(l->addable < INDEXED) 4623e12c5d1SDavid du Colombier reglcgen(&nod2, l, Z); 4633e12c5d1SDavid du Colombier else 4643e12c5d1SDavid du Colombier nod2 = *l; 4653e12c5d1SDavid du Colombier 4663e12c5d1SDavid du Colombier regalloc(&nod, l, nn); 4673e12c5d1SDavid du Colombier gopcode(OAS, &nod2, Z, &nod); 468*219b2ee8SDavid du Colombier if(typefd[l->type->etype]) { 4693e12c5d1SDavid du Colombier regalloc(&nod3, l, Z); 4703e12c5d1SDavid du Colombier if(v < 0) { 4713e12c5d1SDavid du Colombier gopcode(OAS, nodfconst(-v), Z, &nod3); 4723e12c5d1SDavid du Colombier gopcode(OSUB, &nod3, Z, &nod); 4733e12c5d1SDavid du Colombier } else { 4743e12c5d1SDavid du Colombier gopcode(OAS, nodfconst(v), Z, &nod3); 4753e12c5d1SDavid du Colombier gopcode(OADD, &nod3, Z, &nod); 4763e12c5d1SDavid du Colombier } 4773e12c5d1SDavid du Colombier regfree(&nod3); 4783e12c5d1SDavid du Colombier } else 4793e12c5d1SDavid du Colombier gopcode(OADD, nodconst(v), Z, &nod); 4803e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod2); 4813e12c5d1SDavid du Colombier 4823e12c5d1SDavid du Colombier regfree(&nod); 4833e12c5d1SDavid du Colombier if(l->addable < INDEXED) 4843e12c5d1SDavid du Colombier regfree(&nod2); 4853e12c5d1SDavid du Colombier break; 4863e12c5d1SDavid du Colombier 4873e12c5d1SDavid du Colombier bitinc: 4883e12c5d1SDavid du Colombier if(nn != Z && (o == OPOSTINC || o == OPOSTDEC)) { 4893e12c5d1SDavid du Colombier bitload(l, &nod, &nod1, &nod2, Z); 4903e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 4913e12c5d1SDavid du Colombier gopcode(OADD, nodconst(v), Z, &nod); 4923e12c5d1SDavid du Colombier bitstore(l, &nod, &nod1, &nod2, Z); 4933e12c5d1SDavid du Colombier break; 4943e12c5d1SDavid du Colombier } 4953e12c5d1SDavid du Colombier bitload(l, &nod, &nod1, &nod2, nn); 4963e12c5d1SDavid du Colombier gopcode(OADD, nodconst(v), Z, &nod); 4973e12c5d1SDavid du Colombier bitstore(l, &nod, &nod1, &nod2, nn); 4983e12c5d1SDavid du Colombier break; 4993e12c5d1SDavid du Colombier } 5003e12c5d1SDavid du Colombier cursafe = curs; 5013e12c5d1SDavid du Colombier return; 5023e12c5d1SDavid du Colombier 5033e12c5d1SDavid du Colombier bad: 5043e12c5d1SDavid du Colombier cursafe = curs; 5053e12c5d1SDavid du Colombier diag(n, "%O not implemented", o); 5063e12c5d1SDavid du Colombier } 5073e12c5d1SDavid du Colombier 5083e12c5d1SDavid du Colombier void 5093e12c5d1SDavid du Colombier reglcgen(Node *t, Node *n, Node *nn) 5103e12c5d1SDavid du Colombier { 5113e12c5d1SDavid du Colombier Node *r; 5123e12c5d1SDavid du Colombier long v; 5133e12c5d1SDavid du Colombier 5143e12c5d1SDavid du Colombier regialloc(t, n, nn); 5153e12c5d1SDavid du Colombier if(n->op == OIND) { 5163e12c5d1SDavid du Colombier r = n->left; 5173e12c5d1SDavid du Colombier while(r->op == OADD) 5183e12c5d1SDavid du Colombier r = r->right; 5193e12c5d1SDavid du Colombier if(sconst(r)) { 520*219b2ee8SDavid du Colombier v = r->vconst; 521*219b2ee8SDavid du Colombier r->vconst = 0; 5223e12c5d1SDavid du Colombier lcgen(n, t); 523*219b2ee8SDavid du Colombier t->xoffset += v; 524*219b2ee8SDavid du Colombier r->vconst = v; 5253e12c5d1SDavid du Colombier regind(t, n); 5263e12c5d1SDavid du Colombier return; 5273e12c5d1SDavid du Colombier } 5283e12c5d1SDavid du Colombier } 5293e12c5d1SDavid du Colombier lcgen(n, t); 5303e12c5d1SDavid du Colombier regind(t, n); 5313e12c5d1SDavid du Colombier } 5323e12c5d1SDavid du Colombier 5333e12c5d1SDavid du Colombier void 5343e12c5d1SDavid du Colombier lcgen(Node *n, Node *nn) 5353e12c5d1SDavid du Colombier { 5363e12c5d1SDavid du Colombier Prog *p1; 5373e12c5d1SDavid du Colombier Node nod; 5383e12c5d1SDavid du Colombier 5393e12c5d1SDavid du Colombier if(debug['g']) { 5403e12c5d1SDavid du Colombier prtree(nn, "lcgen lhs"); 5413e12c5d1SDavid du Colombier prtree(n, "lcgen"); 5423e12c5d1SDavid du Colombier } 5433e12c5d1SDavid du Colombier if(n == Z || n->type == T) 5443e12c5d1SDavid du Colombier return; 5453e12c5d1SDavid du Colombier if(nn == Z) { 5463e12c5d1SDavid du Colombier nn = &nod; 5473e12c5d1SDavid du Colombier regalloc(&nod, n, Z); 5483e12c5d1SDavid du Colombier } 5493e12c5d1SDavid du Colombier switch(n->op) { 5503e12c5d1SDavid du Colombier default: 5513e12c5d1SDavid du Colombier if(n->addable < INDEXED) { 5523e12c5d1SDavid du Colombier diag(n, "unknown op in lcgen: %O", n->op); 5533e12c5d1SDavid du Colombier break; 5543e12c5d1SDavid du Colombier } 5553e12c5d1SDavid du Colombier nod = *n; 5563e12c5d1SDavid du Colombier nod.op = OADDR; 5573e12c5d1SDavid du Colombier nod.left = n; 5583e12c5d1SDavid du Colombier nod.right = Z; 5593e12c5d1SDavid du Colombier nod.type = types[TIND]; 5603e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 5613e12c5d1SDavid du Colombier break; 5623e12c5d1SDavid du Colombier 5633e12c5d1SDavid du Colombier case OCOMMA: 5643e12c5d1SDavid du Colombier cgen(n->left, n->left); 5653e12c5d1SDavid du Colombier lcgen(n->right, nn); 5663e12c5d1SDavid du Colombier break; 5673e12c5d1SDavid du Colombier 5683e12c5d1SDavid du Colombier case OIND: 5693e12c5d1SDavid du Colombier cgen(n->left, nn); 5703e12c5d1SDavid du Colombier break; 5713e12c5d1SDavid du Colombier 5723e12c5d1SDavid du Colombier case OCOND: 5733e12c5d1SDavid du Colombier bcgen(n->left, 1); 5743e12c5d1SDavid du Colombier p1 = p; 5753e12c5d1SDavid du Colombier lcgen(n->right->left, nn); 5763e12c5d1SDavid du Colombier gbranch(OGOTO); 5773e12c5d1SDavid du Colombier patch(p1, pc); 5783e12c5d1SDavid du Colombier p1 = p; 5793e12c5d1SDavid du Colombier lcgen(n->right->right, nn); 5803e12c5d1SDavid du Colombier patch(p1, pc); 5813e12c5d1SDavid du Colombier break; 5823e12c5d1SDavid du Colombier } 5833e12c5d1SDavid du Colombier } 5843e12c5d1SDavid du Colombier 5853e12c5d1SDavid du Colombier void 5863e12c5d1SDavid du Colombier bcgen(Node *n, int true) 5873e12c5d1SDavid du Colombier { 5883e12c5d1SDavid du Colombier 5893e12c5d1SDavid du Colombier if(n->type == T) 5903e12c5d1SDavid du Colombier gbranch(OGOTO); 5913e12c5d1SDavid du Colombier else 5923e12c5d1SDavid du Colombier boolgen(n, true, Z); 5933e12c5d1SDavid du Colombier } 5943e12c5d1SDavid du Colombier 5953e12c5d1SDavid du Colombier void 5963e12c5d1SDavid du Colombier boolgen(Node *n, int true, Node *nn) 5973e12c5d1SDavid du Colombier { 5983e12c5d1SDavid du Colombier int o; 5993e12c5d1SDavid du Colombier Prog *p1, *p2; 6003e12c5d1SDavid du Colombier Node *l, *r, nod, nod1; 6013e12c5d1SDavid du Colombier long curs; 6023e12c5d1SDavid du Colombier 6033e12c5d1SDavid du Colombier if(debug['g']) { 6043e12c5d1SDavid du Colombier prtree(nn, "boolgen lhs"); 6053e12c5d1SDavid du Colombier prtree(n, "boolgen"); 6063e12c5d1SDavid du Colombier } 6073e12c5d1SDavid du Colombier curs = cursafe; 6083e12c5d1SDavid du Colombier l = n->left; 6093e12c5d1SDavid du Colombier r = n->right; 6103e12c5d1SDavid du Colombier switch(n->op) { 6113e12c5d1SDavid du Colombier 6123e12c5d1SDavid du Colombier default: 6133e12c5d1SDavid du Colombier if(n->op == OCONST) { 6143e12c5d1SDavid du Colombier o = vconst(n); 6153e12c5d1SDavid du Colombier if(!true) 6163e12c5d1SDavid du Colombier o = !o; 6173e12c5d1SDavid du Colombier gbranch(OGOTO); 6183e12c5d1SDavid du Colombier if(o) { 6193e12c5d1SDavid du Colombier p1 = p; 6203e12c5d1SDavid du Colombier gbranch(OGOTO); 6213e12c5d1SDavid du Colombier patch(p1, pc); 6223e12c5d1SDavid du Colombier } 6233e12c5d1SDavid du Colombier goto com; 6243e12c5d1SDavid du Colombier } 6253e12c5d1SDavid du Colombier regalloc(&nod, n, nn); 6263e12c5d1SDavid du Colombier cgen(n, &nod); 6273e12c5d1SDavid du Colombier o = ONE; 6283e12c5d1SDavid du Colombier if(true) 6293e12c5d1SDavid du Colombier o = comrel[relindex(o)]; 630*219b2ee8SDavid du Colombier if(typefd[n->type->etype]) { 6313e12c5d1SDavid du Colombier nodreg(&nod1, n, NREG+FREGZERO); 6323e12c5d1SDavid du Colombier gopcode(o, &nod, Z, &nod1); 6333e12c5d1SDavid du Colombier } else 6343e12c5d1SDavid du Colombier gopcode(o, &nod, Z, nodconst(0)); 6353e12c5d1SDavid du Colombier regfree(&nod); 6363e12c5d1SDavid du Colombier goto com; 6373e12c5d1SDavid du Colombier 6383e12c5d1SDavid du Colombier case OCOMMA: 6393e12c5d1SDavid du Colombier cgen(l, Z); 6403e12c5d1SDavid du Colombier boolgen(r, true, nn); 6413e12c5d1SDavid du Colombier break; 6423e12c5d1SDavid du Colombier 6433e12c5d1SDavid du Colombier case ONOT: 6443e12c5d1SDavid du Colombier boolgen(l, !true, nn); 6453e12c5d1SDavid du Colombier break; 6463e12c5d1SDavid du Colombier 6473e12c5d1SDavid du Colombier case OCOND: 6483e12c5d1SDavid du Colombier bcgen(l, 1); 6493e12c5d1SDavid du Colombier p1 = p; 6503e12c5d1SDavid du Colombier bcgen(r->left, true); 6513e12c5d1SDavid du Colombier p2 = p; 6523e12c5d1SDavid du Colombier gbranch(OGOTO); 6533e12c5d1SDavid du Colombier patch(p1, pc); 6543e12c5d1SDavid du Colombier p1 = p; 6553e12c5d1SDavid du Colombier bcgen(r->right, !true); 6563e12c5d1SDavid du Colombier patch(p2, pc); 6573e12c5d1SDavid du Colombier p2 = p; 6583e12c5d1SDavid du Colombier gbranch(OGOTO); 6593e12c5d1SDavid du Colombier patch(p1, pc); 6603e12c5d1SDavid du Colombier patch(p2, pc); 6613e12c5d1SDavid du Colombier goto com; 6623e12c5d1SDavid du Colombier 6633e12c5d1SDavid du Colombier case OANDAND: 6643e12c5d1SDavid du Colombier if(!true) 6653e12c5d1SDavid du Colombier goto caseor; 6663e12c5d1SDavid du Colombier 6673e12c5d1SDavid du Colombier caseand: 6683e12c5d1SDavid du Colombier bcgen(l, true); 6693e12c5d1SDavid du Colombier p1 = p; 6703e12c5d1SDavid du Colombier bcgen(r, !true); 6713e12c5d1SDavid du Colombier p2 = p; 6723e12c5d1SDavid du Colombier patch(p1, pc); 6733e12c5d1SDavid du Colombier gbranch(OGOTO); 6743e12c5d1SDavid du Colombier patch(p2, pc); 6753e12c5d1SDavid du Colombier goto com; 6763e12c5d1SDavid du Colombier 6773e12c5d1SDavid du Colombier case OOROR: 6783e12c5d1SDavid du Colombier if(!true) 6793e12c5d1SDavid du Colombier goto caseand; 6803e12c5d1SDavid du Colombier 6813e12c5d1SDavid du Colombier caseor: 6823e12c5d1SDavid du Colombier bcgen(l, !true); 6833e12c5d1SDavid du Colombier p1 = p; 6843e12c5d1SDavid du Colombier bcgen(r, !true); 6853e12c5d1SDavid du Colombier p2 = p; 6863e12c5d1SDavid du Colombier gbranch(OGOTO); 6873e12c5d1SDavid du Colombier patch(p1, pc); 6883e12c5d1SDavid du Colombier patch(p2, pc); 6893e12c5d1SDavid du Colombier goto com; 6903e12c5d1SDavid du Colombier 6913e12c5d1SDavid du Colombier case OEQ: 6923e12c5d1SDavid du Colombier case ONE: 6933e12c5d1SDavid du Colombier case OLE: 6943e12c5d1SDavid du Colombier case OLT: 6953e12c5d1SDavid du Colombier case OGE: 6963e12c5d1SDavid du Colombier case OGT: 6973e12c5d1SDavid du Colombier case OHI: 6983e12c5d1SDavid du Colombier case OHS: 6993e12c5d1SDavid du Colombier case OLO: 7003e12c5d1SDavid du Colombier case OLS: 7013e12c5d1SDavid du Colombier o = n->op; 7023e12c5d1SDavid du Colombier if(true) 7033e12c5d1SDavid du Colombier o = comrel[relindex(o)]; 7043e12c5d1SDavid du Colombier if(l->complex >= FNX && r->complex >= FNX) { 7053e12c5d1SDavid du Colombier regret(&nod, r); 7063e12c5d1SDavid du Colombier cgen(r, &nod); 7073e12c5d1SDavid du Colombier regsalloc(&nod1, r); 7083e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod1); 7093e12c5d1SDavid du Colombier regfree(&nod); 7103e12c5d1SDavid du Colombier nod = *n; 7113e12c5d1SDavid du Colombier nod.right = &nod1; 7123e12c5d1SDavid du Colombier boolgen(&nod, true, nn); 7133e12c5d1SDavid du Colombier break; 7143e12c5d1SDavid du Colombier } 7153e12c5d1SDavid du Colombier if(sconst(r)) { 7163e12c5d1SDavid du Colombier regalloc(&nod, l, nn); 7173e12c5d1SDavid du Colombier cgen(l, &nod); 7183e12c5d1SDavid du Colombier gopcode(o, &nod, Z, r); 7193e12c5d1SDavid du Colombier regfree(&nod); 7203e12c5d1SDavid du Colombier goto com; 7213e12c5d1SDavid du Colombier } 7223e12c5d1SDavid du Colombier if(l->complex >= r->complex) { 7233e12c5d1SDavid du Colombier regalloc(&nod1, l, nn); 7243e12c5d1SDavid du Colombier cgen(l, &nod1); 7253e12c5d1SDavid du Colombier regalloc(&nod, r, Z); 7263e12c5d1SDavid du Colombier cgen(r, &nod); 7273e12c5d1SDavid du Colombier } else { 7283e12c5d1SDavid du Colombier regalloc(&nod, r, nn); 7293e12c5d1SDavid du Colombier cgen(r, &nod); 7303e12c5d1SDavid du Colombier regalloc(&nod1, l, Z); 7313e12c5d1SDavid du Colombier cgen(l, &nod1); 7323e12c5d1SDavid du Colombier } 7333e12c5d1SDavid du Colombier gopcode(o, &nod1, Z, &nod); 7343e12c5d1SDavid du Colombier regfree(&nod); 7353e12c5d1SDavid du Colombier regfree(&nod1); 7363e12c5d1SDavid du Colombier 7373e12c5d1SDavid du Colombier com: 7383e12c5d1SDavid du Colombier if(nn != Z) { 7393e12c5d1SDavid du Colombier p1 = p; 7403e12c5d1SDavid du Colombier gopcode(OAS, nodconst(1L), Z, nn); 7413e12c5d1SDavid du Colombier gbranch(OGOTO); 7423e12c5d1SDavid du Colombier p2 = p; 7433e12c5d1SDavid du Colombier patch(p1, pc); 7443e12c5d1SDavid du Colombier gopcode(OAS, nodconst(0L), Z, nn); 7453e12c5d1SDavid du Colombier patch(p2, pc); 7463e12c5d1SDavid du Colombier } 7473e12c5d1SDavid du Colombier break; 7483e12c5d1SDavid du Colombier } 7493e12c5d1SDavid du Colombier cursafe = curs; 7503e12c5d1SDavid du Colombier } 7513e12c5d1SDavid du Colombier 7523e12c5d1SDavid du Colombier void 7533e12c5d1SDavid du Colombier sugen(Node *n, Node *nn, long w) 7543e12c5d1SDavid du Colombier { 7553e12c5d1SDavid du Colombier Prog *p1; 7563e12c5d1SDavid du Colombier Node nod0, nod1, nod2, nod3, nod4, *l, *r; 7573e12c5d1SDavid du Colombier Type *t; 7583e12c5d1SDavid du Colombier long pc1; 7593e12c5d1SDavid du Colombier int i, m, c; 7603e12c5d1SDavid du Colombier 7613e12c5d1SDavid du Colombier if(n == Z || n->type == T) 7623e12c5d1SDavid du Colombier return; 7633e12c5d1SDavid du Colombier if(debug['g']) { 7643e12c5d1SDavid du Colombier prtree(nn, "sugen lhs"); 7653e12c5d1SDavid du Colombier prtree(n, "sugen"); 7663e12c5d1SDavid du Colombier } 7673e12c5d1SDavid du Colombier if(nn == nodrat) 7683e12c5d1SDavid du Colombier if(w > nrathole) 7693e12c5d1SDavid du Colombier nrathole = w; 7703e12c5d1SDavid du Colombier switch(n->op) { 7713e12c5d1SDavid du Colombier case OIND: 7723e12c5d1SDavid du Colombier if(nn == Z) { 7733e12c5d1SDavid du Colombier nullwarn(n->left, Z); 7743e12c5d1SDavid du Colombier break; 7753e12c5d1SDavid du Colombier } 7763e12c5d1SDavid du Colombier 7773e12c5d1SDavid du Colombier default: 7783e12c5d1SDavid du Colombier goto copy; 7793e12c5d1SDavid du Colombier 780*219b2ee8SDavid du Colombier case OCONST: 781*219b2ee8SDavid du Colombier if(n->type && typev[n->type->etype]) { 782*219b2ee8SDavid du Colombier if(nn == Z) { 783*219b2ee8SDavid du Colombier nullwarn(n->left, Z); 784*219b2ee8SDavid du Colombier break; 785*219b2ee8SDavid du Colombier } 786*219b2ee8SDavid du Colombier 787*219b2ee8SDavid du Colombier t = nn->type; 788*219b2ee8SDavid du Colombier nn->type = types[TLONG]; 789*219b2ee8SDavid du Colombier reglcgen(&nod1, nn, Z); 790*219b2ee8SDavid du Colombier nn->type = t; 791*219b2ee8SDavid du Colombier 792*219b2ee8SDavid du Colombier gopcode(OAS, nod32const(n->vconst>>32), Z, &nod1); 793*219b2ee8SDavid du Colombier nod1.xoffset += SZ_LONG; 794*219b2ee8SDavid du Colombier gopcode(OAS, nod32const(n->vconst), Z, &nod1); 795*219b2ee8SDavid du Colombier 796*219b2ee8SDavid du Colombier regfree(&nod1); 797*219b2ee8SDavid du Colombier break; 798*219b2ee8SDavid du Colombier } 799*219b2ee8SDavid du Colombier goto copy; 800*219b2ee8SDavid du Colombier 8013e12c5d1SDavid du Colombier case ODOT: 8023e12c5d1SDavid du Colombier l = n->left; 8033e12c5d1SDavid du Colombier sugen(l, nodrat, l->type->width); 8043e12c5d1SDavid du Colombier if(nn != Z) { 8053e12c5d1SDavid du Colombier warn(n, "non-interruptable temporary"); 8063e12c5d1SDavid du Colombier nod1 = *nodrat; 8073e12c5d1SDavid du Colombier r = n->right; 8083e12c5d1SDavid du Colombier if(!r || r->op != OCONST) { 8093e12c5d1SDavid du Colombier diag(n, "DOT and no offset"); 8103e12c5d1SDavid du Colombier break; 8113e12c5d1SDavid du Colombier } 812*219b2ee8SDavid du Colombier nod1.xoffset += (long)r->vconst; 8133e12c5d1SDavid du Colombier nod1.type = n->type; 8143e12c5d1SDavid du Colombier sugen(&nod1, nn, w); 8153e12c5d1SDavid du Colombier } 8163e12c5d1SDavid du Colombier break; 8173e12c5d1SDavid du Colombier 8183e12c5d1SDavid du Colombier case OSTRUCT: 819*219b2ee8SDavid du Colombier /* 820*219b2ee8SDavid du Colombier * rewrite so lhs has no fn call 821*219b2ee8SDavid du Colombier */ 822*219b2ee8SDavid du Colombier if(nn != Z && nn->complex >= FNX) { 823*219b2ee8SDavid du Colombier nod1 = *n; 824*219b2ee8SDavid du Colombier nod1.type = typ(TIND, n->type); 825*219b2ee8SDavid du Colombier regret(&nod2, &nod1); 826*219b2ee8SDavid du Colombier lcgen(nn, &nod2); 827*219b2ee8SDavid du Colombier regsalloc(&nod0, &nod1); 828*219b2ee8SDavid du Colombier gopcode(OAS, &nod2, Z, &nod0); 829*219b2ee8SDavid du Colombier regfree(&nod2); 830*219b2ee8SDavid du Colombier 831*219b2ee8SDavid du Colombier nod1 = *n; 832*219b2ee8SDavid du Colombier nod1.op = OIND; 833*219b2ee8SDavid du Colombier nod1.left = &nod0; 834*219b2ee8SDavid du Colombier nod1.right = Z; 835*219b2ee8SDavid du Colombier nod1.complex = 1; 836*219b2ee8SDavid du Colombier 837*219b2ee8SDavid du Colombier sugen(n, &nod1, w); 838*219b2ee8SDavid du Colombier return; 839*219b2ee8SDavid du Colombier } 840*219b2ee8SDavid du Colombier 8413e12c5d1SDavid du Colombier r = n->left; 8423e12c5d1SDavid du Colombier for(t = n->type->link; t != T; t = t->down) { 8433e12c5d1SDavid du Colombier l = r; 8443e12c5d1SDavid du Colombier if(r->op == OLIST) { 8453e12c5d1SDavid du Colombier l = r->left; 8463e12c5d1SDavid du Colombier r = r->right; 8473e12c5d1SDavid du Colombier } 8483e12c5d1SDavid du Colombier if(nn == Z) { 8493e12c5d1SDavid du Colombier cgen(l, nn); 8503e12c5d1SDavid du Colombier continue; 8513e12c5d1SDavid du Colombier } 8523e12c5d1SDavid du Colombier /* 8533e12c5d1SDavid du Colombier * hand craft *(&nn + o) = l 8543e12c5d1SDavid du Colombier */ 8553e12c5d1SDavid du Colombier nod0 = znode; 8563e12c5d1SDavid du Colombier nod0.op = OAS; 8573e12c5d1SDavid du Colombier nod0.type = t; 8583e12c5d1SDavid du Colombier nod0.left = &nod1; 8593e12c5d1SDavid du Colombier nod0.right = l; 8603e12c5d1SDavid du Colombier 8613e12c5d1SDavid du Colombier nod1 = znode; 8623e12c5d1SDavid du Colombier nod1.op = OIND; 8633e12c5d1SDavid du Colombier nod1.type = t; 8643e12c5d1SDavid du Colombier nod1.left = &nod2; 8653e12c5d1SDavid du Colombier 8663e12c5d1SDavid du Colombier nod2 = znode; 8673e12c5d1SDavid du Colombier nod2.op = OADD; 8683e12c5d1SDavid du Colombier nod2.type = typ(TIND, t); 8693e12c5d1SDavid du Colombier nod2.left = &nod3; 8703e12c5d1SDavid du Colombier nod2.right = &nod4; 8713e12c5d1SDavid du Colombier 8723e12c5d1SDavid du Colombier nod3 = znode; 8733e12c5d1SDavid du Colombier nod3.op = OADDR; 8743e12c5d1SDavid du Colombier nod3.type = nod2.type; 8753e12c5d1SDavid du Colombier nod3.left = nn; 8763e12c5d1SDavid du Colombier 8773e12c5d1SDavid du Colombier nod4 = znode; 8783e12c5d1SDavid du Colombier nod4.op = OCONST; 8793e12c5d1SDavid du Colombier nod4.type = nod2.type; 880*219b2ee8SDavid du Colombier nod4.xoffset = t->offset; 8813e12c5d1SDavid du Colombier 8823e12c5d1SDavid du Colombier ccom(&nod0); 8833e12c5d1SDavid du Colombier acom(&nod0); 8843e12c5d1SDavid du Colombier xcom(&nod0); 8853e12c5d1SDavid du Colombier nod0.addable = 0; 8863e12c5d1SDavid du Colombier 8873e12c5d1SDavid du Colombier /* prtree(&nod0, "hand craft"); /* */ 8883e12c5d1SDavid du Colombier cgen(&nod0, Z); 8893e12c5d1SDavid du Colombier } 8903e12c5d1SDavid du Colombier break; 8913e12c5d1SDavid du Colombier 8923e12c5d1SDavid du Colombier case OAS: 8933e12c5d1SDavid du Colombier if(nn == Z) { 8943e12c5d1SDavid du Colombier if(n->addable < INDEXED) 8953e12c5d1SDavid du Colombier sugen(n->right, n->left, w); 8963e12c5d1SDavid du Colombier break; 8973e12c5d1SDavid du Colombier } 8983e12c5d1SDavid du Colombier /* BOTCH -- functions can clobber rathole */ 8993e12c5d1SDavid du Colombier sugen(n->right, nodrat, w); 9003e12c5d1SDavid du Colombier warn(n, "non-interruptable temporary"); 9013e12c5d1SDavid du Colombier sugen(nodrat, n->left, w); 9023e12c5d1SDavid du Colombier sugen(nodrat, nn, w); 9033e12c5d1SDavid du Colombier break; 9043e12c5d1SDavid du Colombier 9053e12c5d1SDavid du Colombier case OFUNC: 9063e12c5d1SDavid du Colombier if(nn == Z) { 9073e12c5d1SDavid du Colombier sugen(n, nodrat, w); 9083e12c5d1SDavid du Colombier break; 9093e12c5d1SDavid du Colombier } 9103e12c5d1SDavid du Colombier if(nn->op != OIND) { 9113e12c5d1SDavid du Colombier nn = new1(OADDR, nn, Z); 9123e12c5d1SDavid du Colombier nn->type = types[TIND]; 9133e12c5d1SDavid du Colombier nn->addable = 0; 9143e12c5d1SDavid du Colombier } else 9153e12c5d1SDavid du Colombier nn = nn->left; 9163e12c5d1SDavid du Colombier n = new(OFUNC, n->left, new(OLIST, nn, n->right)); 9173e12c5d1SDavid du Colombier n->type = types[TVOID]; 9183e12c5d1SDavid du Colombier n->left->type = types[TVOID]; 9193e12c5d1SDavid du Colombier cgen(n, Z); 9203e12c5d1SDavid du Colombier break; 9213e12c5d1SDavid du Colombier 9223e12c5d1SDavid du Colombier case OCOND: 9233e12c5d1SDavid du Colombier bcgen(n->left, 1); 9243e12c5d1SDavid du Colombier p1 = p; 9253e12c5d1SDavid du Colombier sugen(n->right->left, nn, w); 9263e12c5d1SDavid du Colombier gbranch(OGOTO); 9273e12c5d1SDavid du Colombier patch(p1, pc); 9283e12c5d1SDavid du Colombier p1 = p; 9293e12c5d1SDavid du Colombier sugen(n->right->right, nn, w); 9303e12c5d1SDavid du Colombier patch(p1, pc); 9313e12c5d1SDavid du Colombier break; 9323e12c5d1SDavid du Colombier 9333e12c5d1SDavid du Colombier case OCOMMA: 9343e12c5d1SDavid du Colombier cgen(n->left, Z); 9353e12c5d1SDavid du Colombier sugen(n->right, nn, w); 9363e12c5d1SDavid du Colombier break; 9373e12c5d1SDavid du Colombier } 9383e12c5d1SDavid du Colombier return; 9393e12c5d1SDavid du Colombier 9403e12c5d1SDavid du Colombier copy: 9413e12c5d1SDavid du Colombier if(nn == Z) 9423e12c5d1SDavid du Colombier return; 9433e12c5d1SDavid du Colombier if(n->complex >= FNX && nn->complex >= FNX) { 944*219b2ee8SDavid du Colombier t = nn->type; 945*219b2ee8SDavid du Colombier nn->type = types[TLONG]; 946*219b2ee8SDavid du Colombier regialloc(&nod1, nn, Z); 947*219b2ee8SDavid du Colombier lcgen(nn, &nod1); 948*219b2ee8SDavid du Colombier regsalloc(&nod2, nn); 949*219b2ee8SDavid du Colombier nn->type = t; 950*219b2ee8SDavid du Colombier 951*219b2ee8SDavid du Colombier gopcode(OAS, &nod1, Z, &nod2); 952*219b2ee8SDavid du Colombier regfree(&nod1); 953*219b2ee8SDavid du Colombier 954*219b2ee8SDavid du Colombier nod2.type = typ(TIND, t); 955*219b2ee8SDavid du Colombier 956*219b2ee8SDavid du Colombier nod1 = nod2; 957*219b2ee8SDavid du Colombier nod1.op = OIND; 958*219b2ee8SDavid du Colombier nod1.left = &nod2; 959*219b2ee8SDavid du Colombier nod1.right = Z; 960*219b2ee8SDavid du Colombier nod1.complex = 1; 961*219b2ee8SDavid du Colombier nod1.type = t; 962*219b2ee8SDavid du Colombier 963*219b2ee8SDavid du Colombier sugen(n, &nod1, w); 9643e12c5d1SDavid du Colombier return; 9653e12c5d1SDavid du Colombier } 9663e12c5d1SDavid du Colombier 9673e12c5d1SDavid du Colombier if(n->complex > nn->complex) { 9683e12c5d1SDavid du Colombier t = n->type; 9693e12c5d1SDavid du Colombier n->type = types[TLONG]; 9703e12c5d1SDavid du Colombier reglcgen(&nod1, n, Z); 9713e12c5d1SDavid du Colombier n->type = t; 9723e12c5d1SDavid du Colombier 9733e12c5d1SDavid du Colombier t = nn->type; 9743e12c5d1SDavid du Colombier nn->type = types[TLONG]; 9753e12c5d1SDavid du Colombier reglcgen(&nod2, nn, Z); 9763e12c5d1SDavid du Colombier nn->type = t; 9773e12c5d1SDavid du Colombier } else { 9783e12c5d1SDavid du Colombier t = nn->type; 9793e12c5d1SDavid du Colombier nn->type = types[TLONG]; 9803e12c5d1SDavid du Colombier reglcgen(&nod2, nn, Z); 9813e12c5d1SDavid du Colombier nn->type = t; 9823e12c5d1SDavid du Colombier 9833e12c5d1SDavid du Colombier t = n->type; 9843e12c5d1SDavid du Colombier n->type = types[TLONG]; 9853e12c5d1SDavid du Colombier reglcgen(&nod1, n, Z); 9863e12c5d1SDavid du Colombier n->type = t; 9873e12c5d1SDavid du Colombier } 9883e12c5d1SDavid du Colombier 9893e12c5d1SDavid du Colombier w /= SZ_LONG; 9903e12c5d1SDavid du Colombier if(w <= 5) { 9913e12c5d1SDavid du Colombier layout(&nod1, &nod2, w, 0, Z); 9923e12c5d1SDavid du Colombier goto out; 9933e12c5d1SDavid du Colombier } 9943e12c5d1SDavid du Colombier 9953e12c5d1SDavid du Colombier /* 9963e12c5d1SDavid du Colombier * minimize space for unrolling loop 9973e12c5d1SDavid du Colombier * 3,4,5 times. (6 or more is never minimum) 9983e12c5d1SDavid du Colombier * if small structure, try 2 also. 9993e12c5d1SDavid du Colombier */ 10003e12c5d1SDavid du Colombier c = 0; /* set */ 10013e12c5d1SDavid du Colombier m = 100; 10023e12c5d1SDavid du Colombier i = 3; 10033e12c5d1SDavid du Colombier if(w <= 15) 10043e12c5d1SDavid du Colombier i = 2; 10053e12c5d1SDavid du Colombier for(; i<=5; i++) 10063e12c5d1SDavid du Colombier if(i + w%i <= m) { 10073e12c5d1SDavid du Colombier c = i; 10083e12c5d1SDavid du Colombier m = c + w%c; 10093e12c5d1SDavid du Colombier } 10103e12c5d1SDavid du Colombier 10113e12c5d1SDavid du Colombier regalloc(&nod3, ®node, Z); 10123e12c5d1SDavid du Colombier layout(&nod1, &nod2, w%c, w/c, &nod3); 10133e12c5d1SDavid du Colombier 10143e12c5d1SDavid du Colombier pc1 = pc; 10153e12c5d1SDavid du Colombier layout(&nod1, &nod2, c, 0, Z); 10163e12c5d1SDavid du Colombier 10173e12c5d1SDavid du Colombier gopcode(OSUB, nodconst(1L), Z, &nod3); 10183e12c5d1SDavid du Colombier nod1.op = OREGISTER; 10193e12c5d1SDavid du Colombier gopcode(OADD, nodconst(c*SZ_LONG), Z, &nod1); 10203e12c5d1SDavid du Colombier nod2.op = OREGISTER; 10213e12c5d1SDavid du Colombier gopcode(OADD, nodconst(c*SZ_LONG), Z, &nod2); 10223e12c5d1SDavid du Colombier 10233e12c5d1SDavid du Colombier gopcode(OGT, &nod3, Z, nodconst(0)); 10243e12c5d1SDavid du Colombier patch(p, pc1); 10253e12c5d1SDavid du Colombier 10263e12c5d1SDavid du Colombier regfree(&nod3); 10273e12c5d1SDavid du Colombier out: 10283e12c5d1SDavid du Colombier regfree(&nod1); 10293e12c5d1SDavid du Colombier regfree(&nod2); 10303e12c5d1SDavid du Colombier } 10313e12c5d1SDavid du Colombier 10323e12c5d1SDavid du Colombier void 10333e12c5d1SDavid du Colombier layout(Node *f, Node *t, int c, int cv, Node *cn) 10343e12c5d1SDavid du Colombier { 10353e12c5d1SDavid du Colombier Node t1, t2; 10363e12c5d1SDavid du Colombier 10373e12c5d1SDavid du Colombier while(c > 3) { 10383e12c5d1SDavid du Colombier layout(f, t, 2, 0, Z); 10393e12c5d1SDavid du Colombier c -= 2; 10403e12c5d1SDavid du Colombier } 10413e12c5d1SDavid du Colombier 10423e12c5d1SDavid du Colombier regalloc(&t1, ®node, Z); 10433e12c5d1SDavid du Colombier regalloc(&t2, ®node, Z); 10443e12c5d1SDavid du Colombier if(c > 0) { 10453e12c5d1SDavid du Colombier gopcode(OAS, f, Z, &t1); 1046*219b2ee8SDavid du Colombier f->xoffset += SZ_LONG; 10473e12c5d1SDavid du Colombier } 10483e12c5d1SDavid du Colombier if(cn != Z) 10493e12c5d1SDavid du Colombier gopcode(OAS, nodconst(cv), Z, cn); 10503e12c5d1SDavid du Colombier if(c > 1) { 10513e12c5d1SDavid du Colombier gopcode(OAS, f, Z, &t2); 1052*219b2ee8SDavid du Colombier f->xoffset += SZ_LONG; 10533e12c5d1SDavid du Colombier } 10543e12c5d1SDavid du Colombier if(c > 0) { 10553e12c5d1SDavid du Colombier gopcode(OAS, &t1, Z, t); 1056*219b2ee8SDavid du Colombier t->xoffset += SZ_LONG; 10573e12c5d1SDavid du Colombier } 10583e12c5d1SDavid du Colombier if(c > 2) { 10593e12c5d1SDavid du Colombier gopcode(OAS, f, Z, &t1); 1060*219b2ee8SDavid du Colombier f->xoffset += SZ_LONG; 10613e12c5d1SDavid du Colombier } 10623e12c5d1SDavid du Colombier if(c > 1) { 10633e12c5d1SDavid du Colombier gopcode(OAS, &t2, Z, t); 1064*219b2ee8SDavid du Colombier t->xoffset += SZ_LONG; 10653e12c5d1SDavid du Colombier } 10663e12c5d1SDavid du Colombier if(c > 2) { 10673e12c5d1SDavid du Colombier gopcode(OAS, &t1, Z, t); 1068*219b2ee8SDavid du Colombier t->xoffset += SZ_LONG; 10693e12c5d1SDavid du Colombier } 10703e12c5d1SDavid du Colombier regfree(&t1); 10713e12c5d1SDavid du Colombier regfree(&t2); 10723e12c5d1SDavid du Colombier } 1073