Hal Finkel a62eb7baad [BDCE] Don't check demanded bits on unsized types ... To clear assumptions that are potentially invalid after trivialization, we need to walk the use/def chain. Normally, the only way to reach an instruction with an unsized type is via an instruction that has side effects (or otherwise will demand its input bits). That would stop the walk. However, if we have a readnone function that returns an unsized type (e.g., void), we must avoid asking for the demanded bits of the function call's return value. A void-returning readnone function is always dead (and so we can stop walking the use/def chain here), but the check is necessary to avoid asserting. Fixes PR34211. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311014 91177308-0d34-0410-b5e6-96231b3b80d8		2017-08-16 16:09:22 +00:00
..
basic.ll
dbg-multipleuses.ll
dce-pure.ll
dead-void-ro.ll	[BDCE] Don't check demanded bits on unsized types	2017-08-16 16:09:22 +00:00
invalidate-assumptions.ll	[BDCE] reduce scope of an assert (PR34179)	2017-08-14 15:13:46 +00:00
order.ll
pr26587.ll