Use poisonness flown into operands to trigger undef behavior
Testcase will follow
introduce /u and %u operators (unsigned cousins)
add a few more instcombine tests