rsmith requested changes to this revision. rsmith added a comment. This revision now requires changes to proceed. I agree. In the example, the type of `y == z` should be `vec`, not `int` -- we should "promote" to the vector type. Repository: rL LLVM http://reviews.llvm.org/D18956