[llvm-dev] Instruction Combine Cast (fptrunc (floor x)) -> (floor (fptrunc x))

[Shiva Chen via llvm-dev]

Hi,

I have a test case would fail due to instruction combine cast
from floor to floorf.

double d = 1024.0 - 1.0 / 32768.0;
extern double floor(double);
extern float floorf(float);
extern void abort();

int main() {

    float f1 = (float)floor(d);

    if ((int)f1 != 1023)
      abort ();

    return 0;
}

My question is: Is the transformation legal for this case?

Thanks,
Shiva