Danke für die Rückmeldung. Das hier klappt ganz gut:
<form>
<input list="testliste" name="test">
<datalist id="testliste">
<?php for ($i=0; $i<33000; $i++) { ?>
<option value="<?=$i;?>_FILE">
<?php } ?>
</datalist>
</form>
ist aber HTML5, setzt also halbwegs moderne Browser voraus. Die Abstürze traten nicht auf, Reaktionsszeiten sind erträglich und der Filter bei der Eingabe ist ein toller Mehrwert.