diff --git a/gnu/dist/gcc/config/alpha/alpha.c b/gnu/dist/gcc/config/alpha/alpha.c
index 03a9587668bd..63cbef6c110f 100644
--- a/gnu/dist/gcc/config/alpha/alpha.c
+++ b/gnu/dist/gcc/config/alpha/alpha.c
@@ -161,6 +161,13 @@ override_options ()
 	}
       else if (! strcmp (alpha_cpu_string, "ev6")
 	       || ! strcmp (alpha_cpu_string, "21264"))
+	{
+	  alpha_cpu = PROCESSOR_EV6;
+	  target_flags |= MASK_BWX | MASK_MAX;
+	  target_flags &= ~ MASK_CIX;
+	}
+      else if (! strcmp (alpha_cpu_string, "ev67")
+	       || ! strcmp (alpha_cpu_string, "21264a"))
 	{
 	  alpha_cpu = PROCESSOR_EV6;
 	  target_flags |= MASK_BWX | MASK_CIX | MASK_MAX;