------- Comment #6 from pinskia at gcc dot gnu dot org 2006-12-14 07:05 ------- (In reply to comment #5) > one of the vectorizer testcases (vect-reduc-dot-u8b.c) still fails with > modify.diff.txt on MODIFY_EXPR where the right hand side is a call to a > builtin function (rs6000_builtin_mul_widen_even). > For Altivec, the return value of the > builtin function is always signed (while the left hand side of the assignment > is unsigned). Is the check in modify.diff.txt too strict or is the problem > with the return type of the Altivec builtin (shouldn't it be signed/unsigned > as relevant, instead of always signed? Specifically - shouldn't builtin > vmuloub return an unsigned type)?
Yes that should return an unsigned type, if it does not then we have a bug. It is defined by the altivec PIM as returning vector unsigned short. The patch is not too strict as far as I know. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22372
