Fixed sdiv, ashr, lshr UB cases and added test cases