| // 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();\ | |
| "); |