rust-lang/rust — pull request #18080 by veddan (2014-10-15 23:50:46+00:00)
Title: Add assume intrinsic

Adds an `assume` intrinsic that gets translated to llvm.assume. It is
used on a boolean expression and allows the optimizer to assume that
the expression is true.

This implements #18051.