net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/compiler/ast/BinaryExpression.java

   1 /*******************************************************************************
   2  * Copyright (c) 2000, 2003 IBM Corporation and others.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Common Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/cpl-v10.html
   7  *
   8  * Contributors:
   9  *     IBM Corporation - initial API and implementation
  10  *******************************************************************************/
  11 package net.sourceforge.phpdt.internal.compiler.ast;
  12
  13 import net.sourceforge.phpdt.core.compiler.ITerminalSymbols.TokenName;
  14 import net.sourceforge.phpdt.internal.compiler.ASTVisitor;
  15 import net.sourceforge.phpdt.internal.compiler.flow.FlowContext;
  16 import net.sourceforge.phpdt.internal.compiler.flow.FlowInfo;
  17 import net.sourceforge.phpdt.internal.compiler.impl.Constant;
  18 import net.sourceforge.phpdt.internal.compiler.lookup.ArrayBinding;
  19 import net.sourceforge.phpdt.internal.compiler.lookup.BlockScope;
  20 import net.sourceforge.phpdt.internal.compiler.lookup.TypeBinding;
  21
  22 public class BinaryExpression extends OperatorExpression {
  23
  24         public Expression left, right;
  25
  26         public Constant optimizedBooleanConstant;
  27
  28         public BinaryExpression(Expression left, Expression right, int operator) {
  29                 this.left = left;
  30                 this.right = right;
  31                 this.bits |= operator << OperatorSHIFT; // encode operator
  32                 this.sourceStart = left.sourceStart;
  33                 this.sourceEnd = right.sourceEnd;
  34         }
  35
  36         public FlowInfo analyseCode(BlockScope currentScope,
  37                         FlowContext flowContext, FlowInfo flowInfo) {
  38
  39                 return right.analyseCode(
  40                                 currentScope,
  41                                 flowContext,
  42                                 left.analyseCode(currentScope, flowContext, flowInfo)
  43                                                 .unconditionalInits()).unconditionalInits();
  44         }
  45
  46         public void computeConstant(BlockScope scope, int leftId, int rightId) {
  47
  48                 // compute the constant when valid
  49                 if ((this.left.constant != Constant.NotAConstant)
  50                                 && (this.right.constant != Constant.NotAConstant)) {
  51                         try {
  52                                 this.constant = Constant.computeConstantOperation(
  53                                                 this.left.constant, leftId,
  54                                                 (this.bits & OperatorMASK) >> OperatorSHIFT,
  55                                                 this.right.constant, rightId);
  56                         } catch (ArithmeticException e) {
  57                                 this.constant = Constant.NotAConstant;
  58                                 // 1.2 no longer throws an exception at compile-time
  59                                 // scope.problemReporter().compileTimeConstantThrowsArithmeticException(this);
  60                         }
  61                 } else {
  62                         this.constant = Constant.NotAConstant;
  63                         // add some work for the boolean operators & |
  64                         // this.optimizedBooleanConstant(
  65                         // leftId,
  66                         // (this.bits & OperatorMASK) >> OperatorSHIFT,
  67                         // rightId);
  68                 }
  69         }
  70
  71         public Constant optimizedBooleanConstant() {
  72
  73                 return this.optimizedBooleanConstant == null ? this.constant
  74                                 : this.optimizedBooleanConstant;
  75         }
  76
  77         /**
  78          * Code generation for a binary operation
  79          */
  80         // public void generateCode(
  81         // BlockScope currentScope,
  82         // CodeStream codeStream,
  83         // boolean valueRequired) {
  84         //
  85         // int pc = codeStream.position;
  86         // Label falseLabel, endLabel;
  87         // if (constant != Constant.NotAConstant) {
  88         // if (valueRequired)
  89         // codeStream.generateConstant(constant, implicitConversion);
  90         // codeStream.recordPositionsFrom(pc, this.sourceStart);
  91         // return;
  92         // }
  93         // bits |= OnlyValueRequiredMASK;
  94         // switch ((bits & OperatorMASK) >> OperatorSHIFT) {
  95         // case PLUS :
  96         // switch (bits & ReturnTypeIDMASK) {
  97         // case T_String :
  98         // codeStream.generateStringAppend(currentScope, left, right);
  99         // if (!valueRequired)
 100         // codeStream.pop();
 101         // break;
 102         // case T_int :
 103         // left.generateCode(currentScope, codeStream, valueRequired);
 104         // right.generateCode(currentScope, codeStream, valueRequired);
 105         // if (valueRequired)
 106         // codeStream.iadd();
 107         // break;
 108         // case T_long :
 109         // left.generateCode(currentScope, codeStream, valueRequired);
 110         // right.generateCode(currentScope, codeStream, valueRequired);
 111         // if (valueRequired)
 112         // codeStream.ladd();
 113         // break;
 114         // case T_double :
 115         // left.generateCode(currentScope, codeStream, valueRequired);
 116         // right.generateCode(currentScope, codeStream, valueRequired);
 117         // if (valueRequired)
 118         // codeStream.dadd();
 119         // break;
 120         // case T_float :
 121         // left.generateCode(currentScope, codeStream, valueRequired);
 122         // right.generateCode(currentScope, codeStream, valueRequired);
 123         // if (valueRequired)
 124         // codeStream.fadd();
 125         // break;
 126         // }
 127         // break;
 128         // case MINUS :
 129         // switch (bits & ReturnTypeIDMASK) {
 130         // case T_int :
 131         // left.generateCode(currentScope, codeStream, valueRequired);
 132         // right.generateCode(currentScope, codeStream, valueRequired);
 133         // if (valueRequired)
 134         // codeStream.isub();
 135         // break;
 136         // case T_long :
 137         // left.generateCode(currentScope, codeStream, valueRequired);
 138         // right.generateCode(currentScope, codeStream, valueRequired);
 139         // if (valueRequired)
 140         // codeStream.lsub();
 141         // break;
 142         // case T_double :
 143         // left.generateCode(currentScope, codeStream, valueRequired);
 144         // right.generateCode(currentScope, codeStream, valueRequired);
 145         // if (valueRequired)
 146         // codeStream.dsub();
 147         // break;
 148         // case T_float :
 149         // left.generateCode(currentScope, codeStream, valueRequired);
 150         // right.generateCode(currentScope, codeStream, valueRequired);
 151         // if (valueRequired)
 152         // codeStream.fsub();
 153         // break;
 154         // }
 155         // break;
 156         // case MULTIPLY :
 157         // switch (bits & ReturnTypeIDMASK) {
 158         // case T_int :
 159         // left.generateCode(currentScope, codeStream, valueRequired);
 160         // right.generateCode(currentScope, codeStream, valueRequired);
 161         // if (valueRequired)
 162         // codeStream.imul();
 163         // break;
 164         // case T_long :
 165         // left.generateCode(currentScope, codeStream, valueRequired);
 166         // right.generateCode(currentScope, codeStream, valueRequired);
 167         // if (valueRequired)
 168         // codeStream.lmul();
 169         // break;
 170         // case T_double :
 171         // left.generateCode(currentScope, codeStream, valueRequired);
 172         // right.generateCode(currentScope, codeStream, valueRequired);
 173         // if (valueRequired)
 174         // codeStream.dmul();
 175         // break;
 176         // case T_float :
 177         // left.generateCode(currentScope, codeStream, valueRequired);
 178         // right.generateCode(currentScope, codeStream, valueRequired);
 179         // if (valueRequired)
 180         // codeStream.fmul();
 181         // break;
 182         // }
 183         // break;
 184         // case DIVIDE :
 185         // switch (bits & ReturnTypeIDMASK) {
 186         // case T_int :
 187         // left.generateCode(currentScope, codeStream, true);
 188         // right.generateCode(currentScope, codeStream, true);
 189         // codeStream.idiv();
 190         // if (!valueRequired)
 191         // codeStream.pop();
 192         // break;
 193         // case T_long :
 194         // left.generateCode(currentScope, codeStream, true);
 195         // right.generateCode(currentScope, codeStream, true);
 196         // codeStream.ldiv();
 197         // if (!valueRequired)
 198         // codeStream.pop2();
 199         // break;
 200         // case T_double :
 201         // left.generateCode(currentScope, codeStream, valueRequired);
 202         // right.generateCode(currentScope, codeStream, valueRequired);
 203         // if (valueRequired)
 204         // codeStream.ddiv();
 205         // break;
 206         // case T_float :
 207         // left.generateCode(currentScope, codeStream, valueRequired);
 208         // right.generateCode(currentScope, codeStream, valueRequired);
 209         // if (valueRequired)
 210         // codeStream.fdiv();
 211         // break;
 212         // }
 213         // break;
 214         // case REMAINDER :
 215         // switch (bits & ReturnTypeIDMASK) {
 216         // case T_int :
 217         // left.generateCode(currentScope, codeStream, true);
 218         // right.generateCode(currentScope, codeStream, true);
 219         // codeStream.irem();
 220         // if (!valueRequired)
 221         // codeStream.pop();
 222         // break;
 223         // case T_long :
 224         // left.generateCode(currentScope, codeStream, true);
 225         // right.generateCode(currentScope, codeStream, true);
 226         // codeStream.lrem();
 227         // if (!valueRequired)
 228         // codeStream.pop2();
 229         // break;
 230         // case T_double :
 231         // left.generateCode(currentScope, codeStream, valueRequired);
 232         // right.generateCode(currentScope, codeStream, valueRequired);
 233         // if (valueRequired)
 234         // codeStream.drem();
 235         // break;
 236         // case T_float :
 237         // left.generateCode(currentScope, codeStream, valueRequired);
 238         // right.generateCode(currentScope, codeStream, valueRequired);
 239         // if (valueRequired)
 240         // codeStream.frem();
 241         // break;
 242         // }
 243         // break;
 244         // case AND :
 245         // switch (bits & ReturnTypeIDMASK) {
 246         // case T_int :
 247         // // 0 & x
 248         // if ((left.constant != Constant.NotAConstant)
 249         // && (left.constant.typeID() == T_int)
 250         // && (left.constant.intValue() == 0)) {
 251         // right.generateCode(currentScope, codeStream, false);
 252         // if (valueRequired)
 253         // codeStream.iconst_0();
 254         // } else {
 255         // // x & 0
 256         // if ((right.constant != Constant.NotAConstant)
 257         // && (right.constant.typeID() == T_int)
 258         // && (right.constant.intValue() == 0)) {
 259         // left.generateCode(currentScope, codeStream, false);
 260         // if (valueRequired)
 261         // codeStream.iconst_0();
 262         // } else {
 263         // left.generateCode(currentScope, codeStream, valueRequired);
 264         // right.generateCode(currentScope, codeStream, valueRequired);
 265         // if (valueRequired)
 266         // codeStream.iand();
 267         // }
 268         // }
 269         // break;
 270         // case T_long :
 271         // // 0 & x
 272         // if ((left.constant != Constant.NotAConstant)
 273         // && (left.constant.typeID() == T_long)
 274         // && (left.constant.longValue() == 0L)) {
 275         // right.generateCode(currentScope, codeStream, false);
 276         // if (valueRequired)
 277         // codeStream.lconst_0();
 278         // } else {
 279         // // x & 0
 280         // if ((right.constant != Constant.NotAConstant)
 281         // && (right.constant.typeID() == T_long)
 282         // && (right.constant.longValue() == 0L)) {
 283         // left.generateCode(currentScope, codeStream, false);
 284         // if (valueRequired)
 285         // codeStream.lconst_0();
 286         // } else {
 287         // left.generateCode(currentScope, codeStream, valueRequired);
 288         // right.generateCode(currentScope, codeStream, valueRequired);
 289         // if (valueRequired)
 290         // codeStream.land();
 291         // }
 292         // }
 293         // break;
 294         // case T_boolean : // logical and
 295         // generateOptimizedLogicalAnd(
 296         // currentScope,
 297         // codeStream,
 298         // null,
 299         // (falseLabel = new Label(codeStream)),
 300         // valueRequired);
 301         // /* improving code gen for such a case: boolean b = i < 0 && false;
 302         // * since the label has never been used, we have the inlined value on the
 303         // stack. */
 304         // if (falseLabel.hasForwardReferences()) {
 305         // if (valueRequired) {
 306         // codeStream.iconst_1();
 307         // if ((bits & ValueForReturnMASK) != 0) {
 308         // codeStream.ireturn();
 309         // falseLabel.place();
 310         // codeStream.iconst_0();
 311         // } else {
 312         // codeStream.goto_(endLabel = new Label(codeStream));
 313         // codeStream.decrStackSize(1);
 314         // falseLabel.place();
 315         // codeStream.iconst_0();
 316         // endLabel.place();
 317         // }
 318         // } else {
 319         // falseLabel.place();
 320         // }
 321         // }
 322         // }
 323         // break;
 324         // case OR :
 325         // switch (bits & ReturnTypeIDMASK) {
 326         // case T_int :
 327         // // 0 | x
 328         // if ((left.constant != Constant.NotAConstant)
 329         // && (left.constant.typeID() == T_int)
 330         // && (left.constant.intValue() == 0)) {
 331         // right.generateCode(currentScope, codeStream, valueRequired);
 332         // } else {
 333         // // x | 0
 334         // if ((right.constant != Constant.NotAConstant)
 335         // && (right.constant.typeID() == T_int)
 336         // && (right.constant.intValue() == 0)) {
 337         // left.generateCode(currentScope, codeStream, valueRequired);
 338         // } else {
 339         // left.generateCode(currentScope, codeStream, valueRequired);
 340         // right.generateCode(currentScope, codeStream, valueRequired);
 341         // if (valueRequired)
 342         // codeStream.ior();
 343         // }
 344         // }
 345         // break;
 346         // case T_long :
 347         // // 0 | x
 348         // if ((left.constant != Constant.NotAConstant)
 349         // && (left.constant.typeID() == T_long)
 350         // && (left.constant.longValue() == 0L)) {
 351         // right.generateCode(currentScope, codeStream, valueRequired);
 352         // } else {
 353         // // x | 0
 354         // if ((right.constant != Constant.NotAConstant)
 355         // && (right.constant.typeID() == T_long)
 356         // && (right.constant.longValue() == 0L)) {
 357         // left.generateCode(currentScope, codeStream, valueRequired);
 358         // } else {
 359         // left.generateCode(currentScope, codeStream, valueRequired);
 360         // right.generateCode(currentScope, codeStream, valueRequired);
 361         // if (valueRequired)
 362         // codeStream.lor();
 363         // }
 364         // }
 365         // break;
 366         // case T_boolean : // logical or
 367         // generateOptimizedLogicalOr(
 368         // currentScope,
 369         // codeStream,
 370         // null,
 371         // (falseLabel = new Label(codeStream)),
 372         // valueRequired);
 373         // /* improving code gen for such a case: boolean b = i < 0 || true;
 374         // * since the label has never been used, we have the inlined value on the
 375         // stack. */
 376         // if (falseLabel.hasForwardReferences()) {
 377         // if (valueRequired) {
 378         // codeStream.iconst_1();
 379         // if ((bits & ValueForReturnMASK) != 0) {
 380         // codeStream.ireturn();
 381         // falseLabel.place();
 382         // codeStream.iconst_0();
 383         // } else {
 384         // codeStream.goto_(endLabel = new Label(codeStream));
 385         // codeStream.decrStackSize(1);
 386         // falseLabel.place();
 387         // codeStream.iconst_0();
 388         // endLabel.place();
 389         // }
 390         // } else {
 391         // falseLabel.place();
 392         // }
 393         // }
 394         // }
 395         // break;
 396         // case XOR :
 397         // switch (bits & ReturnTypeIDMASK) {
 398         // case T_int :
 399         // // 0 ^ x
 400         // if ((left.constant != Constant.NotAConstant)
 401         // && (left.constant.typeID() == T_int)
 402         // && (left.constant.intValue() == 0)) {
 403         // right.generateCode(currentScope, codeStream, valueRequired);
 404         // } else {
 405         // // x ^ 0
 406         // if ((right.constant != Constant.NotAConstant)
 407         // && (right.constant.typeID() == T_int)
 408         // && (right.constant.intValue() == 0)) {
 409         // left.generateCode(currentScope, codeStream, valueRequired);
 410         // } else {
 411         // left.generateCode(currentScope, codeStream, valueRequired);
 412         // right.generateCode(currentScope, codeStream, valueRequired);
 413         // if (valueRequired)
 414         // codeStream.ixor();
 415         // }
 416         // }
 417         // break;
 418         // case T_long :
 419         // // 0 ^ x
 420         // if ((left.constant != Constant.NotAConstant)
 421         // && (left.constant.typeID() == T_long)
 422         // && (left.constant.longValue() == 0L)) {
 423         // right.generateCode(currentScope, codeStream, valueRequired);
 424         // } else {
 425         // // x ^ 0
 426         // if ((right.constant != Constant.NotAConstant)
 427         // && (right.constant.typeID() == T_long)
 428         // && (right.constant.longValue() == 0L)) {
 429         // left.generateCode(currentScope, codeStream, valueRequired);
 430         // } else {
 431         // left.generateCode(currentScope, codeStream, valueRequired);
 432         // right.generateCode(currentScope, codeStream, valueRequired);
 433         // if (valueRequired)
 434         // codeStream.lxor();
 435         // }
 436         // }
 437         // break;
 438         // case T_boolean :
 439         // generateOptimizedLogicalXor(
 440         // currentScope,
 441         // codeStream,
 442         // null,
 443         // (falseLabel = new Label(codeStream)),
 444         // valueRequired);
 445         // /* improving code gen for such a case: boolean b = i < 0 ^ bool;
 446         // * since the label has never been used, we have the inlined value on the
 447         // stack. */
 448         // if (falseLabel.hasForwardReferences()) {
 449         // if (valueRequired) {
 450         // codeStream.iconst_1();
 451         // if ((bits & ValueForReturnMASK) != 0) {
 452         // codeStream.ireturn();
 453         // falseLabel.place();
 454         // codeStream.iconst_0();
 455         // } else {
 456         // codeStream.goto_(endLabel = new Label(codeStream));
 457         // codeStream.decrStackSize(1);
 458         // falseLabel.place();
 459         // codeStream.iconst_0();
 460         // endLabel.place();
 461         // }
 462         // } else {
 463         // falseLabel.place();
 464         // }
 465         // }
 466         // }
 467         // break;
 468         // case LEFT_SHIFT :
 469         // switch (bits & ReturnTypeIDMASK) {
 470         // case T_int :
 471         // left.generateCode(currentScope, codeStream, valueRequired);
 472         // right.generateCode(currentScope, codeStream, valueRequired);
 473         // if (valueRequired)
 474         // codeStream.ishl();
 475         // break;
 476         // case T_long :
 477         // left.generateCode(currentScope, codeStream, valueRequired);
 478         // right.generateCode(currentScope, codeStream, valueRequired);
 479         // if (valueRequired)
 480         // codeStream.lshl();
 481         // }
 482         // break;
 483         // case RIGHT_SHIFT :
 484         // switch (bits & ReturnTypeIDMASK) {
 485         // case T_int :
 486         // left.generateCode(currentScope, codeStream, valueRequired);
 487         // right.generateCode(currentScope, codeStream, valueRequired);
 488         // if (valueRequired)
 489         // codeStream.ishr();
 490         // break;
 491         // case T_long :
 492         // left.generateCode(currentScope, codeStream, valueRequired);
 493         // right.generateCode(currentScope, codeStream, valueRequired);
 494         // if (valueRequired)
 495         // codeStream.lshr();
 496         // }
 497         // break;
 498         // case UNSIGNED_RIGHT_SHIFT :
 499         // switch (bits & ReturnTypeIDMASK) {
 500         // case T_int :
 501         // left.generateCode(currentScope, codeStream, valueRequired);
 502         // right.generateCode(currentScope, codeStream, valueRequired);
 503         // if (valueRequired)
 504         // codeStream.iushr();
 505         // break;
 506         // case T_long :
 507         // left.generateCode(currentScope, codeStream, valueRequired);
 508         // right.generateCode(currentScope, codeStream, valueRequired);
 509         // if (valueRequired)
 510         // codeStream.lushr();
 511         // }
 512         // break;
 513         // case GREATER :
 514         // generateOptimizedGreaterThan(
 515         // currentScope,
 516         // codeStream,
 517         // null,
 518         // (falseLabel = new Label(codeStream)),
 519         // valueRequired);
 520         // if (valueRequired) {
 521         // codeStream.iconst_1();
 522         // if ((bits & ValueForReturnMASK) != 0) {
 523         // codeStream.ireturn();
 524         // falseLabel.place();
 525         // codeStream.iconst_0();
 526         // } else {
 527         // codeStream.goto_(endLabel = new Label(codeStream));
 528         // codeStream.decrStackSize(1);
 529         // falseLabel.place();
 530         // codeStream.iconst_0();
 531         // endLabel.place();
 532         // }
 533         // }
 534         // break;
 535         // case GREATER_EQUAL :
 536         // generateOptimizedGreaterThanOrEqual(
 537         // currentScope,
 538         // codeStream,
 539         // null,
 540         // (falseLabel = new Label(codeStream)),
 541         // valueRequired);
 542         // if (valueRequired) {
 543         // codeStream.iconst_1();
 544         // if ((bits & ValueForReturnMASK) != 0) {
 545         // codeStream.ireturn();
 546         // falseLabel.place();
 547         // codeStream.iconst_0();
 548         // } else {
 549         // codeStream.goto_(endLabel = new Label(codeStream));
 550         // codeStream.decrStackSize(1);
 551         // falseLabel.place();
 552         // codeStream.iconst_0();
 553         // endLabel.place();
 554         // }
 555         // }
 556         // break;
 557         // case LESS :
 558         // generateOptimizedLessThan(
 559         // currentScope,
 560         // codeStream,
 561         // null,
 562         // (falseLabel = new Label(codeStream)),
 563         // valueRequired);
 564         // if (valueRequired) {
 565         // codeStream.iconst_1();
 566         // if ((bits & ValueForReturnMASK) != 0) {
 567         // codeStream.ireturn();
 568         // falseLabel.place();
 569         // codeStream.iconst_0();
 570         // } else {
 571         // codeStream.goto_(endLabel = new Label(codeStream));
 572         // codeStream.decrStackSize(1);
 573         // falseLabel.place();
 574         // codeStream.iconst_0();
 575         // endLabel.place();
 576         // }
 577         // }
 578         // break;
 579         // case LESS_EQUAL :
 580         // generateOptimizedLessThanOrEqual(
 581         // currentScope,
 582         // codeStream,
 583         // null,
 584         // (falseLabel = new Label(codeStream)),
 585         // valueRequired);
 586         // if (valueRequired) {
 587         // codeStream.iconst_1();
 588         // if ((bits & ValueForReturnMASK) != 0) {
 589         // codeStream.ireturn();
 590         // falseLabel.place();
 591         // codeStream.iconst_0();
 592         // } else {
 593         // codeStream.goto_(endLabel = new Label(codeStream));
 594         // codeStream.decrStackSize(1);
 595         // falseLabel.place();
 596         // codeStream.iconst_0();
 597         // endLabel.place();
 598         // }
 599         // }
 600         // }
 601         // if (valueRequired) {
 602         // codeStream.generateImplicitConversion(implicitConversion);
 603         // }
 604         // codeStream.recordPositionsFrom(pc, this.sourceStart);
 605         // }
 606         /**
 607          * Boolean operator code generation Optimized operations are: <, <=, >, >=, &, |, ^
 608          */
 609         // public void generateOptimizedBoolean(
 610         // BlockScope currentScope,
 611         // CodeStream codeStream,
 612         // Label trueLabel,
 613         // Label falseLabel,
 614         // boolean valueRequired) {
 615         //
 616         // if ((constant != Constant.NotAConstant) && (constant.typeID() ==
 617         // T_boolean)) {
 618         // super.generateOptimizedBoolean(
 619         // currentScope,
 620         // codeStream,
 621         // trueLabel,
 622         // falseLabel,
 623         // valueRequired);
 624         // return;
 625         // }
 626         // switch ((bits & OperatorMASK) >> OperatorSHIFT) {
 627         // case LESS :
 628         // generateOptimizedLessThan(
 629         // currentScope,
 630         // codeStream,
 631         // trueLabel,
 632         // falseLabel,
 633         // valueRequired);
 634         // return;
 635         // case LESS_EQUAL :
 636         // generateOptimizedLessThanOrEqual(
 637         // currentScope,
 638         // codeStream,
 639         // trueLabel,
 640         // falseLabel,
 641         // valueRequired);
 642         // return;
 643         // case GREATER :
 644         // generateOptimizedGreaterThan(
 645         // currentScope,
 646         // codeStream,
 647         // trueLabel,
 648         // falseLabel,
 649         // valueRequired);
 650         // return;
 651         // case GREATER_EQUAL :
 652         // generateOptimizedGreaterThanOrEqual(
 653         // currentScope,
 654         // codeStream,
 655         // trueLabel,
 656         // falseLabel,
 657         // valueRequired);
 658         // return;
 659         // case AND :
 660         // generateOptimizedLogicalAnd(
 661         // currentScope,
 662         // codeStream,
 663         // trueLabel,
 664         // falseLabel,
 665         // valueRequired);
 666         // return;
 667         // case OR :
 668         // generateOptimizedLogicalOr(
 669         // currentScope,
 670         // codeStream,
 671         // trueLabel,
 672         // falseLabel,
 673         // valueRequired);
 674         // return;
 675         // case XOR :
 676         // generateOptimizedLogicalXor(
 677         // currentScope,
 678         // codeStream,
 679         // trueLabel,
 680         // falseLabel,
 681         // valueRequired);
 682         // return;
 683         // }
 684         // super.generateOptimizedBoolean(
 685         // currentScope,
 686         // codeStream,
 687         // trueLabel,
 688         // falseLabel,
 689         // valueRequired);
 690         // }
 691         //
 692         // /**
 693         // * Boolean generation for >
 694         // */
 695         // public void generateOptimizedGreaterThan(
 696         // BlockScope currentScope,
 697         // CodeStream codeStream,
 698         // Label trueLabel,
 699         // Label falseLabel,
 700         // boolean valueRequired) {
 701         //
 702         // int promotedTypeID = left.implicitConversion >> 4;
 703         // // both sides got promoted in the same way
 704         // if (promotedTypeID == T_int) {
 705         // // 0 > x
 706         // if ((left.constant != NotAConstant) && (left.constant.intValue() == 0)) {
 707         // right.generateCode(currentScope, codeStream, valueRequired);
 708         // if (valueRequired) {
 709         // if (falseLabel == null) {
 710         // if (trueLabel != null) {
 711         // // implicitly falling through the FALSE case
 712         // codeStream.iflt(trueLabel);
 713         // }
 714         // } else {
 715         // if (trueLabel == null) {
 716         // // implicitly falling through the TRUE case
 717         // codeStream.ifge(falseLabel);
 718         // } else {
 719         // // no implicit fall through TRUE/FALSE --> should never occur
 720         // }
 721         // }
 722         // }
 723         // // reposition the endPC
 724         // codeStream.updateLastRecordedEndPC(codeStream.position);
 725         // return;
 726         // }
 727         // // x > 0
 728         // if ((right.constant != NotAConstant) && (right.constant.intValue() == 0))
 729         // {
 730         // left.generateCode(currentScope, codeStream, valueRequired);
 731         // if (valueRequired) {
 732         // if (falseLabel == null) {
 733         // if (trueLabel != null) {
 734         // // implicitly falling through the FALSE case
 735         // codeStream.ifgt(trueLabel);
 736         // }
 737         // } else {
 738         // if (trueLabel == null) {
 739         // // implicitly falling through the TRUE case
 740         // codeStream.ifle(falseLabel);
 741         // } else {
 742         // // no implicit fall through TRUE/FALSE --> should never occur
 743         // }
 744         // }
 745         // }
 746         // // reposition the endPC
 747         // codeStream.updateLastRecordedEndPC(codeStream.position);
 748         // return;
 749         // }
 750         // }
 751         // // default comparison
 752         // left.generateCode(currentScope, codeStream, valueRequired);
 753         // right.generateCode(currentScope, codeStream, valueRequired);
 754         // if (valueRequired) {
 755         // if (falseLabel == null) {
 756         // if (trueLabel != null) {
 757         // // implicit falling through the FALSE case
 758         // switch (promotedTypeID) {
 759         // case T_int :
 760         // codeStream.if_icmpgt(trueLabel);
 761         // break;
 762         // case T_float :
 763         // codeStream.fcmpl();
 764         // codeStream.ifgt(trueLabel);
 765         // break;
 766         // case T_long :
 767         // codeStream.lcmp();
 768         // codeStream.ifgt(trueLabel);
 769         // break;
 770         // case T_double :
 771         // codeStream.dcmpl();
 772         // codeStream.ifgt(trueLabel);
 773         // }
 774         // // reposition the endPC
 775         // codeStream.updateLastRecordedEndPC(codeStream.position);
 776         // return;
 777         // }
 778         // } else {
 779         // if (trueLabel == null) {
 780         // // implicit falling through the TRUE case
 781         // switch (promotedTypeID) {
 782         // case T_int :
 783         // codeStream.if_icmple(falseLabel);
 784         // break;
 785         // case T_float :
 786         // codeStream.fcmpl();
 787         // codeStream.ifle(falseLabel);
 788         // break;
 789         // case T_long :
 790         // codeStream.lcmp();
 791         // codeStream.ifle(falseLabel);
 792         // break;
 793         // case T_double :
 794         // codeStream.dcmpl();
 795         // codeStream.ifle(falseLabel);
 796         // }
 797         // // reposition the endPC
 798         // codeStream.updateLastRecordedEndPC(codeStream.position);
 799         // return;
 800         // } else {
 801         // // no implicit fall through TRUE/FALSE --> should never occur
 802         // }
 803         // }
 804         // }
 805         // }
 806         /**
 807          * Boolean generation for >=
 808          */
 809         // public void generateOptimizedGreaterThanOrEqual(
 810         // BlockScope currentScope,
 811         // CodeStream codeStream,
 812         // Label trueLabel,
 813         // Label falseLabel,
 814         // boolean valueRequired) {
 815         //
 816         // int promotedTypeID = left.implicitConversion >> 4;
 817         // // both sides got promoted in the same way
 818         // if (promotedTypeID == T_int) {
 819         // // 0 >= x
 820         // if ((left.constant != NotAConstant) && (left.constant.intValue() == 0)) {
 821         // right.generateCode(currentScope, codeStream, valueRequired);
 822         // if (valueRequired) {
 823         // if (falseLabel == null) {
 824         // if (trueLabel != null) {
 825         // // implicitly falling through the FALSE case
 826         // codeStream.ifle(trueLabel);
 827         // }
 828         // } else {
 829         // if (trueLabel == null) {
 830         // // implicitly falling through the TRUE case
 831         // codeStream.ifgt(falseLabel);
 832         // } else {
 833         // // no implicit fall through TRUE/FALSE --> should never occur
 834         // }
 835         // }
 836         // }
 837         // // reposition the endPC
 838         // codeStream.updateLastRecordedEndPC(codeStream.position);
 839         // return;
 840         // }
 841         // // x >= 0
 842         // if ((right.constant != NotAConstant) && (right.constant.intValue() == 0))
 843         // {
 844         // left.generateCode(currentScope, codeStream, valueRequired);
 845         // if (valueRequired) {
 846         // if (falseLabel == null) {
 847         // if (trueLabel != null) {
 848         // // implicitly falling through the FALSE case
 849         // codeStream.ifge(trueLabel);
 850         // }
 851         // } else {
 852         // if (trueLabel == null) {
 853         // // implicitly falling through the TRUE case
 854         // codeStream.iflt(falseLabel);
 855         // } else {
 856         // // no implicit fall through TRUE/FALSE --> should never occur
 857         // }
 858         // }
 859         // }
 860         // // reposition the endPC
 861         // codeStream.updateLastRecordedEndPC(codeStream.position);
 862         // return;
 863         // }
 864         // }
 865         // // default comparison
 866         // left.generateCode(currentScope, codeStream, valueRequired);
 867         // right.generateCode(currentScope, codeStream, valueRequired);
 868         // if (valueRequired) {
 869         // if (falseLabel == null) {
 870         // if (trueLabel != null) {
 871         // // implicit falling through the FALSE case
 872         // switch (promotedTypeID) {
 873         // case T_int :
 874         // codeStream.if_icmpge(trueLabel);
 875         // break;
 876         // case T_float :
 877         // codeStream.fcmpl();
 878         // codeStream.ifge(trueLabel);
 879         // break;
 880         // case T_long :
 881         // codeStream.lcmp();
 882         // codeStream.ifge(trueLabel);
 883         // break;
 884         // case T_double :
 885         // codeStream.dcmpl();
 886         // codeStream.ifge(trueLabel);
 887         // }
 888         // // reposition the endPC
 889         // codeStream.updateLastRecordedEndPC(codeStream.position);
 890         // return;
 891         // }
 892         // } else {
 893         // if (trueLabel == null) {
 894         // // implicit falling through the TRUE case
 895         // switch (promotedTypeID) {
 896         // case T_int :
 897         // codeStream.if_icmplt(falseLabel);
 898         // break;
 899         // case T_float :
 900         // codeStream.fcmpl();
 901         // codeStream.iflt(falseLabel);
 902         // break;
 903         // case T_long :
 904         // codeStream.lcmp();
 905         // codeStream.iflt(falseLabel);
 906         // break;
 907         // case T_double :
 908         // codeStream.dcmpl();
 909         // codeStream.iflt(falseLabel);
 910         // }
 911         // // reposition the endPC
 912         // codeStream.updateLastRecordedEndPC(codeStream.position);
 913         // return;
 914         // } else {
 915         // // no implicit fall through TRUE/FALSE --> should never occur
 916         // }
 917         // }
 918         // }
 919         // }
 920         //
 921         // /**
 922         // * Boolean generation for <
 923         // */
 924         // public void generateOptimizedLessThan(
 925         // BlockScope currentScope,
 926         // CodeStream codeStream,
 927         // Label trueLabel,
 928         // Label falseLabel,
 929         // boolean valueRequired) {
 930         //
 931         // int promotedTypeID = left.implicitConversion >> 4;
 932         // // both sides got promoted in the same way
 933         // if (promotedTypeID == T_int) {
 934         // // 0 < x
 935         // if ((left.constant != NotAConstant) && (left.constant.intValue() == 0)) {
 936         // right.generateCode(currentScope, codeStream, valueRequired);
 937         // if (valueRequired) {
 938         // if (falseLabel == null) {
 939         // if (trueLabel != null) {
 940         // // implicitly falling through the FALSE case
 941         // codeStream.ifgt(trueLabel);
 942         // }
 943         // } else {
 944         // if (trueLabel == null) {
 945         // // implicitly falling through the TRUE case
 946         // codeStream.ifle(falseLabel);
 947         // } else {
 948         // // no implicit fall through TRUE/FALSE --> should never occur
 949         // }
 950         // }
 951         // }
 952         // codeStream.updateLastRecordedEndPC(codeStream.position);
 953         // return;
 954         // }
 955         // // x < 0
 956         // if ((right.constant != NotAConstant) && (right.constant.intValue() == 0))
 957         // {
 958         // left.generateCode(currentScope, codeStream, valueRequired);
 959         // if (valueRequired) {
 960         // if (falseLabel == null) {
 961         // if (trueLabel != null) {
 962         // // implicitly falling through the FALSE case
 963         // codeStream.iflt(trueLabel);
 964         // }
 965         // } else {
 966         // if (trueLabel == null) {
 967         // // implicitly falling through the TRUE case
 968         // codeStream.ifge(falseLabel);
 969         // } else {
 970         // // no implicit fall through TRUE/FALSE --> should never occur
 971         // }
 972         // }
 973         // }
 974         // codeStream.updateLastRecordedEndPC(codeStream.position);
 975         // return;
 976         // }
 977         // }
 978         // // default comparison
 979         // left.generateCode(currentScope, codeStream, valueRequired);
 980         // right.generateCode(currentScope, codeStream, valueRequired);
 981         // if (valueRequired) {
 982         // if (falseLabel == null) {
 983         // if (trueLabel != null) {
 984         // // implicit falling through the FALSE case
 985         // switch (promotedTypeID) {
 986         // case T_int :
 987         // codeStream.if_icmplt(trueLabel);
 988         // break;
 989         // case T_float :
 990         // codeStream.fcmpg();
 991         // codeStream.iflt(trueLabel);
 992         // break;
 993         // case T_long :
 994         // codeStream.lcmp();
 995         // codeStream.iflt(trueLabel);
 996         // break;
 997         // case T_double :
 998         // codeStream.dcmpg();
 999         // codeStream.iflt(trueLabel);
1000         // }
1001         // codeStream.updateLastRecordedEndPC(codeStream.position);
1002         // return;
1003         // }
1004         // } else {
1005         // if (trueLabel == null) {
1006         // // implicit falling through the TRUE case
1007         // switch (promotedTypeID) {
1008         // case T_int :
1009         // codeStream.if_icmpge(falseLabel);
1010         // break;
1011         // case T_float :
1012         // codeStream.fcmpg();
1013         // codeStream.ifge(falseLabel);
1014         // break;
1015         // case T_long :
1016         // codeStream.lcmp();
1017         // codeStream.ifge(falseLabel);
1018         // break;
1019         // case T_double :
1020         // codeStream.dcmpg();
1021         // codeStream.ifge(falseLabel);
1022         // }
1023         // codeStream.updateLastRecordedEndPC(codeStream.position);
1024         // return;
1025         // } else {
1026         // // no implicit fall through TRUE/FALSE --> should never occur
1027         // }
1028         // }
1029         // }
1030         // }
1031         //
1032         // /**
1033         // * Boolean generation for <=
1034         // */
1035         // public void generateOptimizedLessThanOrEqual(
1036         // BlockScope currentScope,
1037         // CodeStream codeStream,
1038         // Label trueLabel,
1039         // Label falseLabel,
1040         // boolean valueRequired) {
1041         //
1042         // int promotedTypeID = left.implicitConversion >> 4;
1043         // // both sides got promoted in the same way
1044         // if (promotedTypeID == T_int) {
1045         // // 0 <= x
1046         // if ((left.constant != NotAConstant) && (left.constant.intValue() == 0)) {
1047         // right.generateCode(currentScope, codeStream, valueRequired);
1048         // if (valueRequired) {
1049         // if (falseLabel == null) {
1050         // if (trueLabel != null) {
1051         // // implicitly falling through the FALSE case
1052         // codeStream.ifge(trueLabel);
1053         // }
1054         // } else {
1055         // if (trueLabel == null) {
1056         // // implicitly falling through the TRUE case
1057         // codeStream.iflt(falseLabel);
1058         // } else {
1059         // // no implicit fall through TRUE/FALSE --> should never occur
1060         // }
1061         // }
1062         // }
1063         // // reposition the endPC
1064         // codeStream.updateLastRecordedEndPC(codeStream.position);
1065         // return;
1066         // }
1067         // // x <= 0
1068         // if ((right.constant != NotAConstant) && (right.constant.intValue() == 0))
1069         // {
1070         // left.generateCode(currentScope, codeStream, valueRequired);
1071         // if (valueRequired) {
1072         // if (falseLabel == null) {
1073         // if (trueLabel != null) {
1074         // // implicitly falling through the FALSE case
1075         // codeStream.ifle(trueLabel);
1076         // }
1077         // } else {
1078         // if (trueLabel == null) {
1079         // // implicitly falling through the TRUE case
1080         // codeStream.ifgt(falseLabel);
1081         // } else {
1082         // // no implicit fall through TRUE/FALSE --> should never occur
1083         // }
1084         // }
1085         // }
1086         // // reposition the endPC
1087         // codeStream.updateLastRecordedEndPC(codeStream.position);
1088         // return;
1089         // }
1090         // }
1091         // // default comparison
1092         // left.generateCode(currentScope, codeStream, valueRequired);
1093         // right.generateCode(currentScope, codeStream, valueRequired);
1094         // if (valueRequired) {
1095         // if (falseLabel == null) {
1096         // if (trueLabel != null) {
1097         // // implicit falling through the FALSE case
1098         // switch (promotedTypeID) {
1099         // case T_int :
1100         // codeStream.if_icmple(trueLabel);
1101         // break;
1102         // case T_float :
1103         // codeStream.fcmpg();
1104         // codeStream.ifle(trueLabel);
1105         // break;
1106         // case T_long :
1107         // codeStream.lcmp();
1108         // codeStream.ifle(trueLabel);
1109         // break;
1110         // case T_double :
1111         // codeStream.dcmpg();
1112         // codeStream.ifle(trueLabel);
1113         // }
1114         // // reposition the endPC
1115         // codeStream.updateLastRecordedEndPC(codeStream.position);
1116         // return;
1117         // }
1118         // } else {
1119         // if (trueLabel == null) {
1120         // // implicit falling through the TRUE case
1121         // switch (promotedTypeID) {
1122         // case T_int :
1123         // codeStream.if_icmpgt(falseLabel);
1124         // break;
1125         // case T_float :
1126         // codeStream.fcmpg();
1127         // codeStream.ifgt(falseLabel);
1128         // break;
1129         // case T_long :
1130         // codeStream.lcmp();
1131         // codeStream.ifgt(falseLabel);
1132         // break;
1133         // case T_double :
1134         // codeStream.dcmpg();
1135         // codeStream.ifgt(falseLabel);
1136         // }
1137         // // reposition the endPC
1138         // codeStream.updateLastRecordedEndPC(codeStream.position);
1139         // return;
1140         // } else {
1141         // // no implicit fall through TRUE/FALSE --> should never occur
1142         // }
1143         // }
1144         // }
1145         // }
1146         //
1147         // /**
1148         // * Boolean generation for &
1149         // */
1150         // public void generateOptimizedLogicalAnd(
1151         // BlockScope currentScope,
1152         // CodeStream codeStream,
1153         // Label trueLabel,
1154         // Label falseLabel,
1155         // boolean valueRequired) {
1156         //
1157         // Constant condConst;
1158         // if ((left.implicitConversion & 0xF) == T_boolean) {
1159         // if ((condConst = left.optimizedBooleanConstant()) != NotAConstant) {
1160         // if (condConst.booleanValue() == true) {
1161         // // <something equivalent to true> & x
1162         // left.generateOptimizedBoolean(
1163         // currentScope,
1164         // codeStream,
1165         // trueLabel,
1166         // falseLabel,
1167         // false);
1168         // if ((bits & OnlyValueRequiredMASK) != 0) {
1169         // right.generateCode(currentScope, codeStream, valueRequired);
1170         // } else {
1171         // right.generateOptimizedBoolean(
1172         // currentScope,
1173         // codeStream,
1174         // trueLabel,
1175         // falseLabel,
1176         // valueRequired);
1177         // }
1178         // } else {
1179         // // <something equivalent to false> & x
1180         // left.generateOptimizedBoolean(
1181         // currentScope,
1182         // codeStream,
1183         // trueLabel,
1184         // falseLabel,
1185         // false);
1186         // right.generateOptimizedBoolean(
1187         // currentScope,
1188         // codeStream,
1189         // trueLabel,
1190         // falseLabel,
1191         // false);
1192         // if (valueRequired) {
1193         // if ((bits & OnlyValueRequiredMASK) != 0) {
1194         // codeStream.iconst_0();
1195         // } else {
1196         // if (falseLabel != null) {
1197         // // implicit falling through the TRUE case
1198         // codeStream.goto_(falseLabel);
1199         // }
1200         // }
1201         // }
1202         // // reposition the endPC
1203         // codeStream.updateLastRecordedEndPC(codeStream.position);
1204         // }
1205         // return;
1206         // }
1207         // if ((condConst = right.optimizedBooleanConstant()) != NotAConstant) {
1208         // if (condConst.booleanValue() == true) {
1209         // // x & <something equivalent to true>
1210         // if ((bits & OnlyValueRequiredMASK) != 0) {
1211         // left.generateCode(currentScope, codeStream, valueRequired);
1212         // } else {
1213         // left.generateOptimizedBoolean(
1214         // currentScope,
1215         // codeStream,
1216         // trueLabel,
1217         // falseLabel,
1218         // valueRequired);
1219         // }
1220         // right.generateOptimizedBoolean(
1221         // currentScope,
1222         // codeStream,
1223         // trueLabel,
1224         // falseLabel,
1225         // false);
1226         // } else {
1227         // // x & <something equivalent to false>
1228         // left.generateOptimizedBoolean(
1229         // currentScope,
1230         // codeStream,
1231         // trueLabel,
1232         // falseLabel,
1233         // false);
1234         // right.generateOptimizedBoolean(
1235         // currentScope,
1236         // codeStream,
1237         // trueLabel,
1238         // falseLabel,
1239         // false);
1240         // if (valueRequired) {
1241         // if ((bits & OnlyValueRequiredMASK) != 0) {
1242         // codeStream.iconst_0();
1243         // } else {
1244         // if (falseLabel != null) {
1245         // // implicit falling through the TRUE case
1246         // codeStream.goto_(falseLabel);
1247         // }
1248         // }
1249         // }
1250         // // reposition the endPC
1251         // codeStream.updateLastRecordedEndPC(codeStream.position);
1252         // }
1253         // return;
1254         // }
1255         // }
1256         // // default case
1257         // left.generateCode(currentScope, codeStream, valueRequired);
1258         // right.generateCode(currentScope, codeStream, valueRequired);
1259         // if (valueRequired) {
1260         // codeStream.iand();
1261         // if ((bits & OnlyValueRequiredMASK) == 0) {
1262         // if (falseLabel == null) {
1263         // if (trueLabel != null) {
1264         // // implicit falling through the FALSE case
1265         // codeStream.ifne(trueLabel);
1266         // }
1267         // } else {
1268         // // implicit falling through the TRUE case
1269         // if (trueLabel == null) {
1270         // codeStream.ifeq(falseLabel);
1271         // } else {
1272         // // no implicit fall through TRUE/FALSE --> should never occur
1273         // }
1274         // }
1275         // }
1276         // }
1277         // // reposition the endPC
1278         // codeStream.updateLastRecordedEndPC(codeStream.position);
1279         // }
1280         //
1281         // /**
1282         // * Boolean generation for |
1283         // */
1284         // public void generateOptimizedLogicalOr(
1285         // BlockScope currentScope,
1286         // CodeStream codeStream,
1287         // Label trueLabel,
1288         // Label falseLabel,
1289         // boolean valueRequired) {
1290         //
1291         // Constant condConst;
1292         // if ((left.implicitConversion & 0xF) == T_boolean) {
1293         // if ((condConst = left.optimizedBooleanConstant()) != NotAConstant) {
1294         // if (condConst.booleanValue() == true) {
1295         // // <something equivalent to true> | x
1296         // left.generateOptimizedBoolean(
1297         // currentScope,
1298         // codeStream,
1299         // trueLabel,
1300         // falseLabel,
1301         // false);
1302         // right.generateOptimizedBoolean(
1303         // currentScope,
1304         // codeStream,
1305         // trueLabel,
1306         // falseLabel,
1307         // false);
1308         // if (valueRequired) {
1309         // if ((bits & OnlyValueRequiredMASK) != 0) {
1310         // codeStream.iconst_1();
1311         // } else {
1312         // if (trueLabel != null) {
1313         // codeStream.goto_(trueLabel);
1314         // }
1315         // }
1316         // }
1317         // // reposition the endPC
1318         // codeStream.updateLastRecordedEndPC(codeStream.position);
1319         // } else {
1320         // // <something equivalent to false> | x
1321         // left.generateOptimizedBoolean(
1322         // currentScope,
1323         // codeStream,
1324         // trueLabel,
1325         // falseLabel,
1326         // false);
1327         // if ((bits & OnlyValueRequiredMASK) != 0) {
1328         // right.generateCode(currentScope, codeStream, valueRequired);
1329         // } else {
1330         // right.generateOptimizedBoolean(
1331         // currentScope,
1332         // codeStream,
1333         // trueLabel,
1334         // falseLabel,
1335         // valueRequired);
1336         // }
1337         // }
1338         // return;
1339         // }
1340         // if ((condConst = right.optimizedBooleanConstant()) != NotAConstant) {
1341         // if (condConst.booleanValue() == true) {
1342         // // x | <something equivalent to true>
1343         // left.generateOptimizedBoolean(
1344         // currentScope,
1345         // codeStream,
1346         // trueLabel,
1347         // falseLabel,
1348         // false);
1349         // right.generateOptimizedBoolean(
1350         // currentScope,
1351         // codeStream,
1352         // trueLabel,
1353         // falseLabel,
1354         // false);
1355         // if (valueRequired) {
1356         // if ((bits & OnlyValueRequiredMASK) != 0) {
1357         // codeStream.iconst_1();
1358         // } else {
1359         // if (trueLabel != null) {
1360         // codeStream.goto_(trueLabel);
1361         // }
1362         // }
1363         // }
1364         // // reposition the endPC
1365         // codeStream.updateLastRecordedEndPC(codeStream.position);
1366         // } else {
1367         // // x | <something equivalent to false>
1368         // if ((bits & OnlyValueRequiredMASK) != 0) {
1369         // left.generateCode(currentScope, codeStream, valueRequired);
1370         // } else {
1371         // left.generateOptimizedBoolean(
1372         // currentScope,
1373         // codeStream,
1374         // trueLabel,
1375         // falseLabel,
1376         // valueRequired);
1377         // }
1378         // right.generateOptimizedBoolean(
1379         // currentScope,
1380         // codeStream,
1381         // trueLabel,
1382         // falseLabel,
1383         // false);
1384         // }
1385         // return;
1386         // }
1387         // }
1388         // // default case
1389         // left.generateCode(currentScope, codeStream, valueRequired);
1390         // right.generateCode(currentScope, codeStream, valueRequired);
1391         // if (valueRequired) {
1392         // codeStream.ior();
1393         // if ((bits & OnlyValueRequiredMASK) == 0) {
1394         // if (falseLabel == null) {
1395         // if (trueLabel != null) {
1396         // // implicit falling through the FALSE case
1397         // codeStream.ifne(trueLabel);
1398         // }
1399         // } else {
1400         // // implicit falling through the TRUE case
1401         // if (trueLabel == null) {
1402         // codeStream.ifeq(falseLabel);
1403         // } else {
1404         // // no implicit fall through TRUE/FALSE --> should never occur
1405         // }
1406         // }
1407         // }
1408         // }
1409         // // reposition the endPC
1410         // codeStream.updateLastRecordedEndPC(codeStream.position);
1411         // }
1412         //
1413         // /**
1414         // * Boolean generation for ^
1415         // */
1416         // public void generateOptimizedLogicalXor(
1417         // BlockScope currentScope,
1418         // CodeStream codeStream,
1419         // Label trueLabel,
1420         // Label falseLabel,
1421         // boolean valueRequired) {
1422         //
1423         // Constant condConst;
1424         // if ((left.implicitConversion & 0xF) == T_boolean) {
1425         // if ((condConst = left.optimizedBooleanConstant()) != NotAConstant) {
1426         // if (condConst.booleanValue() == true) {
1427         // // <something equivalent to true> ^ x
1428         // left.generateOptimizedBoolean(
1429         // currentScope,
1430         // codeStream,
1431         // trueLabel,
1432         // falseLabel,
1433         // false);
1434         // right.generateOptimizedBoolean(
1435         // currentScope,
1436         // codeStream,
1437         // falseLabel,
1438         // trueLabel,
1439         // valueRequired);
1440         // } else {
1441         // // <something equivalent to false> ^ x
1442         // left.generateOptimizedBoolean(
1443         // currentScope,
1444         // codeStream,
1445         // trueLabel,
1446         // falseLabel,
1447         // false);
1448         // if ((bits & OnlyValueRequiredMASK) != 0) {
1449         // right.generateCode(currentScope, codeStream, valueRequired);
1450         // } else {
1451         // right.generateOptimizedBoolean(
1452         // currentScope,
1453         // codeStream,
1454         // trueLabel,
1455         // falseLabel,
1456         // valueRequired);
1457         // }
1458         // }
1459         // return;
1460         // }
1461         // if ((condConst = right.optimizedBooleanConstant()) != NotAConstant) {
1462         // if (condConst.booleanValue() == true) {
1463         // // x ^ <something equivalent to true>
1464         // left.generateOptimizedBoolean(
1465         // currentScope,
1466         // codeStream,
1467         // falseLabel,
1468         // trueLabel,
1469         // valueRequired);
1470         // right.generateOptimizedBoolean(
1471         // currentScope,
1472         // codeStream,
1473         // trueLabel,
1474         // falseLabel,
1475         // false);
1476         // } else {
1477         // // x ^ <something equivalent to false>
1478         // if ((bits & OnlyValueRequiredMASK) != 0) {
1479         // left.generateCode(currentScope, codeStream, valueRequired);
1480         // } else {
1481         // left.generateOptimizedBoolean(
1482         // currentScope,
1483         // codeStream,
1484         // trueLabel,
1485         // falseLabel,
1486         // valueRequired);
1487         // }
1488         // right.generateOptimizedBoolean(
1489         // currentScope,
1490         // codeStream,
1491         // trueLabel,
1492         // falseLabel,
1493         // false);
1494         // }
1495         // return;
1496         // }
1497         // }
1498         // // default case
1499         // left.generateCode(currentScope, codeStream, valueRequired);
1500         // right.generateCode(currentScope, codeStream, valueRequired);
1501         // if (valueRequired) {
1502         // codeStream.ixor();
1503         // if ((bits & OnlyValueRequiredMASK) == 0) {
1504         // if (falseLabel == null) {
1505         // if (trueLabel != null) {
1506         // // implicit falling through the FALSE case
1507         // codeStream.ifne(trueLabel);
1508         // }
1509         // } else {
1510         // // implicit falling through the TRUE case
1511         // if (trueLabel == null) {
1512         // codeStream.ifeq(falseLabel);
1513         // } else {
1514         // // no implicit fall through TRUE/FALSE --> should never occur
1515         // }
1516         // }
1517         // }
1518         // }
1519         // // reposition the endPC
1520         // codeStream.updateLastRecordedEndPC(codeStream.position);
1521         // }
1522         //
1523         // public void generateOptimizedStringBuffer(
1524         // BlockScope blockScope,
1525         // CodeStream codeStream,
1526         // int typeID) {
1527         //
1528         // /* In the case trying to make a string concatenation, there is no need to
1529         // create a new
1530         // * string buffer, thus use a lower-level API for code generation involving
1531         // only the
1532         // * appending of arguments to the existing StringBuffer
1533         // */
1534         //
1535         // if ((((bits & OperatorMASK) >> OperatorSHIFT) == PLUS)
1536         // && ((bits & ReturnTypeIDMASK) == T_String)) {
1537         // if (constant != NotAConstant) {
1538         // codeStream.generateConstant(constant, implicitConversion);
1539         // codeStream.invokeStringBufferAppendForType(implicitConversion & 0xF);
1540         // } else {
1541         // int pc = codeStream.position;
1542         // left.generateOptimizedStringBuffer(
1543         // blockScope,
1544         // codeStream,
1545         // left.implicitConversion & 0xF);
1546         // codeStream.recordPositionsFrom(pc, left.sourceStart);
1547         // pc = codeStream.position;
1548         // right.generateOptimizedStringBuffer(
1549         // blockScope,
1550         // codeStream,
1551         // right.implicitConversion & 0xF);
1552         // codeStream.recordPositionsFrom(pc, right.sourceStart);
1553         // }
1554         // } else {
1555         // super.generateOptimizedStringBuffer(blockScope, codeStream, typeID);
1556         // }
1557         // }
1558         //
1559         // public void generateOptimizedStringBufferCreation(
1560         // BlockScope blockScope,
1561         // CodeStream codeStream,
1562         // int typeID) {
1563         //
1564         // /* In the case trying to make a string concatenation, there is no need to
1565         // create a new
1566         // * string buffer, thus use a lower-level API for code generation involving
1567         // only the
1568         // * appending of arguments to the existing StringBuffer
1569         // */
1570         //
1571         // if ((((bits & OperatorMASK) >> OperatorSHIFT) == PLUS)
1572         // && ((bits & ReturnTypeIDMASK) == T_String)) {
1573         // if (constant != NotAConstant) {
1574         // codeStream.newStringBuffer(); // new: java.lang.StringBuffer
1575         // codeStream.dup();
1576         // codeStream.ldc(constant.stringValue());
1577         // codeStream.invokeStringBufferStringConstructor();
1578         // // invokespecial: java.lang.StringBuffer.<init>(Ljava.lang.String;)V
1579         // } else {
1580         // int pc = codeStream.position;
1581         // left.generateOptimizedStringBufferCreation(
1582         // blockScope,
1583         // codeStream,
1584         // left.implicitConversion & 0xF);
1585         // codeStream.recordPositionsFrom(pc, left.sourceStart);
1586         // pc = codeStream.position;
1587         // right.generateOptimizedStringBuffer(
1588         // blockScope,
1589         // codeStream,
1590         // right.implicitConversion & 0xF);
1591         // codeStream.recordPositionsFrom(pc, right.sourceStart);
1592         // }
1593         // } else {
1594         // super.generateOptimizedStringBufferCreation(blockScope, codeStream,
1595         // typeID);
1596         // }
1597         // }
1598         //
1599         // public boolean isCompactableOperation() {
1600         //
1601         // return true;
1602         // }
1603         //
1604         // public void optimizedBooleanConstant(int leftId, int operator, int
1605         // rightId) {
1606         //
1607         // switch (operator) {
1608         // case AND :
1609         // if ((leftId != T_boolean) || (rightId != T_boolean))
1610         // return;
1611         // case AND_AND :
1612         // Constant cst;
1613         // if ((cst = left.optimizedBooleanConstant()) != NotAConstant) {
1614         // if (cst.booleanValue() == false) { // left is equivalent to false
1615         // optimizedBooleanConstant = cst; // constant(false)
1616         // return;
1617         // } else { //left is equivalent to true
1618         // if ((cst = right.optimizedBooleanConstant()) != NotAConstant) {
1619         // optimizedBooleanConstant = cst;
1620         // // the conditional result is equivalent to the right conditional value
1621         // }
1622         // return;
1623         // }
1624         // }
1625         // if ((cst = right.optimizedBooleanConstant()) != NotAConstant) {
1626         // if (cst.booleanValue() == false) { // right is equivalent to false
1627         // optimizedBooleanConstant = cst; // constant(false)
1628         // }
1629         // }
1630         // return;
1631         // case OR :
1632         // if ((leftId != T_boolean) || (rightId != T_boolean))
1633         // return;
1634         // case OR_OR :
1635         // if ((cst = left.optimizedBooleanConstant()) != NotAConstant) {
1636         // if (cst.booleanValue() == true) { // left is equivalent to true
1637         // optimizedBooleanConstant = cst; // constant(true)
1638         // return;
1639         // } else { //left is equivalent to false
1640         // if ((cst = right.optimizedBooleanConstant()) != NotAConstant) {
1641         // optimizedBooleanConstant = cst;
1642         // }
1643         // return;
1644         // }
1645         // }
1646         // if ((cst = right.optimizedBooleanConstant()) != NotAConstant) {
1647         // if (cst.booleanValue() == true) { // right is equivalent to true
1648         // optimizedBooleanConstant = cst; // constant(true)
1649         // }
1650         // }
1651         // }
1652         // }
1653         public StringBuffer printExpressionNoParenthesis(int indent,
1654                         StringBuffer output) {
1655
1656                 left.printExpression(indent, output).append(' ').append(
1657                                 operatorToString()).append(' ');
1658                 return right.printExpression(0, output);
1659         }
1660
1661         public TypeBinding resolveType(BlockScope scope) {
1662
1663                 // use the id of the type to navigate into the table
1664                 TypeBinding leftTb = left.resolveType(scope);
1665                 TypeBinding rightTb = right.resolveType(scope);
1666                 if (leftTb == null || rightTb == null) {
1667                         constant = Constant.NotAConstant;
1668                         return null;
1669                 }
1670                 int leftId = leftTb.id;
1671                 int rightId = rightTb.id;
1672                 if (leftId > 15 || rightId > 15) { // must convert String + Object ||
1673                                                                                         // Object + String
1674                         if (leftId == T_String) {
1675                                 rightId = T_Object;
1676                         } else if (rightId == T_String) {
1677                                 leftId = T_Object;
1678                         } else {
1679                                 constant = Constant.NotAConstant;
1680                                 scope.problemReporter().invalidOperator(this, leftTb, rightTb);
1681                                 return null;
1682                         }
1683                 }
1684                 if (((bits & OperatorMASK) >> OperatorSHIFT) == PLUS) {
1685                         if (leftId == T_String
1686                                         && rightTb.isArrayType()
1687                                         && ((ArrayBinding) rightTb).elementsType(scope) == CharBinding)
1688                                 scope
1689                                                 .problemReporter()
1690                                                 .signalNoImplicitStringConversionForCharArrayExpression(
1691                                                                 right);
1692                         else if (rightId == T_String
1693                                         && leftTb.isArrayType()
1694                                         && ((ArrayBinding) leftTb).elementsType(scope) == CharBinding)
1695                                 scope
1696                                                 .problemReporter()
1697                                                 .signalNoImplicitStringConversionForCharArrayExpression(
1698                                                                 left);
1699                 }
1700
1701                 // the code is an int
1702                 // (cast) left Op (cast) rigth --> result
1703                 // 0000 0000 0000 0000 0000
1704                 // <<16 <<12 <<8 <<4 <<0
1705
1706                 // Don't test for result = 0. If it is zero, some more work is done.
1707                 // On the one hand when it is not zero (correct code) we avoid doing the
1708                 // test
1709                 int result = ResolveTypeTables[(bits & OperatorMASK) >> OperatorSHIFT][(leftId << 4)
1710                                 + rightId];
1711                 left.implicitConversion = result >>> 12;
1712                 right.implicitConversion = (result >>> 4) & 0x000FF;
1713
1714                 bits |= result & 0xF;
1715                 switch (result & 0xF) { // record the current ReturnTypeID
1716                 // only switch on possible result type.....
1717                 case T_boolean:
1718                         this.resolvedType = BooleanBinding;
1719                         break;
1720                 case T_byte:
1721                         this.resolvedType = ByteBinding;
1722                         break;
1723                 case T_char:
1724                         this.resolvedType = CharBinding;
1725                         break;
1726                 case T_double:
1727                         this.resolvedType = DoubleBinding;
1728                         break;
1729                 case T_float:
1730                         this.resolvedType = FloatBinding;
1731                         break;
1732                 case T_int:
1733                         this.resolvedType = IntBinding;
1734                         break;
1735                 case T_long:
1736                         this.resolvedType = LongBinding;
1737                         break;
1738                 case T_String:
1739                         this.resolvedType = scope.getJavaLangString();
1740                         break;
1741                 default: // error........
1742                         constant = Constant.NotAConstant;
1743                         scope.problemReporter().invalidOperator(this, leftTb, rightTb);
1744                         return null;
1745                 }
1746
1747                 // compute the constant when valid
1748                 computeConstant(scope, leftId, rightId);
1749                 return this.resolvedType;
1750         }
1751
1752         public String toStringExpressionNoParenthesis() {
1753
1754                 return left.toStringExpression() + " " + //$NON-NLS-1$
1755                                 operatorToString() + " " + //$NON-NLS-1$
1756                                 right.toStringExpression();
1757         }
1758
1759         public void traverse(ASTVisitor visitor, BlockScope scope) {
1760
1761                 if (visitor.visit(this, scope)) {
1762                         left.traverse(visitor, scope);
1763                         right.traverse(visitor, scope);
1764                 }
1765                 visitor.endVisit(this, scope);
1766         }
1767 }