[RFA/ARM] target/51534 Fix unsigned vector comparisons

[Matthew Gretton-Dann <matthew dot gretton-dann at arm dot com>]

The attached patch fixes instruction generation for unsigned vector
comparisons against a known-zero vector.

ARM's Neon extensions only allow unsigned equality comparison against
unsigned zero, not less than or greater than comparisons.

This patch fixes code generation - there are further changes that could be
made which would improve the code generated which will come in a
separate patch.

This issue does not affect the auto-vectorizer.

OK?

Matt

gcc/ChangeLog:

2012-02-21  Matthew Gretton-Dann  <matthew.gretton-dann@arm.com>

	PR target/51534
	* config/arm/arm.c (neon_builtin_data): Add entries for vcgeu
	and vcgtu.
	* config/arm/arm_neon.h: Regenerate.
	* config/arm/neon.md (unspec): Add UNSPEC_VCGEU, and UNSPEC_VCGTU.
	(neon_vcgeu): New insn.
	(neon_vcgtu): Likewise.
	* config/arm/neon.ml (s_8_32, u_8_32): New lists.
	(ops): Unsigned comparison intrinsics call a different
	builtin.

gcc/testsuite/ChangeLog:

2012-02-21  Matthew Gretton-Dann  <matthew.gretton-dann@arm.com>

	PR target/51534
	gcc.target/arm/neon/pr51534.c: New testcase.

-- 
Matthew Gretton-Dann
Principal Engineer, PD Software, ARM Ltd.

Attachment: 1-RFA-PATCH-PR-target-51534-Fix-unsigned-vector-comparisons.txt
Description: Text document