http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56875
--- Comment #6 from jbglaw at gcc dot gnu.org --- Author: jbglaw Date: Fri Sep 20 19:00:02 2013 New Revision: 202796 URL: http://gcc.gnu.org/viewcvs?rev=202796&root=gcc&view=rev Log: Work around buggy gas not properly sign-extending a 64bit value on a 32bit host PR target/56875 2013-09-20 Martin Husemann <mar...@netbsd.org> Jan-Benedict Glaw <jbg...@lug-owl.de> gcc/ * config/vax/vax.c (vax_output_int_move): Use D format specifier. * config/vax/vax.md (ashldi3, <unnamed>): Ditto. gcc/testsuite/ * gcc.target/vax/vax.exp: New. * gcc.target/vax/pr56875.c: Ditto. Added: trunk/gcc/testsuite/gcc.target/vax/ trunk/gcc/testsuite/gcc.target/vax/pr56875.c trunk/gcc/testsuite/gcc.target/vax/vax.exp Modified: trunk/gcc/ChangeLog trunk/gcc/config/vax/vax.c trunk/gcc/config/vax/vax.md trunk/gcc/testsuite/ChangeLog
