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 && l->complex < FNX) { 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 OLMUL: 1463e12c5d1SDavid du Colombier case OLDIV: 1473e12c5d1SDavid du Colombier case OLMOD: 1483e12c5d1SDavid du Colombier case OMUL: 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 } 155*219b2ee8SDavid du Colombier if(o == OMUL || o == OLMUL) { 156*219b2ee8SDavid du Colombier if(mulcon(n, nn)) 157*219b2ee8SDavid du Colombier break; 158*219b2ee8SDavid du Colombier } 1593e12c5d1SDavid du Colombier if(l->complex >= r->complex) { 1603e12c5d1SDavid du Colombier regalloc(&nod, l, nn); 1613e12c5d1SDavid du Colombier cgen(l, &nod); 1623e12c5d1SDavid du Colombier regalloc(&nod1, r, Z); 1633e12c5d1SDavid du Colombier cgen(r, &nod1); 1643e12c5d1SDavid du Colombier gopcode(o, &nod1, Z, &nod); 1653e12c5d1SDavid du Colombier } else { 1663e12c5d1SDavid du Colombier regalloc(&nod, r, nn); 1673e12c5d1SDavid du Colombier cgen(r, &nod); 1683e12c5d1SDavid du Colombier regalloc(&nod1, l, Z); 1693e12c5d1SDavid du Colombier cgen(l, &nod1); 1703e12c5d1SDavid du Colombier gopcode(o, &nod, &nod1, &nod); 1713e12c5d1SDavid du Colombier } 1723e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 1733e12c5d1SDavid du Colombier regfree(&nod); 1743e12c5d1SDavid du Colombier regfree(&nod1); 1753e12c5d1SDavid du Colombier break; 1763e12c5d1SDavid du Colombier 1773e12c5d1SDavid du Colombier case OASLSHR: 1783e12c5d1SDavid du Colombier case OASASHL: 1793e12c5d1SDavid du Colombier case OASASHR: 1803e12c5d1SDavid du Colombier case OASAND: 1813e12c5d1SDavid du Colombier case OASADD: 1823e12c5d1SDavid du Colombier case OASSUB: 1833e12c5d1SDavid du Colombier case OASXOR: 1843e12c5d1SDavid du Colombier case OASOR: 1853e12c5d1SDavid du Colombier if(l->op == OBIT) 1863e12c5d1SDavid du Colombier goto asbitop; 1873e12c5d1SDavid du Colombier if(r->op == OCONST) 188*219b2ee8SDavid du Colombier if(!typefd[n->type->etype]) { 1893e12c5d1SDavid du Colombier if(l->addable < INDEXED) 1903e12c5d1SDavid du Colombier reglcgen(&nod2, l, Z); 1913e12c5d1SDavid du Colombier else 1923e12c5d1SDavid du Colombier nod2 = *l; 1933e12c5d1SDavid du Colombier regalloc(&nod, r, nn); 1943e12c5d1SDavid du Colombier gopcode(OAS, &nod2, Z, &nod); 1953e12c5d1SDavid du Colombier gopcode(o, r, Z, &nod); 1963e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod2); 1973e12c5d1SDavid du Colombier 1983e12c5d1SDavid du Colombier regfree(&nod); 1993e12c5d1SDavid du Colombier if(l->addable < INDEXED) 2003e12c5d1SDavid du Colombier regfree(&nod2); 2013e12c5d1SDavid du Colombier break; 2023e12c5d1SDavid du Colombier } 2033e12c5d1SDavid du Colombier 2043e12c5d1SDavid du Colombier case OASLMUL: 2053e12c5d1SDavid du Colombier case OASLDIV: 2063e12c5d1SDavid du Colombier case OASLMOD: 2073e12c5d1SDavid du Colombier case OASMUL: 2083e12c5d1SDavid du Colombier case OASDIV: 2093e12c5d1SDavid du Colombier case OASMOD: 2103e12c5d1SDavid du Colombier if(l->op == OBIT) 2113e12c5d1SDavid du Colombier goto asbitop; 2123e12c5d1SDavid du Colombier if(l->complex >= r->complex) { 2133e12c5d1SDavid du Colombier if(l->addable < INDEXED) 2143e12c5d1SDavid du Colombier reglcgen(&nod2, l, Z); 2153e12c5d1SDavid du Colombier else 2163e12c5d1SDavid du Colombier nod2 = *l; 2173e12c5d1SDavid du Colombier regalloc(&nod1, r, Z); 2183e12c5d1SDavid du Colombier cgen(r, &nod1); 2193e12c5d1SDavid du Colombier } else { 2203e12c5d1SDavid du Colombier regalloc(&nod1, r, Z); 2213e12c5d1SDavid du Colombier cgen(r, &nod1); 2223e12c5d1SDavid du Colombier if(l->addable < INDEXED) 2233e12c5d1SDavid du Colombier reglcgen(&nod2, l, Z); 2243e12c5d1SDavid du Colombier else 2253e12c5d1SDavid du Colombier nod2 = *l; 2263e12c5d1SDavid du Colombier } 2273e12c5d1SDavid du Colombier 2283e12c5d1SDavid du Colombier regalloc(&nod, n, nn); 2293e12c5d1SDavid du Colombier gmove(&nod2, &nod); 2303e12c5d1SDavid du Colombier gopcode(o, &nod1, Z, &nod); 2313e12c5d1SDavid du Colombier gmove(&nod, &nod2); 2323e12c5d1SDavid du Colombier if(nn != Z) 2333e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 2343e12c5d1SDavid du Colombier regfree(&nod); 2353e12c5d1SDavid du Colombier regfree(&nod1); 2363e12c5d1SDavid du Colombier if(l->addable < INDEXED) 2373e12c5d1SDavid du Colombier regfree(&nod2); 2383e12c5d1SDavid du Colombier break; 2393e12c5d1SDavid du Colombier 2403e12c5d1SDavid du Colombier asbitop: 2413e12c5d1SDavid du Colombier regalloc(&nod4, n, nn); 2423e12c5d1SDavid du Colombier if(l->complex >= r->complex) { 2433e12c5d1SDavid du Colombier bitload(l, &nod, &nod1, &nod2, &nod4); 2443e12c5d1SDavid du Colombier regalloc(&nod3, r, Z); 2453e12c5d1SDavid du Colombier cgen(r, &nod3); 2463e12c5d1SDavid du Colombier } else { 2473e12c5d1SDavid du Colombier regalloc(&nod3, r, Z); 2483e12c5d1SDavid du Colombier cgen(r, &nod3); 2493e12c5d1SDavid du Colombier bitload(l, &nod, &nod1, &nod2, &nod4); 2503e12c5d1SDavid du Colombier } 2513e12c5d1SDavid du Colombier gmove(&nod, &nod4); 2523e12c5d1SDavid du Colombier gopcode(o, &nod3, Z, &nod4); 2533e12c5d1SDavid du Colombier regfree(&nod3); 2543e12c5d1SDavid du Colombier gmove(&nod4, &nod); 2553e12c5d1SDavid du Colombier regfree(&nod4); 2563e12c5d1SDavid du Colombier bitstore(l, &nod, &nod1, &nod2, nn); 2573e12c5d1SDavid du Colombier break; 2583e12c5d1SDavid du Colombier 2593e12c5d1SDavid du Colombier case OADDR: 2603e12c5d1SDavid du Colombier if(nn == Z) { 2613e12c5d1SDavid du Colombier nullwarn(l, Z); 2623e12c5d1SDavid du Colombier break; 2633e12c5d1SDavid du Colombier } 2643e12c5d1SDavid du Colombier lcgen(l, nn); 2653e12c5d1SDavid du Colombier break; 2663e12c5d1SDavid du Colombier 2673e12c5d1SDavid du Colombier case OFUNC: 2683e12c5d1SDavid du Colombier if(l->complex >= FNX) { 2693e12c5d1SDavid du Colombier if(l->op != OIND) 2703e12c5d1SDavid du Colombier diag(n, "bad function call"); 2713e12c5d1SDavid du Colombier 2723e12c5d1SDavid du Colombier regret(&nod, l->left); 2733e12c5d1SDavid du Colombier cgen(l->left, &nod); 2743e12c5d1SDavid du Colombier regsalloc(&nod1, l->left); 2753e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod1); 2763e12c5d1SDavid du Colombier regfree(&nod); 2773e12c5d1SDavid du Colombier 2783e12c5d1SDavid du Colombier nod = *n; 2793e12c5d1SDavid du Colombier nod.left = &nod2; 2803e12c5d1SDavid du Colombier nod2 = *l; 2813e12c5d1SDavid du Colombier nod2.left = &nod1; 2823e12c5d1SDavid du Colombier nod2.complex = 1; 2833e12c5d1SDavid du Colombier cgen(&nod, nn); 2843e12c5d1SDavid du Colombier 2853e12c5d1SDavid du Colombier return; 2863e12c5d1SDavid du Colombier } 2873e12c5d1SDavid du Colombier o = reg[REGARG]; 2883e12c5d1SDavid du Colombier gargs(r, &nod, &nod1); 2893e12c5d1SDavid du Colombier if(l->addable < INDEXED) { 2903e12c5d1SDavid du Colombier reglcgen(&nod, l, Z); 2913e12c5d1SDavid du Colombier gopcode(OFUNC, Z, Z, &nod); 2923e12c5d1SDavid du Colombier regfree(&nod); 2933e12c5d1SDavid du Colombier } else 2943e12c5d1SDavid du Colombier gopcode(OFUNC, Z, Z, l); 2953e12c5d1SDavid du Colombier if(REGARG) 2963e12c5d1SDavid du Colombier if(o != reg[REGARG]) 2973e12c5d1SDavid du Colombier reg[REGARG]--; 2983e12c5d1SDavid du Colombier if(nn != Z) { 2993e12c5d1SDavid du Colombier regret(&nod, n); 3003e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 3013e12c5d1SDavid du Colombier regfree(&nod); 3023e12c5d1SDavid du Colombier } 3033e12c5d1SDavid du Colombier break; 3043e12c5d1SDavid du Colombier 3053e12c5d1SDavid du Colombier case OIND: 3063e12c5d1SDavid du Colombier if(nn == Z) { 3073e12c5d1SDavid du Colombier nullwarn(l, Z); 3083e12c5d1SDavid du Colombier break; 3093e12c5d1SDavid du Colombier } 3103e12c5d1SDavid du Colombier regialloc(&nod, n, nn); 3113e12c5d1SDavid du Colombier r = l; 3123e12c5d1SDavid du Colombier while(r->op == OADD) 3133e12c5d1SDavid du Colombier r = r->right; 3143e12c5d1SDavid du Colombier if(sconst(r)) { 315*219b2ee8SDavid du Colombier v = r->vconst; 316*219b2ee8SDavid du Colombier r->vconst = 0; 3173e12c5d1SDavid du Colombier cgen(l, &nod); 318*219b2ee8SDavid du Colombier nod.xoffset += v; 319*219b2ee8SDavid du Colombier r->vconst = v; 3203e12c5d1SDavid du Colombier } else 3213e12c5d1SDavid du Colombier cgen(l, &nod); 3223e12c5d1SDavid du Colombier regind(&nod, n); 3233e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 3243e12c5d1SDavid du Colombier regfree(&nod); 3253e12c5d1SDavid du Colombier break; 3263e12c5d1SDavid du Colombier 3273e12c5d1SDavid du Colombier case OEQ: 3283e12c5d1SDavid du Colombier case ONE: 3293e12c5d1SDavid du Colombier case OLE: 3303e12c5d1SDavid du Colombier case OLT: 3313e12c5d1SDavid du Colombier case OGE: 3323e12c5d1SDavid du Colombier case OGT: 3333e12c5d1SDavid du Colombier case OLO: 3343e12c5d1SDavid du Colombier case OLS: 3353e12c5d1SDavid du Colombier case OHI: 3363e12c5d1SDavid du Colombier case OHS: 3373e12c5d1SDavid du Colombier if(nn == Z) { 3383e12c5d1SDavid du Colombier nullwarn(l, r); 3393e12c5d1SDavid du Colombier break; 3403e12c5d1SDavid du Colombier } 3413e12c5d1SDavid du Colombier boolgen(n, 1, nn); 3423e12c5d1SDavid du Colombier break; 3433e12c5d1SDavid du Colombier 3443e12c5d1SDavid du Colombier case OANDAND: 3453e12c5d1SDavid du Colombier case OOROR: 3463e12c5d1SDavid du Colombier boolgen(n, 1, nn); 3473e12c5d1SDavid du Colombier if(nn == Z) 3483e12c5d1SDavid du Colombier patch(p, pc); 3493e12c5d1SDavid du Colombier break; 3503e12c5d1SDavid du Colombier 3513e12c5d1SDavid du Colombier case ONOT: 3523e12c5d1SDavid du Colombier if(nn == Z) { 3533e12c5d1SDavid du Colombier nullwarn(l, Z); 3543e12c5d1SDavid du Colombier break; 3553e12c5d1SDavid du Colombier } 3563e12c5d1SDavid du Colombier boolgen(n, 1, nn); 3573e12c5d1SDavid du Colombier break; 3583e12c5d1SDavid du Colombier 3593e12c5d1SDavid du Colombier case OCOMMA: 3603e12c5d1SDavid du Colombier cgen(l, Z); 3613e12c5d1SDavid du Colombier cgen(r, nn); 3623e12c5d1SDavid du Colombier break; 3633e12c5d1SDavid du Colombier 3643e12c5d1SDavid du Colombier case OCAST: 3653e12c5d1SDavid du Colombier if(nn == Z) { 3663e12c5d1SDavid du Colombier nullwarn(l, Z); 3673e12c5d1SDavid du Colombier break; 3683e12c5d1SDavid du Colombier } 3693e12c5d1SDavid du Colombier /* 3703e12c5d1SDavid du Colombier * convert from types l->n->nn 3713e12c5d1SDavid du Colombier */ 3723e12c5d1SDavid du Colombier if(nocast(l->type, n->type)) { 3733e12c5d1SDavid du Colombier if(nocast(n->type, nn->type)) { 3743e12c5d1SDavid du Colombier cgen(l, nn); 3753e12c5d1SDavid du Colombier break; 3763e12c5d1SDavid du Colombier } 3773e12c5d1SDavid du Colombier } 3783e12c5d1SDavid du Colombier regalloc(&nod, l, nn); 3793e12c5d1SDavid du Colombier cgen(l, &nod); 3803e12c5d1SDavid du Colombier regalloc(&nod1, n, &nod); 3813e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod1); 3823e12c5d1SDavid du Colombier gopcode(OAS, &nod1, Z, nn); 3833e12c5d1SDavid du Colombier regfree(&nod1); 3843e12c5d1SDavid du Colombier regfree(&nod); 3853e12c5d1SDavid du Colombier break; 3863e12c5d1SDavid du Colombier 3873e12c5d1SDavid du Colombier case ODOT: 3883e12c5d1SDavid du Colombier sugen(l, nodrat, l->type->width); 3893e12c5d1SDavid du Colombier if(nn != Z) { 3903e12c5d1SDavid du Colombier warn(n, "non-interruptable temporary"); 3913e12c5d1SDavid du Colombier nod = *nodrat; 3923e12c5d1SDavid du Colombier if(!r || r->op != OCONST) { 3933e12c5d1SDavid du Colombier diag(n, "DOT and no offset"); 3943e12c5d1SDavid du Colombier break; 3953e12c5d1SDavid du Colombier } 396*219b2ee8SDavid du Colombier nod.xoffset += (long)r->vconst; 3973e12c5d1SDavid du Colombier nod.type = n->type; 3983e12c5d1SDavid du Colombier cgen(&nod, nn); 3993e12c5d1SDavid du Colombier } 4003e12c5d1SDavid du Colombier break; 4013e12c5d1SDavid du Colombier 4023e12c5d1SDavid du Colombier case OCOND: 4033e12c5d1SDavid du Colombier bcgen(l, 1); 4043e12c5d1SDavid du Colombier p1 = p; 4053e12c5d1SDavid du Colombier cgen(r->left, nn); 4063e12c5d1SDavid du Colombier gbranch(OGOTO); 4073e12c5d1SDavid du Colombier patch(p1, pc); 4083e12c5d1SDavid du Colombier p1 = p; 4093e12c5d1SDavid du Colombier cgen(r->right, nn); 4103e12c5d1SDavid du Colombier patch(p1, pc); 4113e12c5d1SDavid du Colombier break; 4123e12c5d1SDavid du Colombier 4133e12c5d1SDavid du Colombier case OPOSTINC: 4143e12c5d1SDavid du Colombier case OPOSTDEC: 4153e12c5d1SDavid du Colombier v = 1; 4163e12c5d1SDavid du Colombier if(l->type->etype == TIND) 4173e12c5d1SDavid du Colombier v = l->type->link->width; 4183e12c5d1SDavid du Colombier if(o == OPOSTDEC) 4193e12c5d1SDavid du Colombier v = -v; 4203e12c5d1SDavid du Colombier if(l->op == OBIT) 4213e12c5d1SDavid du Colombier goto bitinc; 4223e12c5d1SDavid du Colombier if(nn == Z) 4233e12c5d1SDavid du Colombier goto pre; 4243e12c5d1SDavid du Colombier 4253e12c5d1SDavid du Colombier if(l->addable < INDEXED) 4263e12c5d1SDavid du Colombier reglcgen(&nod2, l, Z); 4273e12c5d1SDavid du Colombier else 4283e12c5d1SDavid du Colombier nod2 = *l; 4293e12c5d1SDavid du Colombier 4303e12c5d1SDavid du Colombier regalloc(&nod, l, nn); 4313e12c5d1SDavid du Colombier gopcode(OAS, &nod2, Z, &nod); 4323e12c5d1SDavid du Colombier regalloc(&nod1, l, Z); 433*219b2ee8SDavid du Colombier if(typefd[l->type->etype]) { 4343e12c5d1SDavid du Colombier regalloc(&nod3, l, Z); 4353e12c5d1SDavid du Colombier if(v < 0) { 4363e12c5d1SDavid du Colombier gopcode(OAS, nodfconst(-v), Z, &nod3); 4373e12c5d1SDavid du Colombier gopcode(OSUB, &nod3, &nod, &nod1); 4383e12c5d1SDavid du Colombier } else { 4393e12c5d1SDavid du Colombier gopcode(OAS, nodfconst(v), Z, &nod3); 4403e12c5d1SDavid du Colombier gopcode(OADD, &nod3, &nod, &nod1); 4413e12c5d1SDavid du Colombier } 4423e12c5d1SDavid du Colombier regfree(&nod3); 4433e12c5d1SDavid du Colombier } else 4443e12c5d1SDavid du Colombier gopcode(OADD, nodconst(v), &nod, &nod1); 4453e12c5d1SDavid du Colombier gopcode(OAS, &nod1, Z, &nod2); 4463e12c5d1SDavid du Colombier 4473e12c5d1SDavid du Colombier regfree(&nod); 4483e12c5d1SDavid du Colombier regfree(&nod1); 4493e12c5d1SDavid du Colombier if(l->addable < INDEXED) 4503e12c5d1SDavid du Colombier regfree(&nod2); 4513e12c5d1SDavid du Colombier break; 4523e12c5d1SDavid du Colombier 4533e12c5d1SDavid du Colombier case OPREINC: 4543e12c5d1SDavid du Colombier case OPREDEC: 4553e12c5d1SDavid du Colombier v = 1; 4563e12c5d1SDavid du Colombier if(l->type->etype == TIND) 4573e12c5d1SDavid du Colombier v = l->type->link->width; 4583e12c5d1SDavid du Colombier if(o == OPREDEC) 4593e12c5d1SDavid du Colombier v = -v; 4603e12c5d1SDavid du Colombier if(l->op == OBIT) 4613e12c5d1SDavid du Colombier goto bitinc; 4623e12c5d1SDavid du Colombier 4633e12c5d1SDavid du Colombier pre: 4643e12c5d1SDavid du Colombier if(l->addable < INDEXED) 4653e12c5d1SDavid du Colombier reglcgen(&nod2, l, Z); 4663e12c5d1SDavid du Colombier else 4673e12c5d1SDavid du Colombier nod2 = *l; 4683e12c5d1SDavid du Colombier 4693e12c5d1SDavid du Colombier regalloc(&nod, l, nn); 4703e12c5d1SDavid du Colombier gopcode(OAS, &nod2, Z, &nod); 471*219b2ee8SDavid du Colombier if(typefd[l->type->etype]) { 4723e12c5d1SDavid du Colombier regalloc(&nod3, l, Z); 4733e12c5d1SDavid du Colombier if(v < 0) { 4743e12c5d1SDavid du Colombier gopcode(OAS, nodfconst(-v), Z, &nod3); 4753e12c5d1SDavid du Colombier gopcode(OSUB, &nod3, Z, &nod); 4763e12c5d1SDavid du Colombier } else { 4773e12c5d1SDavid du Colombier gopcode(OAS, nodfconst(v), Z, &nod3); 4783e12c5d1SDavid du Colombier gopcode(OADD, &nod3, Z, &nod); 4793e12c5d1SDavid du Colombier } 4803e12c5d1SDavid du Colombier regfree(&nod3); 4813e12c5d1SDavid du Colombier } else 4823e12c5d1SDavid du Colombier gopcode(OADD, nodconst(v), Z, &nod); 4833e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod2); 4843e12c5d1SDavid du Colombier 4853e12c5d1SDavid du Colombier regfree(&nod); 4863e12c5d1SDavid du Colombier if(l->addable < INDEXED) 4873e12c5d1SDavid du Colombier regfree(&nod2); 4883e12c5d1SDavid du Colombier break; 4893e12c5d1SDavid du Colombier 4903e12c5d1SDavid du Colombier bitinc: 4913e12c5d1SDavid du Colombier if(nn != Z && (o == OPOSTINC || o == OPOSTDEC)) { 4923e12c5d1SDavid du Colombier bitload(l, &nod, &nod1, &nod2, Z); 4933e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 4943e12c5d1SDavid du Colombier gopcode(OADD, nodconst(v), Z, &nod); 4953e12c5d1SDavid du Colombier bitstore(l, &nod, &nod1, &nod2, Z); 4963e12c5d1SDavid du Colombier break; 4973e12c5d1SDavid du Colombier } 4983e12c5d1SDavid du Colombier bitload(l, &nod, &nod1, &nod2, nn); 4993e12c5d1SDavid du Colombier gopcode(OADD, nodconst(v), Z, &nod); 5003e12c5d1SDavid du Colombier bitstore(l, &nod, &nod1, &nod2, nn); 5013e12c5d1SDavid du Colombier break; 5023e12c5d1SDavid du Colombier } 5033e12c5d1SDavid du Colombier cursafe = curs; 5043e12c5d1SDavid du Colombier return; 5053e12c5d1SDavid du Colombier 5063e12c5d1SDavid du Colombier bad: 5073e12c5d1SDavid du Colombier cursafe = curs; 5083e12c5d1SDavid du Colombier diag(n, "%O not implemented", o); 5093e12c5d1SDavid du Colombier } 5103e12c5d1SDavid du Colombier 5113e12c5d1SDavid du Colombier void 5123e12c5d1SDavid du Colombier reglcgen(Node *t, Node *n, Node *nn) 5133e12c5d1SDavid du Colombier { 5143e12c5d1SDavid du Colombier Node *r; 5153e12c5d1SDavid du Colombier long v; 5163e12c5d1SDavid du Colombier 5173e12c5d1SDavid du Colombier regialloc(t, n, nn); 5183e12c5d1SDavid du Colombier if(n->op == OIND) { 5193e12c5d1SDavid du Colombier r = n->left; 5203e12c5d1SDavid du Colombier while(r->op == OADD) 5213e12c5d1SDavid du Colombier r = r->right; 5223e12c5d1SDavid du Colombier if(sconst(r)) { 523*219b2ee8SDavid du Colombier v = r->vconst; 524*219b2ee8SDavid du Colombier r->vconst = 0; 5253e12c5d1SDavid du Colombier lcgen(n, t); 526*219b2ee8SDavid du Colombier t->xoffset += v; 527*219b2ee8SDavid du Colombier r->vconst = v; 5283e12c5d1SDavid du Colombier regind(t, n); 5293e12c5d1SDavid du Colombier return; 5303e12c5d1SDavid du Colombier } 5313e12c5d1SDavid du Colombier } 5323e12c5d1SDavid du Colombier lcgen(n, t); 5333e12c5d1SDavid du Colombier regind(t, n); 5343e12c5d1SDavid du Colombier } 5353e12c5d1SDavid du Colombier 5363e12c5d1SDavid du Colombier void 5373e12c5d1SDavid du Colombier lcgen(Node *n, Node *nn) 5383e12c5d1SDavid du Colombier { 5393e12c5d1SDavid du Colombier Prog *p1; 5403e12c5d1SDavid du Colombier Node nod; 5413e12c5d1SDavid du Colombier 5423e12c5d1SDavid du Colombier if(debug['g']) { 5433e12c5d1SDavid du Colombier prtree(nn, "lcgen lhs"); 5443e12c5d1SDavid du Colombier prtree(n, "lcgen"); 5453e12c5d1SDavid du Colombier } 5463e12c5d1SDavid du Colombier if(n == Z || n->type == T) 5473e12c5d1SDavid du Colombier return; 5483e12c5d1SDavid du Colombier if(nn == Z) { 5493e12c5d1SDavid du Colombier nn = &nod; 5503e12c5d1SDavid du Colombier regalloc(&nod, n, Z); 5513e12c5d1SDavid du Colombier } 5523e12c5d1SDavid du Colombier switch(n->op) { 5533e12c5d1SDavid du Colombier default: 5543e12c5d1SDavid du Colombier if(n->addable < INDEXED) { 5553e12c5d1SDavid du Colombier diag(n, "unknown op in lcgen: %O", n->op); 5563e12c5d1SDavid du Colombier break; 5573e12c5d1SDavid du Colombier } 5583e12c5d1SDavid du Colombier nod = *n; 5593e12c5d1SDavid du Colombier nod.op = OADDR; 5603e12c5d1SDavid du Colombier nod.left = n; 5613e12c5d1SDavid du Colombier nod.right = Z; 5623e12c5d1SDavid du Colombier nod.type = types[TIND]; 5633e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, nn); 5643e12c5d1SDavid du Colombier break; 5653e12c5d1SDavid du Colombier 5663e12c5d1SDavid du Colombier case OCOMMA: 5673e12c5d1SDavid du Colombier cgen(n->left, n->left); 5683e12c5d1SDavid du Colombier lcgen(n->right, nn); 5693e12c5d1SDavid du Colombier break; 5703e12c5d1SDavid du Colombier 5713e12c5d1SDavid du Colombier case OIND: 5723e12c5d1SDavid du Colombier cgen(n->left, nn); 5733e12c5d1SDavid du Colombier break; 5743e12c5d1SDavid du Colombier 5753e12c5d1SDavid du Colombier case OCOND: 5763e12c5d1SDavid du Colombier bcgen(n->left, 1); 5773e12c5d1SDavid du Colombier p1 = p; 5783e12c5d1SDavid du Colombier lcgen(n->right->left, nn); 5793e12c5d1SDavid du Colombier gbranch(OGOTO); 5803e12c5d1SDavid du Colombier patch(p1, pc); 5813e12c5d1SDavid du Colombier p1 = p; 5823e12c5d1SDavid du Colombier lcgen(n->right->right, nn); 5833e12c5d1SDavid du Colombier patch(p1, pc); 5843e12c5d1SDavid du Colombier break; 5853e12c5d1SDavid du Colombier } 5863e12c5d1SDavid du Colombier } 5873e12c5d1SDavid du Colombier 5883e12c5d1SDavid du Colombier void 5893e12c5d1SDavid du Colombier bcgen(Node *n, int true) 5903e12c5d1SDavid du Colombier { 5913e12c5d1SDavid du Colombier 5923e12c5d1SDavid du Colombier if(n->type == T) 5933e12c5d1SDavid du Colombier gbranch(OGOTO); 5943e12c5d1SDavid du Colombier else 5953e12c5d1SDavid du Colombier boolgen(n, true, Z); 5963e12c5d1SDavid du Colombier } 5973e12c5d1SDavid du Colombier 5983e12c5d1SDavid du Colombier void 5993e12c5d1SDavid du Colombier boolgen(Node *n, int true, Node *nn) 6003e12c5d1SDavid du Colombier { 6013e12c5d1SDavid du Colombier int o; 6023e12c5d1SDavid du Colombier Prog *p1, *p2; 6033e12c5d1SDavid du Colombier Node *l, *r, nod, nod1; 6043e12c5d1SDavid du Colombier long curs; 6053e12c5d1SDavid du Colombier 6063e12c5d1SDavid du Colombier if(debug['g']) { 6073e12c5d1SDavid du Colombier prtree(nn, "boolgen lhs"); 6083e12c5d1SDavid du Colombier prtree(n, "boolgen"); 6093e12c5d1SDavid du Colombier } 6103e12c5d1SDavid du Colombier curs = cursafe; 6113e12c5d1SDavid du Colombier l = n->left; 6123e12c5d1SDavid du Colombier r = n->right; 6133e12c5d1SDavid du Colombier switch(n->op) { 6143e12c5d1SDavid du Colombier 6153e12c5d1SDavid du Colombier default: 6163e12c5d1SDavid du Colombier regalloc(&nod, n, nn); 6173e12c5d1SDavid du Colombier cgen(n, &nod); 6183e12c5d1SDavid du Colombier o = ONE; 6193e12c5d1SDavid du Colombier if(true) 6203e12c5d1SDavid du Colombier o = comrel[relindex(o)]; 621*219b2ee8SDavid du Colombier if(typefd[n->type->etype]) { 6223e12c5d1SDavid du Colombier nodreg(&nod1, n, NREG+FREGZERO); 6233e12c5d1SDavid du Colombier gopcode(o, &nod, &nod1, Z); 6243e12c5d1SDavid du Colombier } else 6253e12c5d1SDavid du Colombier gopcode(o, &nod, Z, Z); 6263e12c5d1SDavid du Colombier regfree(&nod); 6273e12c5d1SDavid du Colombier goto com; 6283e12c5d1SDavid du Colombier 6293e12c5d1SDavid du Colombier case OCONST: 6303e12c5d1SDavid du Colombier o = vconst(n); 6313e12c5d1SDavid du Colombier if(!true) 6323e12c5d1SDavid du Colombier o = !o; 6333e12c5d1SDavid du Colombier gbranch(OGOTO); 6343e12c5d1SDavid du Colombier if(o) { 6353e12c5d1SDavid du Colombier p1 = p; 6363e12c5d1SDavid du Colombier gbranch(OGOTO); 6373e12c5d1SDavid du Colombier patch(p1, pc); 6383e12c5d1SDavid du Colombier } 6393e12c5d1SDavid du Colombier goto com; 6403e12c5d1SDavid du Colombier 6413e12c5d1SDavid du Colombier case OCOMMA: 6423e12c5d1SDavid du Colombier cgen(l, Z); 6433e12c5d1SDavid du Colombier boolgen(r, true, nn); 6443e12c5d1SDavid du Colombier break; 6453e12c5d1SDavid du Colombier 6463e12c5d1SDavid du Colombier case ONOT: 6473e12c5d1SDavid du Colombier boolgen(l, !true, nn); 6483e12c5d1SDavid du Colombier break; 6493e12c5d1SDavid du Colombier 6503e12c5d1SDavid du Colombier case OCOND: 6513e12c5d1SDavid du Colombier bcgen(l, 1); 6523e12c5d1SDavid du Colombier p1 = p; 6533e12c5d1SDavid du Colombier bcgen(r->left, true); 6543e12c5d1SDavid du Colombier p2 = p; 6553e12c5d1SDavid du Colombier gbranch(OGOTO); 6563e12c5d1SDavid du Colombier patch(p1, pc); 6573e12c5d1SDavid du Colombier p1 = p; 6583e12c5d1SDavid du Colombier bcgen(r->right, !true); 6593e12c5d1SDavid du Colombier patch(p2, pc); 6603e12c5d1SDavid du Colombier p2 = p; 6613e12c5d1SDavid du Colombier gbranch(OGOTO); 6623e12c5d1SDavid du Colombier patch(p1, pc); 6633e12c5d1SDavid du Colombier patch(p2, pc); 6643e12c5d1SDavid du Colombier goto com; 6653e12c5d1SDavid du Colombier 6663e12c5d1SDavid du Colombier case OANDAND: 6673e12c5d1SDavid du Colombier if(!true) 6683e12c5d1SDavid du Colombier goto caseor; 6693e12c5d1SDavid du Colombier 6703e12c5d1SDavid du Colombier caseand: 6713e12c5d1SDavid du Colombier bcgen(l, true); 6723e12c5d1SDavid du Colombier p1 = p; 6733e12c5d1SDavid du Colombier bcgen(r, !true); 6743e12c5d1SDavid du Colombier p2 = p; 6753e12c5d1SDavid du Colombier patch(p1, pc); 6763e12c5d1SDavid du Colombier gbranch(OGOTO); 6773e12c5d1SDavid du Colombier patch(p2, pc); 6783e12c5d1SDavid du Colombier goto com; 6793e12c5d1SDavid du Colombier 6803e12c5d1SDavid du Colombier case OOROR: 6813e12c5d1SDavid du Colombier if(!true) 6823e12c5d1SDavid du Colombier goto caseand; 6833e12c5d1SDavid du Colombier 6843e12c5d1SDavid du Colombier caseor: 6853e12c5d1SDavid du Colombier bcgen(l, !true); 6863e12c5d1SDavid du Colombier p1 = p; 6873e12c5d1SDavid du Colombier bcgen(r, !true); 6883e12c5d1SDavid du Colombier p2 = p; 6893e12c5d1SDavid du Colombier gbranch(OGOTO); 6903e12c5d1SDavid du Colombier patch(p1, pc); 6913e12c5d1SDavid du Colombier patch(p2, pc); 6923e12c5d1SDavid du Colombier goto com; 6933e12c5d1SDavid du Colombier 6943e12c5d1SDavid du Colombier case OEQ: 6953e12c5d1SDavid du Colombier case ONE: 6963e12c5d1SDavid du Colombier case OLE: 6973e12c5d1SDavid du Colombier case OLT: 6983e12c5d1SDavid du Colombier case OGE: 6993e12c5d1SDavid du Colombier case OGT: 7003e12c5d1SDavid du Colombier case OHI: 7013e12c5d1SDavid du Colombier case OHS: 7023e12c5d1SDavid du Colombier case OLO: 7033e12c5d1SDavid du Colombier case OLS: 7043e12c5d1SDavid du Colombier o = n->op; 7053e12c5d1SDavid du Colombier if(true) 7063e12c5d1SDavid du Colombier o = comrel[relindex(o)]; 7073e12c5d1SDavid du Colombier if(l->complex >= FNX && r->complex >= FNX) { 7083e12c5d1SDavid du Colombier regret(&nod, r); 7093e12c5d1SDavid du Colombier cgen(r, &nod); 7103e12c5d1SDavid du Colombier regsalloc(&nod1, r); 7113e12c5d1SDavid du Colombier gopcode(OAS, &nod, Z, &nod1); 7123e12c5d1SDavid du Colombier regfree(&nod); 7133e12c5d1SDavid du Colombier nod = *n; 7143e12c5d1SDavid du Colombier nod.right = &nod1; 7153e12c5d1SDavid du Colombier boolgen(&nod, true, nn); 7163e12c5d1SDavid du Colombier break; 7173e12c5d1SDavid du Colombier } 7183e12c5d1SDavid du Colombier if(sconst(l)) { 7193e12c5d1SDavid du Colombier switch(o) { 7203e12c5d1SDavid du Colombier default: 721*219b2ee8SDavid du Colombier if(l->vconst != 0) 7223e12c5d1SDavid du Colombier break; 7233e12c5d1SDavid du Colombier 7243e12c5d1SDavid du Colombier case OGT: 7253e12c5d1SDavid du Colombier case OHI: 7263e12c5d1SDavid du Colombier case OLE: 7273e12c5d1SDavid du Colombier case OLS: 7283e12c5d1SDavid du Colombier regalloc(&nod, r, nn); 7293e12c5d1SDavid du Colombier cgen(r, &nod); 7303e12c5d1SDavid du Colombier gopcode(o, l, &nod, Z); 7313e12c5d1SDavid du Colombier regfree(&nod); 7323e12c5d1SDavid du Colombier goto com; 7333e12c5d1SDavid du Colombier } 7343e12c5d1SDavid du Colombier } 7353e12c5d1SDavid du Colombier if(sconst(r)) { 7363e12c5d1SDavid du Colombier switch(o) { 7373e12c5d1SDavid du Colombier default: 738*219b2ee8SDavid du Colombier if(r->vconst != 0) 7393e12c5d1SDavid du Colombier break; 7403e12c5d1SDavid du Colombier 7413e12c5d1SDavid du Colombier case OGE: 7423e12c5d1SDavid du Colombier case OHS: 7433e12c5d1SDavid du Colombier case OLT: 7443e12c5d1SDavid du Colombier case OLO: 7453e12c5d1SDavid du Colombier regalloc(&nod, l, nn); 7463e12c5d1SDavid du Colombier cgen(l, &nod); 7473e12c5d1SDavid du Colombier gopcode(o, &nod, r, Z); 7483e12c5d1SDavid du Colombier regfree(&nod); 7493e12c5d1SDavid du Colombier goto com; 7503e12c5d1SDavid du Colombier } 7513e12c5d1SDavid du Colombier } 7523e12c5d1SDavid du Colombier if(l->complex >= r->complex) { 7533e12c5d1SDavid du Colombier regalloc(&nod1, l, nn); 7543e12c5d1SDavid du Colombier cgen(l, &nod1); 7553e12c5d1SDavid du Colombier regalloc(&nod, r, Z); 7563e12c5d1SDavid du Colombier cgen(r, &nod); 7573e12c5d1SDavid du Colombier } else { 7583e12c5d1SDavid du Colombier regalloc(&nod, r, nn); 7593e12c5d1SDavid du Colombier cgen(r, &nod); 7603e12c5d1SDavid du Colombier regalloc(&nod1, l, Z); 7613e12c5d1SDavid du Colombier cgen(l, &nod1); 7623e12c5d1SDavid du Colombier } 7633e12c5d1SDavid du Colombier gopcode(o, &nod1, &nod, Z); 7643e12c5d1SDavid du Colombier regfree(&nod); 7653e12c5d1SDavid du Colombier regfree(&nod1); 7663e12c5d1SDavid du Colombier 7673e12c5d1SDavid du Colombier com: 7683e12c5d1SDavid du Colombier if(nn != Z) { 7693e12c5d1SDavid du Colombier p1 = p; 770*219b2ee8SDavid du Colombier gopcode(OAS, nodconst(1), Z, nn); 7713e12c5d1SDavid du Colombier gbranch(OGOTO); 7723e12c5d1SDavid du Colombier p2 = p; 7733e12c5d1SDavid du Colombier patch(p1, pc); 774*219b2ee8SDavid du Colombier gopcode(OAS, nodconst(0), Z, nn); 7753e12c5d1SDavid du Colombier patch(p2, pc); 7763e12c5d1SDavid du Colombier } 7773e12c5d1SDavid du Colombier break; 7783e12c5d1SDavid du Colombier } 7793e12c5d1SDavid du Colombier cursafe = curs; 7803e12c5d1SDavid du Colombier } 7813e12c5d1SDavid du Colombier 7823e12c5d1SDavid du Colombier void 7833e12c5d1SDavid du Colombier sugen(Node *n, Node *nn, long w) 7843e12c5d1SDavid du Colombier { 7853e12c5d1SDavid du Colombier Prog *p1; 7863e12c5d1SDavid du Colombier Node nod0, nod1, nod2, nod3, nod4, *l, *r; 7873e12c5d1SDavid du Colombier Type *t; 7883e12c5d1SDavid du Colombier long pc1; 7893e12c5d1SDavid du Colombier int i, m, c; 7903e12c5d1SDavid du Colombier 7913e12c5d1SDavid du Colombier if(n == Z || n->type == T) 7923e12c5d1SDavid du Colombier return; 7933e12c5d1SDavid du Colombier if(debug['g']) { 7943e12c5d1SDavid du Colombier prtree(nn, "sugen lhs"); 7953e12c5d1SDavid du Colombier prtree(n, "sugen"); 7963e12c5d1SDavid du Colombier } 7973e12c5d1SDavid du Colombier if(nn == nodrat) 7983e12c5d1SDavid du Colombier if(w > nrathole) 7993e12c5d1SDavid du Colombier nrathole = w; 8003e12c5d1SDavid du Colombier switch(n->op) { 8013e12c5d1SDavid du Colombier case OIND: 8023e12c5d1SDavid du Colombier if(nn == Z) { 8033e12c5d1SDavid du Colombier nullwarn(n->left, Z); 8043e12c5d1SDavid du Colombier break; 8053e12c5d1SDavid du Colombier } 8063e12c5d1SDavid du Colombier 8073e12c5d1SDavid du Colombier default: 8083e12c5d1SDavid du Colombier goto copy; 8093e12c5d1SDavid du Colombier 810*219b2ee8SDavid du Colombier case OCONST: 811*219b2ee8SDavid du Colombier if(n->type && typev[n->type->etype]) { 812*219b2ee8SDavid du Colombier if(nn == Z) { 813*219b2ee8SDavid du Colombier nullwarn(n->left, Z); 814*219b2ee8SDavid du Colombier break; 815*219b2ee8SDavid du Colombier } 816*219b2ee8SDavid du Colombier 817*219b2ee8SDavid du Colombier t = nn->type; 818*219b2ee8SDavid du Colombier nn->type = types[TLONG]; 819*219b2ee8SDavid du Colombier reglcgen(&nod1, nn, Z); 820*219b2ee8SDavid du Colombier nn->type = t; 821*219b2ee8SDavid du Colombier 822*219b2ee8SDavid du Colombier gopcode(OAS, nod32const(n->vconst>>32), Z, &nod1); 823*219b2ee8SDavid du Colombier nod1.xoffset += SZ_LONG; 824*219b2ee8SDavid du Colombier gopcode(OAS, nod32const(n->vconst), Z, &nod1); 825*219b2ee8SDavid du Colombier 826*219b2ee8SDavid du Colombier regfree(&nod1); 827*219b2ee8SDavid du Colombier break; 828*219b2ee8SDavid du Colombier } 829*219b2ee8SDavid du Colombier goto copy; 830*219b2ee8SDavid du Colombier 8313e12c5d1SDavid du Colombier case ODOT: 8323e12c5d1SDavid du Colombier l = n->left; 8333e12c5d1SDavid du Colombier sugen(l, nodrat, l->type->width); 8343e12c5d1SDavid du Colombier if(nn != Z) { 8353e12c5d1SDavid du Colombier warn(n, "non-interruptable temporary"); 8363e12c5d1SDavid du Colombier nod1 = *nodrat; 8373e12c5d1SDavid du Colombier r = n->right; 8383e12c5d1SDavid du Colombier if(!r || r->op != OCONST) { 8393e12c5d1SDavid du Colombier diag(n, "DOT and no offset"); 8403e12c5d1SDavid du Colombier break; 8413e12c5d1SDavid du Colombier } 842*219b2ee8SDavid du Colombier nod1.xoffset += (long)r->vconst; 8433e12c5d1SDavid du Colombier nod1.type = n->type; 8443e12c5d1SDavid du Colombier sugen(&nod1, nn, w); 8453e12c5d1SDavid du Colombier } 8463e12c5d1SDavid du Colombier break; 8473e12c5d1SDavid du Colombier 8483e12c5d1SDavid du Colombier case OSTRUCT: 849*219b2ee8SDavid du Colombier /* 850*219b2ee8SDavid du Colombier * rewrite so lhs has no fn call 851*219b2ee8SDavid du Colombier */ 852*219b2ee8SDavid du Colombier if(nn != Z && nn->complex >= FNX) { 853*219b2ee8SDavid du Colombier nod1 = *n; 854*219b2ee8SDavid du Colombier nod1.type = typ(TIND, n->type); 855*219b2ee8SDavid du Colombier regret(&nod2, &nod1); 856*219b2ee8SDavid du Colombier lcgen(nn, &nod2); 857*219b2ee8SDavid du Colombier regsalloc(&nod0, &nod1); 858*219b2ee8SDavid du Colombier gopcode(OAS, &nod2, Z, &nod0); 859*219b2ee8SDavid du Colombier regfree(&nod2); 860*219b2ee8SDavid du Colombier 861*219b2ee8SDavid du Colombier nod1 = *n; 862*219b2ee8SDavid du Colombier nod1.op = OIND; 863*219b2ee8SDavid du Colombier nod1.left = &nod0; 864*219b2ee8SDavid du Colombier nod1.right = Z; 865*219b2ee8SDavid du Colombier nod1.complex = 1; 866*219b2ee8SDavid du Colombier 867*219b2ee8SDavid du Colombier sugen(n, &nod1, w); 868*219b2ee8SDavid du Colombier return; 869*219b2ee8SDavid du Colombier } 870*219b2ee8SDavid du Colombier 8713e12c5d1SDavid du Colombier r = n->left; 8723e12c5d1SDavid du Colombier for(t = n->type->link; t != T; t = t->down) { 8733e12c5d1SDavid du Colombier l = r; 8743e12c5d1SDavid du Colombier if(r->op == OLIST) { 8753e12c5d1SDavid du Colombier l = r->left; 8763e12c5d1SDavid du Colombier r = r->right; 8773e12c5d1SDavid du Colombier } 8783e12c5d1SDavid du Colombier if(nn == Z) { 8793e12c5d1SDavid du Colombier cgen(l, nn); 8803e12c5d1SDavid du Colombier continue; 8813e12c5d1SDavid du Colombier } 8823e12c5d1SDavid du Colombier /* 8833e12c5d1SDavid du Colombier * hand craft *(&nn + o) = l 8843e12c5d1SDavid du Colombier */ 8853e12c5d1SDavid du Colombier nod0 = znode; 8863e12c5d1SDavid du Colombier nod0.op = OAS; 8873e12c5d1SDavid du Colombier nod0.type = t; 8883e12c5d1SDavid du Colombier nod0.left = &nod1; 8893e12c5d1SDavid du Colombier nod0.right = l; 8903e12c5d1SDavid du Colombier 8913e12c5d1SDavid du Colombier nod1 = znode; 8923e12c5d1SDavid du Colombier nod1.op = OIND; 8933e12c5d1SDavid du Colombier nod1.type = t; 8943e12c5d1SDavid du Colombier nod1.left = &nod2; 8953e12c5d1SDavid du Colombier 8963e12c5d1SDavid du Colombier nod2 = znode; 8973e12c5d1SDavid du Colombier nod2.op = OADD; 8983e12c5d1SDavid du Colombier nod2.type = typ(TIND, t); 8993e12c5d1SDavid du Colombier nod2.left = &nod3; 9003e12c5d1SDavid du Colombier nod2.right = &nod4; 9013e12c5d1SDavid du Colombier 9023e12c5d1SDavid du Colombier nod3 = znode; 9033e12c5d1SDavid du Colombier nod3.op = OADDR; 9043e12c5d1SDavid du Colombier nod3.type = nod2.type; 9053e12c5d1SDavid du Colombier nod3.left = nn; 9063e12c5d1SDavid du Colombier 9073e12c5d1SDavid du Colombier nod4 = znode; 9083e12c5d1SDavid du Colombier nod4.op = OCONST; 9093e12c5d1SDavid du Colombier nod4.type = nod2.type; 910*219b2ee8SDavid du Colombier nod4.vconst = t->offset; 9113e12c5d1SDavid du Colombier 9123e12c5d1SDavid du Colombier ccom(&nod0); 9133e12c5d1SDavid du Colombier acom(&nod0); 9143e12c5d1SDavid du Colombier xcom(&nod0); 9153e12c5d1SDavid du Colombier nod0.addable = 0; 9163e12c5d1SDavid du Colombier 9173e12c5d1SDavid du Colombier /* prtree(&nod0, "hand craft"); /* */ 9183e12c5d1SDavid du Colombier cgen(&nod0, Z); 9193e12c5d1SDavid du Colombier } 9203e12c5d1SDavid du Colombier break; 9213e12c5d1SDavid du Colombier 9223e12c5d1SDavid du Colombier case OAS: 9233e12c5d1SDavid du Colombier if(nn == Z) { 9243e12c5d1SDavid du Colombier if(n->addable < INDEXED) 9253e12c5d1SDavid du Colombier sugen(n->right, n->left, w); 9263e12c5d1SDavid du Colombier break; 9273e12c5d1SDavid du Colombier } 9283e12c5d1SDavid du Colombier sugen(n->right, nodrat, w); 9293e12c5d1SDavid du Colombier warn(n, "non-interruptable temporary"); 9303e12c5d1SDavid du Colombier sugen(nodrat, n->left, w); 9313e12c5d1SDavid du Colombier sugen(nodrat, nn, w); 9323e12c5d1SDavid du Colombier break; 9333e12c5d1SDavid du Colombier 9343e12c5d1SDavid du Colombier case OFUNC: 9353e12c5d1SDavid du Colombier if(nn == Z) { 9363e12c5d1SDavid du Colombier sugen(n, nodrat, w); 9373e12c5d1SDavid du Colombier break; 9383e12c5d1SDavid du Colombier } 9393e12c5d1SDavid du Colombier if(nn->op != OIND) { 9403e12c5d1SDavid du Colombier nn = new1(OADDR, nn, Z); 9413e12c5d1SDavid du Colombier nn->type = types[TIND]; 9423e12c5d1SDavid du Colombier nn->addable = 0; 9433e12c5d1SDavid du Colombier } else 9443e12c5d1SDavid du Colombier nn = nn->left; 9453e12c5d1SDavid du Colombier n = new(OFUNC, n->left, new(OLIST, nn, n->right)); 9463e12c5d1SDavid du Colombier n->type = types[TVOID]; 9473e12c5d1SDavid du Colombier n->left->type = types[TVOID]; 9483e12c5d1SDavid du Colombier cgen(n, Z); 9493e12c5d1SDavid du Colombier break; 9503e12c5d1SDavid du Colombier 9513e12c5d1SDavid du Colombier case OCOND: 9523e12c5d1SDavid du Colombier bcgen(n->left, 1); 9533e12c5d1SDavid du Colombier p1 = p; 9543e12c5d1SDavid du Colombier sugen(n->right->left, nn, w); 9553e12c5d1SDavid du Colombier gbranch(OGOTO); 9563e12c5d1SDavid du Colombier patch(p1, pc); 9573e12c5d1SDavid du Colombier p1 = p; 9583e12c5d1SDavid du Colombier sugen(n->right->right, nn, w); 9593e12c5d1SDavid du Colombier patch(p1, pc); 9603e12c5d1SDavid du Colombier break; 9613e12c5d1SDavid du Colombier 9623e12c5d1SDavid du Colombier case OCOMMA: 9633e12c5d1SDavid du Colombier cgen(n->left, Z); 9643e12c5d1SDavid du Colombier sugen(n->right, nn, w); 9653e12c5d1SDavid du Colombier break; 9663e12c5d1SDavid du Colombier } 9673e12c5d1SDavid du Colombier return; 9683e12c5d1SDavid du Colombier 9693e12c5d1SDavid du Colombier copy: 9703e12c5d1SDavid du Colombier if(nn == Z) 9713e12c5d1SDavid du Colombier return; 9723e12c5d1SDavid du Colombier if(n->complex >= FNX && nn->complex >= FNX) { 973*219b2ee8SDavid du Colombier t = nn->type; 974*219b2ee8SDavid du Colombier nn->type = types[TLONG]; 975*219b2ee8SDavid du Colombier regialloc(&nod1, nn, Z); 976*219b2ee8SDavid du Colombier lcgen(nn, &nod1); 977*219b2ee8SDavid du Colombier regsalloc(&nod2, nn); 978*219b2ee8SDavid du Colombier nn->type = t; 979*219b2ee8SDavid du Colombier 980*219b2ee8SDavid du Colombier gopcode(OAS, &nod1, Z, &nod2); 981*219b2ee8SDavid du Colombier regfree(&nod1); 982*219b2ee8SDavid du Colombier 983*219b2ee8SDavid du Colombier nod2.type = typ(TIND, t); 984*219b2ee8SDavid du Colombier 985*219b2ee8SDavid du Colombier nod1 = nod2; 986*219b2ee8SDavid du Colombier nod1.op = OIND; 987*219b2ee8SDavid du Colombier nod1.left = &nod2; 988*219b2ee8SDavid du Colombier nod1.right = Z; 989*219b2ee8SDavid du Colombier nod1.complex = 1; 990*219b2ee8SDavid du Colombier nod1.type = t; 991*219b2ee8SDavid du Colombier 992*219b2ee8SDavid du Colombier sugen(n, &nod1, w); 9933e12c5d1SDavid du Colombier return; 9943e12c5d1SDavid du Colombier } 9953e12c5d1SDavid du Colombier 9963e12c5d1SDavid du Colombier if(n->complex > nn->complex) { 9973e12c5d1SDavid du Colombier t = n->type; 9983e12c5d1SDavid du Colombier n->type = types[TLONG]; 9993e12c5d1SDavid du Colombier reglcgen(&nod1, n, Z); 10003e12c5d1SDavid du Colombier n->type = t; 10013e12c5d1SDavid du Colombier 10023e12c5d1SDavid du Colombier t = nn->type; 10033e12c5d1SDavid du Colombier nn->type = types[TLONG]; 10043e12c5d1SDavid du Colombier reglcgen(&nod2, nn, Z); 10053e12c5d1SDavid du Colombier nn->type = t; 10063e12c5d1SDavid du Colombier } else { 10073e12c5d1SDavid du Colombier t = nn->type; 10083e12c5d1SDavid du Colombier nn->type = types[TLONG]; 10093e12c5d1SDavid du Colombier reglcgen(&nod2, nn, Z); 10103e12c5d1SDavid du Colombier nn->type = t; 10113e12c5d1SDavid du Colombier 10123e12c5d1SDavid du Colombier t = n->type; 10133e12c5d1SDavid du Colombier n->type = types[TLONG]; 10143e12c5d1SDavid du Colombier reglcgen(&nod1, n, Z); 10153e12c5d1SDavid du Colombier n->type = t; 10163e12c5d1SDavid du Colombier } 10173e12c5d1SDavid du Colombier 10183e12c5d1SDavid du Colombier w /= SZ_LONG; 10193e12c5d1SDavid du Colombier if(w <= 5) { 10203e12c5d1SDavid du Colombier layout(&nod1, &nod2, w, 0, Z); 10213e12c5d1SDavid du Colombier goto out; 10223e12c5d1SDavid du Colombier } 10233e12c5d1SDavid du Colombier 10243e12c5d1SDavid du Colombier /* 10253e12c5d1SDavid du Colombier * minimize space for unrolling loop 10263e12c5d1SDavid du Colombier * 3,4,5 times. (6 or more is never minimum) 10273e12c5d1SDavid du Colombier * if small structure, try 2 also. 10283e12c5d1SDavid du Colombier */ 10293e12c5d1SDavid du Colombier c = 0; /* set */ 10303e12c5d1SDavid du Colombier m = 100; 10313e12c5d1SDavid du Colombier i = 3; 10323e12c5d1SDavid du Colombier if(w <= 15) 10333e12c5d1SDavid du Colombier i = 2; 10343e12c5d1SDavid du Colombier for(; i<=5; i++) 10353e12c5d1SDavid du Colombier if(i + w%i <= m) { 10363e12c5d1SDavid du Colombier c = i; 10373e12c5d1SDavid du Colombier m = c + w%c; 10383e12c5d1SDavid du Colombier } 10393e12c5d1SDavid du Colombier 10403e12c5d1SDavid du Colombier regalloc(&nod3, ®node, Z); 10413e12c5d1SDavid du Colombier layout(&nod1, &nod2, w%c, w/c, &nod3); 10423e12c5d1SDavid du Colombier 10433e12c5d1SDavid du Colombier pc1 = pc; 10443e12c5d1SDavid du Colombier layout(&nod1, &nod2, c, 0, Z); 10453e12c5d1SDavid du Colombier 1046*219b2ee8SDavid du Colombier gopcode(OSUB, nodconst(1), Z, &nod3); 10473e12c5d1SDavid du Colombier nod1.op = OREGISTER; 10483e12c5d1SDavid du Colombier gopcode(OADD, nodconst(c*SZ_LONG), Z, &nod1); 10493e12c5d1SDavid du Colombier nod2.op = OREGISTER; 10503e12c5d1SDavid du Colombier gopcode(OADD, nodconst(c*SZ_LONG), Z, &nod2); 10513e12c5d1SDavid du Colombier 10523e12c5d1SDavid du Colombier gopcode(OEQ, &nod3, Z, Z); 10533e12c5d1SDavid du Colombier p->as = ABGTZ; 10543e12c5d1SDavid du Colombier patch(p, pc1); 10553e12c5d1SDavid du Colombier 10563e12c5d1SDavid du Colombier regfree(&nod3); 10573e12c5d1SDavid du Colombier out: 10583e12c5d1SDavid du Colombier regfree(&nod1); 10593e12c5d1SDavid du Colombier regfree(&nod2); 10603e12c5d1SDavid du Colombier } 10613e12c5d1SDavid du Colombier 10623e12c5d1SDavid du Colombier void 10633e12c5d1SDavid du Colombier layout(Node *f, Node *t, int c, int cv, Node *cn) 10643e12c5d1SDavid du Colombier { 10653e12c5d1SDavid du Colombier Node t1, t2; 10663e12c5d1SDavid du Colombier 10673e12c5d1SDavid du Colombier while(c > 3) { 10683e12c5d1SDavid du Colombier layout(f, t, 2, 0, Z); 10693e12c5d1SDavid du Colombier c -= 2; 10703e12c5d1SDavid du Colombier } 10713e12c5d1SDavid du Colombier 10723e12c5d1SDavid du Colombier regalloc(&t1, ®node, Z); 10733e12c5d1SDavid du Colombier regalloc(&t2, ®node, Z); 10743e12c5d1SDavid du Colombier if(c > 0) { 10753e12c5d1SDavid du Colombier gopcode(OAS, f, Z, &t1); 1076*219b2ee8SDavid du Colombier f->xoffset += SZ_LONG; 10773e12c5d1SDavid du Colombier } 10783e12c5d1SDavid du Colombier if(cn != Z) 10793e12c5d1SDavid du Colombier gopcode(OAS, nodconst(cv), Z, cn); 10803e12c5d1SDavid du Colombier if(c > 1) { 10813e12c5d1SDavid du Colombier gopcode(OAS, f, Z, &t2); 1082*219b2ee8SDavid du Colombier f->xoffset += SZ_LONG; 10833e12c5d1SDavid du Colombier } 10843e12c5d1SDavid du Colombier if(c > 0) { 10853e12c5d1SDavid du Colombier gopcode(OAS, &t1, Z, t); 1086*219b2ee8SDavid du Colombier t->xoffset += SZ_LONG; 10873e12c5d1SDavid du Colombier } 10883e12c5d1SDavid du Colombier if(c > 2) { 10893e12c5d1SDavid du Colombier gopcode(OAS, f, Z, &t1); 1090*219b2ee8SDavid du Colombier f->xoffset += SZ_LONG; 10913e12c5d1SDavid du Colombier } 10923e12c5d1SDavid du Colombier if(c > 1) { 10933e12c5d1SDavid du Colombier gopcode(OAS, &t2, Z, t); 1094*219b2ee8SDavid du Colombier t->xoffset += SZ_LONG; 10953e12c5d1SDavid du Colombier } 10963e12c5d1SDavid du Colombier if(c > 2) { 10973e12c5d1SDavid du Colombier gopcode(OAS, &t1, Z, t); 1098*219b2ee8SDavid du Colombier t->xoffset += SZ_LONG; 10993e12c5d1SDavid du Colombier } 11003e12c5d1SDavid du Colombier regfree(&t1); 11013e12c5d1SDavid du Colombier regfree(&t2); 11023e12c5d1SDavid du Colombier } 1103