On 04/11/2010 06:26 PM, Duncan Sands wrote:
Hi Robert,
b) better behavior for undefined cases
this is one of the problems with using LLVM with the Ada front-end.
LLVM makes pretty aggressive deductions when it sees undefined
behaviour
These do not seem to point at LLVM's optimizer bugs/aggressiveness, but
rather at expressiveness of the IR. GENERIC benefited from years of
working on the Ada front-end, and though it was indeed a good deal of
work to iron out all the bugs, it is likely that a different compiler
infrastructure does not have all the nuances.
Paolo
