%t1 = icmp ult <2 x i32> %x, <i32 2147483648, i32 poison>
%t2 = and <2 x i32> %x, <i32 1610612736, i32 2147483647>
%t3 = icmp ne <2 x i32> %t2, <i32 1610612736, i32 2147483647>
%t4 = and <2 x i1> %t1, %t3
ret <2 x i1> %t4
}
define <2 x i1> @tgt(<2 x i32> %x) {
%t4= icmp ult <2 x i32> %x, <i32 1610612736, i32 2147483647>
ret <2 x i1> %t4
}