Assertion: jit compiler | /r/CapableOf | optimize unneeded static branches
Facets:
value: at runtime
type: TEMPORAL
value: out of a program
type: OTHER
Source sentences:
text: The LLVM JIT compiler can optimize unneeded static branches out of a program at runtime, and thus is useful for partial evaluation in cases where a program has many options, most of which can easily be determined unneeded in a specific environment.