Lines Matching full:produce
30 // produce a false negative result (not report UB when actually exists
31 // according to the LangRef spec), but should never produce a false positive
179 /// Given an instruction which can produce poison on non-poison inputs
180 /// (i.e. canCreatePoison returns true), generate runtime checks to produce
231 // unhandled IR constructs are simply considered to never produce poison. At in getPoisonFor()
344 to produce poison, but the LangRef does not state.
346 any element overflowing should produce poison for the entire result, but
352 - Exact flags on ashr/lshr produce poison
353 - NSW/NUW flags on shl produce poison
354 - Inbounds flag on getelementptr produce poison
355 - fptosi/fptoui (out of bounds input) produce poison
357 - Floating point binary ops w/fmf nnan/noinfs flags produce poison