rshift64.ll 302 Bytes