[rust-dev] Integer overflow, round -2147483648

comex comexk at gmail.com
Mon Jun 23 13:53:19 PDT 2014


On Mon, Jun 23, 2014 at 3:50 PM, Daniel Micay <danielmicay at gmail.com> wrote:
> I doubt it, since Swift has a high level IR above LLVM IR and the
> implementation isn't open-source. The language-specific optimizations
> like removing overflow / bounds checks based on type system rules will
> almost certainly be done on the high-level SIL IR, not at the LLVM IR
> layer where most of the information is already lost.

I don't know how SIL works or how this is actually implemented, but
the only part of the type system I can think of that matters for
overflow checks is aliasing, which LLVM IR definitely wants to know
about.  It's not like Swift's reachability rules are as sophisticated
as Rust's...


More information about the Rust-dev mailing list