5393a5394,5409
>       /* Similarly, taking advantage of the fact that
> 	 (and (not A) (xor B C)) == (xor (ior A B) (ior A C))  */
> 
>       if (GET_CODE (op0) == NOT && GET_CODE (op1) == XOR)
> 	return apply_distributive_law
> 	  (gen_binary (XOR, mode,
> 		       gen_binary (IOR, mode, XEXP (op0, 0), XEXP (op1, 0)),
> 		       gen_binary (IOR, mode, copy_rtx (XEXP (op0, 0)),
> 				   XEXP (op1, 1))));
> 
>       else if (GET_CODE (op1) == NOT && GET_CODE (op0) == XOR)
> 	return apply_distributive_law
> 	  (gen_binary (XOR, mode,
> 		       gen_binary (IOR, mode, XEXP (op1, 0), XEXP (op0, 0)),
> 		       gen_binary (IOR, mode, copy_rtx (XEXP (op1, 0)), XEXP (op0, 1))));
> 
5395a5412
> 	  /* ??? May we get better code, if we do this optimization anyway  */
5412,5426d5428
<       /* Similarly, taking advantage of the fact that
< 	 (and (not A) (xor B C)) == (xor (ior A B) (ior A C))  */
< 
<       if (GET_CODE (op0) == NOT && GET_CODE (op1) == XOR)
< 	return apply_distributive_law
< 	  (gen_binary (XOR, mode,
< 		       gen_binary (IOR, mode, XEXP (op0, 0), XEXP (op1, 0)),
< 		       gen_binary (IOR, mode, copy_rtx (XEXP (op0, 0)),
< 				   XEXP (op1, 1))));
< 
<       else if (GET_CODE (op1) == NOT && GET_CODE (op0) == XOR)
< 	return apply_distributive_law
< 	  (gen_binary (XOR, mode,
< 		       gen_binary (IOR, mode, XEXP (op1, 0), XEXP (op0, 0)),
< 		       gen_binary (IOR, mode, copy_rtx (XEXP (op1, 0)), XEXP (op0, 1))));