Stream: t-compiler/wg-llvm

Topic: IRCE


Nikita Popov (Jun 01 2019 at 14:22, on Zulip):

I've talked with Philip Reames, who's working on an LLVM based Java runtime, so they have some of the same problems as Rust does wrt array bounds checks... He pointed out that they contributed an inductive range check elimination pass (https://github.com/llvm-mirror/llvm/blob/master/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp) that may be of interest to us. This pass isn't part of the default pipeline.

Nikita Popov (Jun 01 2019 at 14:28, on Zulip):

The other pass he mentioned in LoopPredication, but that's not directly applicable for our purposes, as it relies on deoptimization.

Last update: Nov 15 2019 at 09:40UTC