On Mon, Jun 23, 2014 at 3:50 PM, Daniel Micay <[email protected]> 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... _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
