1488 		 const widest_int &r1val, const widest_int &r1mask,  in bit_value_binop()  argument
1505       *mask = (r1mask | r2mask) & (r1val | r1mask) & (r2val | r2mask);  in bit_value_binop()
1512       *mask = wi::bit_and_not (r1mask | r2mask,  in bit_value_binop()
1513 			       wi::bit_and_not (r1val, r1mask)  in bit_value_binop()
1520       *mask = r1mask | r2mask;  in bit_value_binop()
1531 	      *mask = r1mask;  in bit_value_binop()
1546 		  *mask = wi::rrotate (r1mask, shift, width);  in bit_value_binop()
1551 		  *mask = wi::lrotate (r1mask, shift, width);  in bit_value_binop()
1569 	      res_mask = wi::rrotate (r1mask, shift, width);  in bit_value_binop()
1574 	      res_mask = wi::lrotate (r1mask, shift, width);  in bit_value_binop()
1584 		  tmp_mask = wi::rrotate (r1mask, shift, width);  in bit_value_binop()
1589 		  tmp_mask = wi::lrotate (r1mask, shift, width);  in bit_value_binop()
1610 	      *mask = r1mask;  in bit_value_binop()
1619 		  *mask = wi::rshift (wi::ext (r1mask, width, sgn), shift, sgn);  in bit_value_binop()
1624 		  *mask = wi::ext (r1mask << shift, width, sgn);  in bit_value_binop()
1644 		  arg_mask = wi::ext (r1mask, width, sgn);  in bit_value_binop()
1651 		  arg_mask = r1mask;  in bit_value_binop()
1679 	  else if ((r1val | r1mask) == 0)  in bit_value_binop()
1688 	      tmp <<= wi::ctz (r1val | r1mask);  in bit_value_binop()
1693 	  else if (!wi::neg_p (r1val | r1mask, sgn))  in bit_value_binop()
1696 	      widest_int arg = r1val | r1mask;  in bit_value_binop()
1706 	  else if (!wi::neg_p (r1mask))  in bit_value_binop()
1709 	      widest_int arg = wi::bit_and_not (r1val, r1mask);  in bit_value_binop()
1727 	widest_int lo = (wi::bit_and_not (r1val, r1mask)  in bit_value_binop()
1732 	widest_int hi = (r1val | r1mask) + (r2val | r2mask);  in bit_value_binop()
1738 	*mask = r1mask | r2mask | (lo ^ hi);  in bit_value_binop()
1749 	widest_int lo = wi::bit_and_not (r1val, r1mask) - (r2val | r2mask);  in bit_value_binop()
1751 	widest_int hi = (r1val | r1mask) - wi::bit_and_not (r2val, r2mask);  in bit_value_binop()
1753 	*mask = r1mask | r2mask | (lo ^ hi);  in bit_value_binop()
1763 	bit_value_mult_const (sgn, width, val, mask, r1val, r1mask, r2val);  in bit_value_binop()
1764       else if (r1mask == 0  in bit_value_binop()
1772 	  int r1tz = wi::ctz (r1val | r1mask);  in bit_value_binop()
1791 	widest_int m = r1mask | r2mask;  in bit_value_binop()
1818 	const widest_int &o1mask = swap_p ? r2mask : r1mask;  in bit_value_binop()
1820 	const widest_int &o2mask = swap_p ? r1mask : r2mask;  in bit_value_binop()
1862 	value_mask_to_min_max (&min1, &max1, r1val, r1mask, sgn, width);  in bit_value_binop()
1869 		*mask = r1mask;  in bit_value_binop()
1887 		*mask = r1mask;  in bit_value_binop()
1894 	    *mask = r1mask | r2mask | (r1val ^ r2val);  in bit_value_binop()
1902 	widest_int r1max = r1val | r1mask;  in bit_value_binop()
1914 		    *mask = r1mask;  in bit_value_binop()
1934 	widest_int r1max = r1val | r1mask;  in bit_value_binop()