Re: [PPL-devel] More floating point problems on the Alpha

2008-09-22 Thread Abramo Bagnara
says 1.4e-45f > 1e-300 run-time test says 1.4e-45f < 1e-300 2.65249e-315 Note that 2.65249e-315 is not representable in ieee754/iec559 32 bit floating point. 32 bit floats are emulated on Alpha? There is an huge bug in FP emulation? -- Abramo Bagnara Opera Unica Phone: +39.0546.656023 Via Borghesi, 16 48014 Castel Bolognese (RA) - Italy

gcc compile time support for assumptions

2007-01-18 Thread Abramo Bagnara
I'd like to know if gcc has implemented some generic way to help optimizer job by allowing programmers to specify assumptions (or constraints). This is somewhat different from assertions: suppose we have this simple code: #include int p(int a) { assert(a > 0); return a <= 0; } Compiling w