6663848: assert(i < Max(),"oob") in C2 with -Xcomp
Summary: NeverBranchNodes aren't handled properly
Reviewed-by: kvn, sgoldman, rasbold, jrose
--- a/hotspot/src/share/vm/opto/cfgnode.cpp Wed Apr 23 19:09:16 2008 -0700
+++ b/hotspot/src/share/vm/opto/cfgnode.cpp Thu Apr 24 11:13:03 2008 -0700
@@ -2019,6 +2019,28 @@
}
//=============================================================================
+//------------------------------Value------------------------------------------
+// Check for being unreachable.
+const Type *NeverBranchNode::Value( PhaseTransform *phase ) const {
+ if (!in(0) || in(0)->is_top()) return Type::TOP;
+ return bottom_type();
+}
+
+//------------------------------Ideal------------------------------------------
+// Check for no longer being part of a loop
+Node *NeverBranchNode::Ideal(PhaseGVN *phase, bool can_reshape) {
+ if (can_reshape && !in(0)->is_Loop()) {
+ // Dead code elimination can sometimes delete this projection so
+ // if it's not there, there's nothing to do.
+ Node* fallthru = proj_out(0);
+ if (fallthru != NULL) {
+ phase->is_IterGVN()->subsume_node(fallthru, in(0));
+ }
+ return phase->C->top();
+ }
+ return NULL;
+}
+
#ifndef PRODUCT
void NeverBranchNode::format( PhaseRegAlloc *ra_, outputStream *st) const {
st->print("%s", Name());
--- a/hotspot/src/share/vm/opto/cfgnode.hpp Wed Apr 23 19:09:16 2008 -0700
+++ b/hotspot/src/share/vm/opto/cfgnode.hpp Thu Apr 24 11:13:03 2008 -0700
@@ -244,6 +244,8 @@
MultiBranchNode( uint required ) : MultiNode(required) {
init_class_id(Class_MultiBranch);
}
+ // returns required number of users to be well formed.
+ virtual int required_outcnt() const = 0;
};
//------------------------------IfNode-----------------------------------------
@@ -333,6 +335,7 @@
virtual const Type *bottom_type() const { return TypeTuple::IFBOTH; }
virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
virtual const Type *Value( PhaseTransform *phase ) const;
+ virtual int required_outcnt() const { return 2; }
virtual const RegMask &out_RegMask() const;
void dominated_by(Node* prev_dom, PhaseIterGVN* igvn);
int is_range_check(Node* &range, Node* &index, jint &offset);
@@ -391,6 +394,7 @@
virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
virtual const Type *bottom_type() const;
virtual bool pinned() const { return true; }
+ virtual int required_outcnt() const { return _size; }
};
//------------------------------JumpNode---------------------------------------
@@ -504,7 +508,9 @@
virtual int Opcode() const;
virtual bool pinned() const { return true; };
virtual const Type *bottom_type() const { return TypeTuple::IFBOTH; }
-
+ virtual const Type *Value( PhaseTransform *phase ) const;
+ virtual Node *Ideal(PhaseGVN *phase, bool can_reshape);
+ virtual int required_outcnt() const { return 2; }
virtual void emit(CodeBuffer &cbuf, PhaseRegAlloc *ra_) const { }
virtual uint size(PhaseRegAlloc *ra_) const { return 0; }
#ifndef PRODUCT
--- a/hotspot/src/share/vm/opto/compile.cpp Wed Apr 23 19:09:16 2008 -0700
+++ b/hotspot/src/share/vm/opto/compile.cpp Thu Apr 24 11:13:03 2008 -0700
@@ -1981,10 +1981,6 @@
#endif
break;
}
- case Op_If:
- case Op_CountedLoopEnd:
- fpu._tests.push(n); // Collect CFG split points
- break;
case Op_AddP: { // Assert sane base pointers
const Node *addp = n->in(AddPNode::Address);
@@ -2083,10 +2079,12 @@
default:
assert( !n->is_Call(), "" );
assert( !n->is_Mem(), "" );
- if( n->is_If() || n->is_PCTable() )
- fpu._tests.push(n); // Collect CFG split points
break;
}
+
+ // Collect CFG split points
+ if (n->is_MultiBranch())
+ fpu._tests.push(n);
}
//------------------------------final_graph_reshaping_walk---------------------
@@ -2165,19 +2163,18 @@
// Check for unreachable (from below) code (i.e., infinite loops).
for( uint i = 0; i < fpu._tests.size(); i++ ) {
- Node *n = fpu._tests[i];
- assert( n->is_PCTable() || n->is_If(), "either PCTables or IfNodes" );
- // Get number of CFG targets; 2 for IfNodes or _size for PCTables.
+ MultiBranchNode *n = fpu._tests[i]->as_MultiBranch();
+ // Get number of CFG targets.
// Note that PCTables include exception targets after calls.
- uint expected_kids = n->is_PCTable() ? n->as_PCTable()->_size : 2;
- if (n->outcnt() != expected_kids) {
+ uint required_outcnt = n->required_outcnt();
+ if (n->outcnt() != required_outcnt) {
// Check for a few special cases. Rethrow Nodes never take the
// 'fall-thru' path, so expected kids is 1 less.
if (n->is_PCTable() && n->in(0) && n->in(0)->in(0)) {
if (n->in(0)->in(0)->is_Call()) {
CallNode *call = n->in(0)->in(0)->as_Call();
if (call->entry_point() == OptoRuntime::rethrow_stub()) {
- expected_kids--; // Rethrow always has 1 less kid
+ required_outcnt--; // Rethrow always has 1 less kid
} else if (call->req() > TypeFunc::Parms &&
call->is_CallDynamicJava()) {
// Check for null receiver. In such case, the optimizer has
@@ -2187,7 +2184,7 @@
Node *arg0 = call->in(TypeFunc::Parms);
if (arg0->is_Type() &&
arg0->as_Type()->type()->higher_equal(TypePtr::NULL_PTR)) {
- expected_kids--;
+ required_outcnt--;
}
} else if (call->entry_point() == OptoRuntime::new_array_Java() &&
call->req() > TypeFunc::Parms+1 &&
@@ -2198,13 +2195,13 @@
Node *arg1 = call->in(TypeFunc::Parms+1);
if (arg1->is_Type() &&
arg1->as_Type()->type()->join(TypeInt::POS)->empty()) {
- expected_kids--;
+ required_outcnt--;
}
}
}
}
- // Recheck with a better notion of 'expected_kids'
- if (n->outcnt() != expected_kids) {
+ // Recheck with a better notion of 'required_outcnt'
+ if (n->outcnt() != required_outcnt) {
record_method_not_compilable("malformed control flow");
return true; // Not all targets reachable!
}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/hotspot/test/compiler/6663848/Tester.java Thu Apr 24 11:13:03 2008 -0700
@@ -0,0 +1,478 @@
+/*
+ * Copyright 2008 Sun Microsystems, Inc. All Rights Reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * This code is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License version 2 only, as
+ * published by the Free Software Foundation.
+ *
+ * This code is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
+ * version 2 for more details (a copy is included in the LICENSE file that
+ * accompanied this code).
+ *
+ * You should have received a copy of the GNU General Public License version
+ * 2 along with this work; if not, write to the Free Software Foundation,
+ * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
+ *
+ * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
+ * CA 95054 USA or visit www.sun.com if you need additional information or
+ * have any questions.
+ */
+
+/*
+ * @test
+ * @bug 6663848
+ * @summary assert(i < Max(),"oob")
+ */
+
+/* Complexity upper bound: 296055 ops */
+
+final class Tester_Class_0 {
+ byte var_1;
+ static double var_2;
+ String var_3;
+ char var_4 = 'n';
+ static int var_5;
+ String var_6;
+ final long var_7 = 4161100809902398464L;
+ static String var_8 = "a";
+
+
+ public Tester_Class_0()
+ {
+ switch (((false ^ !"n".startsWith("kmmhtohv", 553985525) ? true : false) ? 'k' : (var_4 *= - (var_2 = 3.1182935E38F))) - (~2013121027650726912L >= 2.929692E38F / (var_1 = (byte)4.2723157E37F) ? var_4 | (short)var_7 : ~ ((byte)"".indexOf("yuno", 4922080))))
+ {
+ case 125:
+
+ case ']':
+
+ case 6:
+ var_5 = (false ? false : 3708707602755734528L >= 1648075631) ? var_4 : (false ? var_4 : ++var_4);
+ break;
+
+ case 46:
+ Object var_15;
+ ++var_4;
+ float var_16 = 3.1085987E38F;
+ var_5 = 'h';
+ var_1 = true ? (byte)9.482988718680618E307 : (false && false ? (byte)var_7 : (byte)6793807430041920512L);
+ final byte var_17 = var_1 = (337740577 ^ ~8932537004307666944L) / (short)var_16 - (byte)var_7 << var_7 > ~1539422023641354240L ? (false ? (byte)var_4 : (byte)9.302678E37F) : (byte)(var_5 = (byte)1.3007792E38F);
+ var_15 = "an";
+ break;
+
+ case 29:
+ var_3 = (var_6 = (var_8 = "kgc"));
+ break;
+
+ case 60:
+
+ }
+ char var_18;
+ ((new Tester_Class_0[var_1 = (byte)(var_2 = 93813743)])[var_1 = (byte)var_4]).var_1 = (var_1 = (var_1 = (byte)5.1405316E37F));
+ var_8 = var_8;
+ float var_19 = 0F;
+ var_2 = var_4;
+ do
+ {
+ var_4 >>= var_7;
+ var_19++;
+ var_4 %= true ? (short)7643330105057892352L : (short)1.1014013E38F;
+ } while (var_19 < 2 && (! (true & (!true && false)) && true));
+ var_4++;
+ int var_20 = 0;
+ var_4 = ~var_7 == (var_1 = (byte)var_7) | (float)var_20 <= 'H' ? 'r' : (var_4 |= (byte)var_4);
+ for (var_6 = (var_8 = "wqmnvxava"); (false ? (short)+ ~3540350558052792320L : + ~ ~3244965056572428288L - (var_4 *= 8.314953959831226E307)) <= +9.34280058703911E307 && var_20 < 6; var_2 = 3.0507823E38F)
+ {
+ var_2 = ~ ((byte)844279629935048704L) ^ (var_19 <= (false ? '\\' : 'B') ? (byte)(short)(var_1 = (byte)(short)var_19) : (var_1 = (var_1 = (var_1 = (byte)'T'))));
+ var_20++;
+ var_5 = (short)(var_7 >>> (! !true & true ? 'D' : (var_4 -= 1.1444072012663494E308)));
+ (var_6 = "jnjbrmaus").compareTo(var_3 = false ? "pfmv" : (var_8 = var_8));
+ }
+ var_2 = func_0(1248385981, 'V' != '[' ? (short)1.0082348960424545E308 : (byte)var_4, new double[var_1 = (byte)'p'][(byte)var_19], 1.3646683639847343E308);
+ var_5 = (var_1 = (var_1 = (true ^ false ? "bfh".startsWith(var_8) : true || !true) | false ? (byte)(var_2 = - ~var_7) : (var_1 = (byte)var_19)));
+ var_3 = (var_3 = "dn");
+ var_2 = false ? (var_1 = (byte)9.136750130102702E307) : var_7;
+ }
+
+
+
+
+ final short func_0(int arg_0, short arg_1, double[][] arg_2, double arg_3)
+ {
+ double[][] var_9 = arg_2;
+ arg_0 <<= true ? (byte)- +1.1174307E37F : (var_1 = (byte)911334714);
+ switch ("touoh".endsWith(var_8) ^ ! ! (++var_4 != 1.8567045E38F) ? (var_4 <<= arg_1) : 'E')
+ {
+ case 'a':
+
+ case 46:
+
+ case 's':
+
+ case 50:
+ ((new Tester_Class_0[(byte)arg_0][(byte)- (- + - - + - +1.775205E38F - (arg_1 |= 'Z'))])[var_1 = (var_1 = (byte)4.020531E37F)][var_1 = (var_1 = (byte)883328311549528064L)]).var_4 &= (var_6 = var_8).charAt(arg_0);
+ var_3 = false ? var_8 : "amfijbpwa";
+ var_4 -= -1.4699719646972257E308;
+ var_2 = (var_1 = (byte)(arg_1 += 1.6757431E38F));
+ var_1 = (var_1 = (var_1 = (byte)+1.4416583523884388E308));
+ final Object var_10 = (new Object[(byte)(arg_1 += var_4)])[var_1 = (byte)- +1.0281942E38F];
+ arg_1 = arg_1;
+ break;
+
+ case 7:
+ var_8 = var_8 + var_8;
+ break;
+
+ case 'N':
+
+ case 'V':
+
+ case 56:
+
+ case 'I':
+
+ }
+ arg_0 &= arg_1;
+ var_3 = false ? var_8 : "vpaj";
+ var_4 = (var_4 *= arg_1);
+ arg_3 *= (var_4 = var_4);
+ final char var_11 = true ? var_4 : (char)(var_4 << (var_1 = (byte)(arg_1 &= arg_0)));
+ boolean var_12;
+ var_4 ^= '`';
+ "nkj".startsWith(var_6 = "wrcnrdd");
+ var_1 = (byte)~var_7;
+ var_6 = (var_8 = "ul");
+ return (var_12 = 3548576322219573248L <= var_4++ & ((var_12 = !true) || (var_12 = !false | false))) ? arg_1-- : (var_1 = (byte)+ (var_2 = 2.7633542E38F));
+ }
+
+ protected final void func_1(final String arg_0, Object arg_1, short arg_2)
+ {
+ arg_2 *= ~8267766955221100544L;
+ arg_1 = (var_6 = var_8);
+ arg_2 <<= false ? (var_1 = (var_1 = (var_1 = (byte)1.6645553629318776E308))) : arg_2;
+ }
+
+ protected final static float func_2(byte arg_0, final String arg_1)
+ {
+ var_8 = arg_1;
+ char var_13 = ((new Tester_Class_0[arg_0 |= ']'])[arg_0]).var_4--;
+ var_5 = 907889433;
+ {
+ var_13 ^= (var_5 = var_13);
+ }
+ var_8 = arg_1;
+ var_5 = (byte)1759688161;
+ var_8 = (new String[arg_0 >>>= (short)1072761211])[arg_0];
+ return 5.108221E37F;
+ }
+
+ private static boolean func_3(boolean arg_0, final boolean arg_1)
+ {
+ var_2 = ((new Tester_Class_0[(byte)(short)'H'])[(byte)(short)(var_2 = (short)'k')]).var_4;
+ if (false)
+ {
+ var_8 = "cl";
+ }
+ else
+ {
+ final byte[] var_14 = new byte[true ? (byte)(- ((byte)9.760296114722793E307) | ~1867374212153383936L) : (byte)(short)'Q'];
+ var_2 = (float)~3838271533006646272L / (- ~ ~1786841397228277760L ^ ~3695911615719734272L & 'Z');
+ }
+ {
+ var_8 = var_8;
+ }
+ ((new Tester_Class_0[(byte)(var_2 = (short)~ - +4818709334539164672L)])[(byte)'W']).var_1 = true || false & arg_0 ^ (arg_1 ^ arg_0 ? arg_0 : (arg_0 ^= true)) ? (byte)1.5309163701271477E308 : (byte)3.0904342E38F;
+ ((new Tester_Class_0[(byte)756871578277111808L][(byte)+ + -3.0687752E38F])[(byte)'f'][(byte)1544156315]).var_6 = (var_8 = "vqey");
+ return arg_1;
+ }
+
+ public final char func_4(short arg_0)
+ {
+ {
+ var_6 = (var_3 = "hjtjar");
+ var_1 = false ? (byte)4.02486350499973E307 : (byte)1.3222663E38F;
+ }
+ var_1 = (new byte[var_1 = (var_1 = (byte)1770517884)])[var_1 = (byte)arg_0];
+ var_4++;
+ --arg_0;
+ var_5 = true ? 'D' : (var_4 ^= (var_5 = 134858941));
+ return (char)~ (7273058621469586432L << (byte)3.1756883E38F ^ (false ? (byte)(var_5 = var_4) : (arg_0 >>= 6165812289376474112L))) < (2046127339 ^ + ((byte)arg_0)) ? (!false ? (var_4 %= 1.8187417377124746E307) : (var_4 *= 445936805)) : var_4;
+ }
+
+}
+
+
+class Tester_Class_1 {
+ Tester_Class_0[][] var_21;
+ static long var_22 = 6671342492736446464L;
+ float var_23 = 2.9329673E38F;
+ final int var_24 = 1834862519;
+ int var_25 = 69920645;
+ static char var_26;
+ static Object var_27;
+ static int var_28 = Tester_Class_0.var_5 = false ? 'U' : (var_26 = (var_26 = 'R'));
+
+
+ public Tester_Class_1()
+ {
+ (false ? (Tester_Class_0)(var_27 = Tester_Class_0.var_8) : (Tester_Class_0)(var_27 = "a")).var_1 = (short)(var_23 %= var_23) >= (byte)1217257602 | var_25 == (char)(var_23 += var_23) ? (byte)new Tester_Class_0().var_4-- : ((true | false) ^ !false ? (byte)6.122806E37F : (byte)1.084542872057614E308);
+ Tester_Class_0.var_2 = new Tester_Class_0().var_7;
+ --var_22;
+ boolean var_32 = ! ((new Tester_Class_0().var_1 = (((new Tester_Class_0[(byte)var_22])[(byte)var_23]).var_1 = false ? (byte)(var_23 = var_28) : (byte)1.5858707076311894E308)) != (char)+var_23);
+ var_25 -= (true ? (byte)5.488240359086226E307 : (((Tester_Class_0)(var_27 = Tester_Class_0.var_8)).var_1 = (byte)'L')) * (Tester_Class_0.var_2 = 7.045106259776882E307);
+ Object var_33 = (var_32 ^= var_32) ? (var_27 = (Tester_Class_0.var_8 = (Tester_Class_0.var_8 = "gaemnaep"))) : (new Tester_Class_0[(byte)'g'])[(byte)(short)271735827];
+ byte var_34 = var_32 ? (byte)((Tester_Class_0)var_33).var_7 : ((var_32 &= true) ? (byte)(Tester_Class_0.var_2 = 1.6975344767401616E307) : (byte)- ((double)var_22));
+ Tester_Class_0.var_2 = 1.4644308179397427E308;
+ var_28 /= (short)1681483575;
+ Tester_Class_0.var_2 = (var_34 <<= (var_25 ^= ~ (var_22 |= (var_22 = var_22))));
+ var_23 *= (char)(var_28 *= var_32 ? var_34 ^ --var_34 : 3220732582528450560L);
+ if ((((Tester_Class_0)var_33).var_4 &= var_34) != (short)var_28)
+ {
+ Tester_Class_0.var_8 = ((false ? (Tester_Class_0)var_33 : (Tester_Class_0)var_33).var_6 = Tester_Class_0.var_8);
+ }
+ else
+ {
+ var_33 = false | (var_32 ^= true) ? ((new Tester_Class_0[var_34][var_34])[var_34])[var_34] : (Tester_Class_0)var_33;
+ }
+ if (false)
+ {
+ var_22 = 107656877775594496L;
+ }
+ else
+ {
+ ((var_32 &= (var_32 |= var_32)) || (var_23 /= var_25) == (Tester_Class_0.var_2 = 7649348100017113088L) ? (new Tester_Class_0[var_34])[var_34] : (Tester_Class_0)var_33).var_4 >>>= (((new Tester_Class_0[var_34])[var_34 <<= 'C']).var_6 = (((Tester_Class_0)(var_33 = (var_33 = var_33))).var_6 = ++var_28 > var_23 ? "qgq" : (Tester_Class_0.var_8 = Tester_Class_0.var_8))).equalsIgnoreCase(Tester_Class_0.var_8) ? var_34++ : ++var_34;
+ }
+ String[][] var_35;
+ Tester_Class_0.var_8 = Tester_Class_0.var_8;
+ var_27 = (new Tester_Class_0[var_34][var_34 /= 226411329])[false ? --var_34 : (var_34 /= 1.7237614E38F)][var_34];
+ var_23 %= var_25;
+ }
+
+
+
+ protected Object clone()
+ {
+ var_28 >>>= (new Tester_Class_0().var_1 = (byte)new Tester_Class_0().var_4);
+ ((Tester_Class_0)(var_27 = (Tester_Class_0.var_8 = (Tester_Class_0.var_8 = (Tester_Class_0.var_8 = "ybndugrur"))))).var_3 = Tester_Class_0.var_8;
+ var_22--;
+ new Tester_Class_0().var_4 -= (new Tester_Class_0().var_1 = (byte)'O');
+ {
+ short var_29 = 12378;
+ }
+ Tester_Class_0.var_8 = "fd";
+ "".lastIndexOf("bgsxwmil");
+ new Tester_Class_0().var_6 = (Tester_Class_0.var_2 = -1.7590174497347678E308) == (var_26 = 'o') | true && !false ? Tester_Class_0.var_8 : (((Tester_Class_0)(var_27 = "")).var_6 = Tester_Class_0.var_8);
+ return var_27 = (var_27 = (var_27 = (var_27 = (Tester_Class_0.var_8 = Tester_Class_0.var_8).substring(var_24))));
+ }
+
+ public boolean equals(Object obj)
+ {
+ --var_28;
+ var_23 /= +var_23 * -6025098819014877184L / 3.3957492E38F / (short)'i';
+ Tester_Class_0.var_2 = 3.0420988E38F * ((short)var_23 <= (var_23 %= 8.761205585617465E307) % + -1.2374670294031777E308 ? (var_23 = 'P') : (float)+ +1.0313120780554142E308);
+ (7489001532003495936L >= 'C' ? (Tester_Class_0)obj : (Tester_Class_0)(var_27 = obj)).func_4((short)(float)(byte)(float)(Tester_Class_0.var_2 = 1601763635));
+ (var_23 * 2.2882572E38F <= (short)var_25 * (true || false ? (short)~ ((byte)1.1382317160718865E307) : (Tester_Class_0.var_2 = 7.909133507918336E307)) ? (Tester_Class_0)obj : (Tester_Class_0)obj).var_4++;
+ boolean var_30 = true;
+ var_27 = new Tester_Class_0();
+ final String var_31 = "aiqnc";
+ return 1.1357028E38F + (var_30 ? (Tester_Class_0)(var_27 = obj) : (Tester_Class_0)obj).var_7 == 3.860172628750592E306;
+ }
+
+
+}
+
+public class Tester {
+ final static long var_36 = (4.4957056E37F < Tester_Class_1.var_22 + 281107777128915968L ? (Tester_Class_1.var_26 = 't') : (char)Tester_Class_1.var_28) - (4654994097042818048L | (byte)(Tester_Class_0.var_2 = (short)(Tester_Class_1.var_26 = ']'))) ^ 349774342780012544L;
+
+
+ static long func_0(final Tester_Class_1 arg_0, long arg_1)
+ {
+ ((Tester_Class_0)(Tester_Class_1.var_27 = (Tester_Class_0)(Tester_Class_1.var_27 = Tester_Class_0.var_8))).var_4 |= --new Tester_Class_0().var_4;
+ return Tester_Class_1.var_22 &= new Tester_Class_0().var_4;
+ }
+
+ protected Tester_Class_1 func_1(final boolean arg_0, Object arg_1)
+ {
+ Tester_Class_0.var_2 = (short)Tester_Class_1.var_22;
+ ((arg_0 ? (byte)8.639448452214698E307 : ((Tester_Class_1)arg_1).var_24) <= ((Tester_Class_1)(Tester_Class_1.var_27 = new float[(byte)Tester_Class_1.var_22])).var_25++ ? (Tester_Class_0)arg_1 : (Tester_Class_0)(arg_1 = (Tester_Class_1.var_27 = (Tester_Class_0)arg_1))).var_3 = (Tester_Class_0.var_8 = "pgfdbinj");
+ arg_1 = (new Tester_Class_0[((Tester_Class_0)arg_1).var_1 = (byte)1.0730194668655324E308])[(byte)'l'];
+ Tester_Class_0.var_8 = Tester_Class_0.var_8;
+ Tester_Class_1.var_27 = arg_0 & (true | !true) ? (Tester_Class_1)arg_1 : (Tester_Class_1)arg_1;
+ Tester_Class_1.var_28 += arg_0 ? (byte)(Tester_Class_0.var_8.compareToIgnoreCase(Tester_Class_0.var_8) % (Tester_Class_1.var_28 %= 2.2770412E38F)) : (byte)((byte)(short)Tester_Class_1.var_28 ^ var_36);
+ Tester_Class_1.var_28 <<= ((Tester_Class_0)arg_1).var_4;
+ return arg_0 ? (false ^ false ? (Tester_Class_1)arg_1 : (Tester_Class_1)arg_1) : (Tester_Class_1)arg_1;
+ }
+
+ protected final static String[][] func_2(final double arg_0)
+ {
+ Tester_Class_0.var_2 = (((Tester_Class_1.var_22 = ((Tester_Class_1)(Tester_Class_1.var_27 = "")).var_25++) != + ((byte)(Tester_Class_0.var_2 = - ((byte)2.690435E38F))) ? (Tester_Class_1)(Tester_Class_1.var_27 = "twoj") : (new Tester_Class_1[(byte)'n'])[(byte)- ((byte)'p')]).var_25 /= (new short[false ? (byte)arg_0 : (byte)3.1713847E38F])[(byte)(short)((Tester_Class_0)(Tester_Class_1.var_27 = (Tester_Class_1.var_27 = "fi"))).var_7]);
+ {
+ ((new Tester_Class_1[(byte)9.709543613377303E307])[((Tester_Class_0)(Tester_Class_1.var_27 = (Tester_Class_0.var_8 = "efwkox"))).var_1 = (byte)7789404846284517376L]).var_23 *= (((new Tester_Class_0[(byte)'J'][(byte)++Tester_Class_1.var_28])[(byte)Tester_Class_1.var_28][(byte)(Tester_Class_1.var_28 = 1677818267)]).var_1 = false || true ? (byte)1.4659824E38F : (byte)(Tester_Class_1.var_26 = 'T'));
+ }
+ Tester_Class_0.var_2 = !true | !false | false & ! (!true & (true ^ false)) ? (byte)(Tester_Class_1.var_26 = 'l') : (short)(arg_0 * (char)(byte)Tester_Class_1.var_28);
+ Tester_Class_1.var_28 <<= false ^ (! ! (!false | ! !true | true) | (Tester_Class_0.var_2 = arg_0) == 245171309) ? (byte)arg_0 : (short)Tester_Class_1.var_22;
+ {
+ ((Tester_Class_1)(true ? (Tester_Class_1.var_27 = "axpbpadi") : Tester_Class_0.var_8)).var_23 = ((Tester_Class_1)(Tester_Class_1.var_27 = (new Tester_Class_0[(byte)1.1668668415637981E308][(byte)1.4116134699564312E308])[(byte)-7.4415765E37F][(byte)5156322492367086592L])).var_25;
+ }
+ final double var_37 = 1.6970877829548446E308;
+ --(Tester_Class_1.var_28 == (byte)((byte)arg_0 + (byte)1.1632396E38F) ? (Tester_Class_0)(Tester_Class_1.var_27 = "vluk") : (Tester_Class_0)(Tester_Class_1.var_27 = (Tester_Class_0.var_8 = "pfki"))).var_4;
+ Tester_Class_1.var_22--;
+ return new String[new Tester_Class_0().var_1 = (((Tester_Class_0)(Tester_Class_1.var_27 = "filxvch")).var_1 = (byte)var_36)][new Tester_Class_0().var_1 = (byte)'C'];
+ }
+
+ final short func_3(byte arg_0, final short arg_1)
+ {
+ ((Tester_Class_0)(Tester_Class_1.var_27 = (Tester_Class_0.var_8 = "oenvgqdit"))).var_6 = Tester_Class_0.var_8;
+ new Tester_Class_0().var_4 >>>= + -var_36;
+ Tester_Class_0.var_2 = (((new Tester_Class_1[arg_0])[arg_0 %= ++Tester_Class_1.var_28]).var_25 &= Tester_Class_1.var_22);
+ ((new Tester_Class_1[arg_0])[arg_0 |= 1942533325]).var_23 %= arg_0 < arg_0 ? 'm' : 'N';
+ float var_38;
+ ((new Tester_Class_1[arg_0])[arg_0]).var_23 /= (((new Tester_Class_1[arg_0][arg_0])[arg_0 |= 'N'])[arg_0 <<= - ((byte)- (Tester_Class_0.var_2 = 3.3324301E38F))]).var_23;
+ return true ? arg_1 : arg_1;
+ }
+
+ private String func_4()
+ {
+ if (true)
+ {
+ ((Tester_Class_0)(Tester_Class_1.var_27 = (Tester_Class_1.var_27 = (Tester_Class_1.var_27 = Tester_Class_0.var_8)))).var_1 = (byte)6.4527776E37F;
+ ((Tester_Class_0)(Tester_Class_1.var_27 = new char[(byte)1.5121402849337185E307])).var_4 >>= - ((byte)3.3631582E37F) + (Tester_Class_1.var_28 /= 2.813947549586372E307);
+ }
+ else
+ {
+ {
+ Tester_Class_1.var_22 *= 1.6498653E36F;
+ }
+ Tester_Class_0.var_2 = + ((byte)7.750601265069686E307) > (short)(byte)3131520439106527232L ? (short)4699552681135671296L : (short)Tester_Class_1.var_22;
+ Tester_Class_1.var_22++;
+ ((Tester_Class_1)(new Object[(byte)6.231994821505742E307])[(byte)Tester_Class_1.var_22]).var_23 %= 30526551;
+ {
+ Tester_Class_0.var_2 = ((Tester_Class_1)(Tester_Class_1.var_27 = new short[(byte)9.628297E37F])).var_25;
+ }
+ Tester_Class_1.var_28 /= (byte)(false ^ Tester_Class_0.var_8.equalsIgnoreCase(Tester_Class_0.var_8) ? (byte)2.689633745095358E307 : (short)1.2532476E38F);
+ float var_39;
+ long[] var_40 = new long[((Tester_Class_0)(Tester_Class_1.var_27 = Tester_Class_0.var_8)).var_1 = (((Tester_Class_0)(Tester_Class_1.var_27 = (Tester_Class_0.var_8 = Tester_Class_0.var_8))).var_1 = (byte)(1.8335008E38F % (true | false ? (short)Tester_Class_1.var_22 : (byte)'P')))];
+ }
+ Tester_Class_0.var_2 = (((new Tester_Class_0[((Tester_Class_0)(Tester_Class_1.var_27 = "inufeoe")).var_1 = (byte)(short)'M'])[(byte)(Tester_Class_0.var_2 = + - -2.274269E38F)]).var_1 = (((Tester_Class_0)(Tester_Class_1.var_27 = "c")).var_1 = (byte)'Z'));
+ Tester_Class_0.var_8 = (Tester_Class_0.var_8 = Tester_Class_0.var_8);
+ return "rkvffvlf";
+ }
+
+ final char func_5(final char arg_0, final Object[] arg_1, final double arg_2, Object arg_3)
+ {
+ arg_3 = true && Tester_Class_1.var_22 < (((Tester_Class_0)arg_3).var_1 = (((Tester_Class_0)(Tester_Class_1.var_27 = arg_3)).var_1 = (byte)arg_2)) ? "dgmwbkv" : Tester_Class_0.var_8;
+ (true ? (Tester_Class_1)arg_3 : (Tester_Class_1)arg_3).var_23 -= (Tester_Class_0.var_2 = arg_0);
+ arg_3 = (new String[(byte)arg_2])[(byte)-2.797633529863769E307];
+ (false ^ !false ^ (!true && true) ? (Tester_Class_0)arg_3 : (Tester_Class_0)arg_3).var_4 -= (new char[((Tester_Class_0)arg_3).var_1 = (((Tester_Class_0)arg_3).var_1 = (((Tester_Class_0)arg_3).var_1 = (byte)2.433897E38F))])[((Tester_Class_0)arg_3).var_1 = (byte)+7.036923762392132E307];
+ Tester_Class_0.var_8 = Tester_Class_0.var_8;
+ Tester_Class_0.var_2 = true ^ +((Tester_Class_1)(arg_3 = "o")).var_23 <= arg_2 ? (short)Tester_Class_1.var_22 : (((Tester_Class_0)arg_3).var_1 = (byte)1.9730195E38F);
+ (false ? (Tester_Class_0)arg_3 : (Tester_Class_0)arg_3).var_6 = "bpjqfacys";
+ ((new Tester_Class_0[((Tester_Class_0)arg_3).var_1 = (byte)1969581340][((Tester_Class_0)arg_3).var_1 = (byte)(Tester_Class_0.var_2 = arg_0)])[((Tester_Class_0)arg_3).var_1 = (byte)(Tester_Class_0.var_2 = 4044194664687833088L)][((Tester_Class_0)arg_3).var_1 = (byte)((Tester_Class_1)arg_3).var_24]).var_1 = (false ? (byte)+ ((byte)1.2689328633821032E305) == arg_2 : false) ? (byte)arg_2 : (((Tester_Class_0)arg_3).var_1 = (byte)1586517741);
+ return (func_3(((Tester_Class_0)arg_3).var_1 = (byte)Tester_Class_1.var_28, (short)(byte)- +func_1(true, arg_3).var_23) > 1882532904 ? (short)2.6362656E38F >= (char)2.445034E38F & false : var_36 > Tester_Class_1.var_22) ? ((new Tester_Class_0[(byte)1.2074529E38F][(byte)'N'])[(byte)1.3365433211782782E308][(byte)Tester_Class_1.var_28]).var_4 : 'O';
+ }
+
+ private final static Tester_Class_1 func_6(String arg_0, String arg_1)
+ {
+ Tester_Class_1.var_22 += ((new Tester_Class_0[(byte)4.1707075152824266E306])[(byte)(short)(((Tester_Class_0)(Tester_Class_1.var_27 = "tmyiha")).var_4 &= 'e')]).var_4;
+ return (new Tester_Class_1[((Tester_Class_0)(Tester_Class_1.var_27 = arg_1)).var_1 = (byte)2.8419246E38F][(byte)Tester_Class_1.var_22])[((Tester_Class_0)(Tester_Class_1.var_27 = (Tester_Class_1.var_27 = arg_0))).var_1 = (((Tester_Class_0)(Tester_Class_1.var_27 = (Tester_Class_0.var_8 = "nvyfpdyms"))).var_1 = (byte)Tester_Class_1.var_22--)][((Tester_Class_0)(Tester_Class_1.var_27 = "kklsnsnia")).var_1 = (byte)'['];
+ }
+
+ double func_7(Object arg_0, final String arg_1)
+ {
+ if (false)
+ {
+ ((Tester_Class_0)arg_0).var_1 = (byte)'Z';
+ }
+ else
+ {
+ ((Tester_Class_0)arg_0).var_3 = Tester_Class_0.var_8;
+ }
+ float var_41 = (true ? (new Tester_Class_1[((Tester_Class_0)arg_0).var_1 = (byte)var_36])[((Tester_Class_0)arg_0).var_1 = (byte)Tester_Class_1.var_22] : (Tester_Class_1)arg_0).var_23 /= 'n';
+ ++Tester_Class_1.var_22;
+ return true ^ +func_6(arg_1, Tester_Class_0.var_8).var_23 < ~6945306015697774592L & (Tester_Class_1.var_28 |= var_36) <= var_36 ? + -1.4330949313452472E308 - -6602331706844466176L : Tester_Class_1.var_28;
+ }
+
+ private final static byte func_8(final Object arg_0, double arg_1, final double arg_2, double arg_3)
+ {
+ ((Tester_Class_1)arg_0).var_23 = (short)(!false && (new boolean[(byte)2.2566308E38F])[((Tester_Class_0)arg_0).var_1 = (byte)((Tester_Class_1)arg_0).var_25] ? arg_2 : 3.0315489414155014E307);
+ short var_42 = (new short[((Tester_Class_0)arg_0).var_1 = (((Tester_Class_0)arg_0).var_1 = (byte)var_36)])[(byte)arg_2];
+ Tester_Class_1.var_22 <<= ((new Tester_Class_0[(byte)var_42])[((Tester_Class_0)arg_0).var_1 = (byte)'X']).var_4;
+ (false ? new Tester_Class_0() : new Tester_Class_0()).var_4 *= 6.636831399350763E307;
+ (true & false ^ !((Tester_Class_1)arg_0).equals(arg_0) ? (Tester_Class_0)arg_0 : (Tester_Class_0)arg_0).var_4 <<= (Tester_Class_1.var_22 >>>= (Tester_Class_1.var_28 -= Tester_Class_1.var_28)) / 1064434;
+ int var_43;
+ final Object var_44 = Tester_Class_1.var_27 = new byte[((Tester_Class_0)arg_0).var_1 = (byte)+arg_2];
+ ((Tester_Class_0)var_44).var_1 = (byte)arg_1;
+ Tester_Class_1 var_45 = (3582921389614857216L != 2.132918E38F / Tester_Class_1.var_22 % (((Tester_Class_1)var_44).var_23 %= var_42--) ? false : false ^ !false) ? func_6(((Tester_Class_0)arg_0).var_6 = Tester_Class_0.var_8, Tester_Class_0.var_8 = Tester_Class_0.var_8) : (Tester_Class_1)arg_0;
+ arg_1 *= false ? (false ? (byte)var_45.var_23 : (byte)var_45.var_24) : (byte)8158132319185776640L;
+ Tester_Class_0.var_8 = (new Tester_Class_0().var_6 = "gvxkyj");
+ Tester_Class_1.var_27 = "bkfbu";
+ arg_1 *= (((Tester_Class_0)arg_0).var_4 += new Tester_Class_0().var_4);
+ Tester_Class_0 var_46 = (false ? false && - (((Tester_Class_0)arg_0).var_1 = (byte)var_45.var_24) > var_45.var_23 - arg_2 : ("fn".startsWith(Tester_Class_0.var_8) && false) & !true) ? (Tester_Class_0)arg_0 : (Tester_Class_0)arg_0;
+ return var_46.var_1 = (var_46.var_1 = (var_46.var_1 = (byte)var_45.var_23));
+ }
+
+ public static void main(String[] args)
+ {
+ for (int i = 0; i < 100000; i++) {
+ Tester t = new Tester();
+ try {
+ t.test();
+ } catch(Throwable e) {
+ }
+ if (t.var_36 != -4918908939899620363L) {
+ throw new InternalError(t.var_36 + " != -4918908939899620363");
+ }
+ }
+ }
+
+ private void test()
+ {
+ ((Tester_Class_0)(Tester_Class_1.var_27 = new Tester_Class_0())).var_4 &= new Tester_Class_0().var_4 >>> (short)new Tester_Class_1().var_25;
+ Tester_Class_1.var_22 <<= Tester_Class_1.var_22;
+ Tester_Class_1.var_27 = ((true | ! !false) & false ? ! !true : 6.5017485E37F == (short)(Tester_Class_1.var_22 &= 'h')) ? (Tester_Class_1.var_27 = new Tester_Class_1()) : new Tester_Class_1();
+ (1.252611E37F < (((new Tester_Class_0[(byte)'X'])[(byte)6.916916470825763E307]).var_4 /= (byte)Tester_Class_1.var_28 < (new short[(byte)7.626803503643197E307])[(byte)var_36] ? (short)new Tester_Class_0().var_4 : (short)(byte)Tester_Class_1.var_22) ? (true ? new Tester_Class_0() : new Tester_Class_0()) : (true ? new Tester_Class_0() : (Tester_Class_0)(Tester_Class_1.var_27 = Tester_Class_0.var_8))).var_4 ^= Tester_Class_1.var_28++;
+ (true ? new Tester_Class_1() : func_1(true, Tester_Class_1.var_27 = "jjgccelm")).var_23 -= (- - + + +1.2976166388790213E308 != ((!true ^ ! !true) & (short)(Tester_Class_1.var_28 &= var_36) <= (Tester_Class_1.var_26 = 'C') ? 1163089569715148800L : 8.591879058615699E307) ? (new Tester_Class_0().var_1 = (new Tester_Class_0().var_1 = (byte)2.7209893E38F)) : (!false ^ ! !false ? (short)'x' : (short)'a')) + 7620981797791666176L;
+ new Tester_Class_0().var_4 ^= 8777687662500669440L;
+ final String[] var_47 = new String[((1864097118983963648L | (Tester_Class_1.var_26 = '[')) < + (new Tester_Class_1().var_23 += --new Tester_Class_0().var_4) ? ! !true : false) ? (new Tester_Class_0().var_1 = (new Tester_Class_0().var_1 = (byte)2.6448988E38F)) : (byte)Tester_Class_1.var_22];
+ long var_48 = 0L;
+ Tester_Class_0.var_2 = "nwcmc".codePointAt("wgcdlmd".compareTo("jyt"));
+ do
+ {
+ Tester_Class_1.var_22 += new Tester_Class_0().var_4;
+ var_48++;
+ Tester_Class_1.var_27 = false ? "dfvpqs" : Tester_Class_0.var_8;
+ new Tester_Class_0().var_1 = (new Tester_Class_0().var_1 = (new byte[(byte)2.2825838E38F])[(byte)4.2446597794703817E307]);
+ } while ((true ? !false : false & !false) && (var_48 < 117 && true));
+ int var_49 = 0;
+ Tester_Class_1.var_26 = 'I';
+ short var_50;
+ while (var_49 < 225 && ('U' | ~ ((byte)9.556538701292864E306)) < var_49)
+ {
+ var_50 = (var_50 = ((byte)1.2016701369644112E308 != (var_50 = (short)1.2518271E38F) ^ !true ? !true : false) ? (short)6.629572378442352E307 : (byte)'O');
+ var_49++;
+ var_50 = true ? (byte)Tester_Class_1.var_22 : (byte)(Tester_Class_1.var_22 = (byte)var_48);
+ byte var_51;
+ short var_52;
+ }
+ Tester_Class_1.var_27 = Tester_Class_0.var_8 + "r";
+ var_50 = (var_50 = true ^ ! (!false ^ false) ? (byte)573442894 : (byte)2.1479471E38F);
+ ((var_50 = (short)'w') >= (new Tester_Class_0().var_1 = (byte)5.148172E37F) & true ? new Tester_Class_0() : new Tester_Class_0()).var_4 >>= true ? (new Tester_Class_0().var_4 /= (byte)Tester_Class_1.var_28) : (Tester_Class_1.var_26 = '^');
+ float var_53;
+ (func_6(Tester_Class_0.var_8, Tester_Class_0.var_8).var_24 <= (var_50 = (var_50 = (short)var_48)) ^ !true | true & true | true ^ false ? (Tester_Class_1)(Tester_Class_1.var_27 = Tester_Class_0.var_8) : new Tester_Class_1()).var_23 /= ((new Tester_Class_0[(byte)1.6656795E38F])[new Tester_Class_0().var_1 = (byte)1.212530193895014E308]).var_4;
+ long var_54 = 0L;
+ Object var_55;
+ (true | --new Tester_Class_0().var_4 == 2898909413610959872L & true == true ? func_6(Tester_Class_0.var_8, Tester_Class_0.var_8) : new Tester_Class_1()).var_23 %= 7471272661059674112L;
+ while (false & (false | 5.7300464E37F != (short)(Tester_Class_0.var_2 = (short)var_36)) && var_54 < 293)
+ {
+ func_6(Tester_Class_0.var_8 = "wts", Tester_Class_0.var_8 = (Tester_Class_0.var_8 = Tester_Class_0.var_8)).var_25 |= (Tester_Class_1.var_22 ^= (var_50 = (byte)1.0904691577897794E308));
+ var_54++;
+ (false ? func_6(Tester_Class_0.var_8, "inujn") : func_6(Tester_Class_0.var_8, Tester_Class_0.var_8 = Tester_Class_0.var_8)).var_23 /= (Tester_Class_0.var_2 = (var_50 = (((Tester_Class_0)(var_55 = Tester_Class_0.var_8)).var_1 = (byte)(short)Tester_Class_1.var_28)));
+ Tester_Class_0.var_8 = Tester_Class_0.var_8;
+ }
+ var_50 = func_3(new Tester_Class_0().var_1 = (new Tester_Class_0().var_1 = (byte)var_36), var_50 = (var_50 = (var_50 = (byte)var_36)));
+ Tester_Class_1.var_22++;
+ Tester_Class_1.var_28 <<= 'Y';
+ }
+}