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