michael@0: // Binary: cache/js-dbg-32-f1764bf06b29-linux
michael@0: // Flags: --ion-eager
michael@0: //
michael@0: 
michael@0: gcPreserveCode();
michael@0: function r() {}
michael@0: gczeal(2);
michael@0: evaluate("");
michael@0: evaluate("\
michael@0: function randomFloat () {\
michael@0:     if (r < 0.25)\
michael@0:         fac = 10000000;\
michael@0: }\
michael@0: for (var i = 0; i < 2000; i++)\
michael@0:     randomFloat();\
michael@0: ");