Add test cases for 1<<r3 predication