Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability