projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: caaacb8) | patch
[NFC][InstCombine] Add a test for assume-induced miscompile
authorRoman Lebedev <lebedev.ri@gmail.com>
Thu, 19 Dec 2019 21:04:31 +0000 (00:04 +0300)
committerRoman Lebedev <lebedev.ri@gmail.com>
Thu, 19 Dec 2019 22:47:56 +0000 (01:47 +0300)
commitffcae008d74c2008697211e66a72ff9a20696bc9
tree1c30593c9d8ee74dcbbe2f53485dfc14338651f0tree | snapshot
parentcaaacb83995057b5226db97e5781b6f5f8d5c2b7commit | diff
[NFC][InstCombine] Add a test for assume-induced miscompile

@escape() may throw here, we don't know that assumption, which is located
afterwards in the same block, is executed, therefore %load arg of
call to @escape() can not be marked as non-null.

As noted in D71660 review by @nikic.
llvm/test/Transforms/InstCombine/assume.ll diff | blob | history
Domain: System / Toolchain;