[InstCombine] Add additional tests for known non zero (NFC)
authorNikita Popov <nikita.ppv@gmail.com>
Fri, 25 Dec 2020 15:13:42 +0000 (16:13 +0100)
committerNikita Popov <nikita.ppv@gmail.com>
Fri, 25 Dec 2020 15:28:30 +0000 (16:28 +0100)
commitb0e6007c8254811a5828c1a253a615e45359c653
tree5907710cede8e2b5804f5ac6465286d3b692962d
parenta3614a31c46a41b76fd6a6c6b30b353bc4131b94
[InstCombine] Add additional tests for known non zero (NFC)

Check conditions that imply non-zero, even if they are not literally
"x != 0".

Using ctlz for testing, as explicit comparison might get folded by
other reasoning.
llvm/test/Transforms/InstCombine/known-non-zero.ll