knownnonzero-shift.ll 365 Bytes