You should do this test with float4 (or rather, __vector(float[4])) instead of int4. float4 is more likely to exist in non-x86 architectures, so the tests will actually be tested.