contrib/gcc/loop-iv.c

476 iv_add (struct rtx_iv *iv0, struct rtx_iv *iv1, enum rtx_code op)
485       && GET_MODE_SIZE (iv0->extend_mode) < GET_MODE_SIZE (iv1->extend_mode))
487       iv0->extend_mode = iv1->extend_mode;
491   if (iv1->extend == UNKNOWN
492       && iv1->mode == iv1->extend_mode
493       && iv1->step == const0_rtx
494       && GET_MODE_SIZE (iv1->extend_mode) < GET_MODE_SIZE (iv0->extend_mode))
496       iv1->extend_mode = iv0->extend_mode;
497       iv1->base = simplify_gen_unary (ZERO_EXTEND, iv1->extend_mode,
498 				      iv1->base, iv1->mode);
502   if (mode != iv1->extend_mode)
505   if (iv0->extend == UNKNOWN && iv1->extend == UNKNOWN)
507       if (iv0->mode != iv1->mode)
510       iv0->base = simplify_gen_binary (op, mode, iv0->base, iv1->base);
511       iv0->step = simplify_gen_binary (op, mode, iv0->step, iv1->step);
517   if (iv1->extend == UNKNOWN
518       && iv1->mode == mode
519       && iv1->step == const0_rtx)
521       iv0->delta = simplify_gen_binary (op, mode, iv0->delta, iv1->base);
530       *iv0 = *iv1;
904   struct rtx_iv iv0, iv1;
978       && !iv_analyze_expr (insn, op1, omode, &iv1))
996       if (!iv_add (&iv0, &iv1, code))
1874 canonicalize_iv_subregs (struct rtx_iv *iv0, struct rtx_iv *iv1,
1884   if (iv1->first_special || iv1->mult != const1_rtx || iv1->delta != const0_rtx)
1893 	    || iv1->extend == ZERO_EXTEND)
1901 	    || iv1->extend == SIGN_EXTEND)
1908 	    && iv1->extend != UNKNOWN
1909 	    && iv0->extend != iv1->extend)
1915 	if (iv1->extend != UNKNOWN)
1916 	  signed_p = iv1->extend == SIGN_EXTEND;
1926      (compare (subreg:SI (iv0)) (subreg:SI (iv1)))
1928      and iv0 and iv1 are both ivs iterating in SI mode, but calculated
1937   if (GET_MODE_BITSIZE (comp_mode) < GET_MODE_BITSIZE (iv1->extend_mode))
1938     comp_mode = iv1->extend_mode;
1951   if (iv1->extend_mode != comp_mode)
1953       if (iv1->mode != iv1->extend_mode
1954 	  || iv1->step != const0_rtx)
1957       iv1->base = simplify_gen_unary (signed_p ? SIGN_EXTEND : ZERO_EXTEND,
1958 				      comp_mode, iv1->base, iv1->mode);
1959       iv1->extend_mode = comp_mode;
1967       && iv0->mode != iv1->mode)
1968     shorten_into_mode (iv0, iv1->mode, cond, signed_p, desc);
1970   if (iv1->mode == iv1->extend_mode
1971       && iv1->step == const0_rtx
1972       && iv0->mode != iv1->mode)
1973     shorten_into_mode (iv1, iv0->mode, swap_condition (cond), signed_p, desc);
1975   if (iv0->mode != iv1->mode)
1993   struct rtx_iv iv0, iv1, tmp_iv;
2040   if (!iv_analyze (insn, op1, &iv1))
2042   if (iv1.extend_mode == VOIDmode)
2043     iv1.mode = iv1.extend_mode = mode;
2046       || GET_MODE_BITSIZE (iv1.extend_mode) > HOST_BITS_PER_WIDE_INT)
2057 	tmp_iv = iv0; iv0 = iv1; iv1 = tmp_iv;
2075   if (!canonicalize_iv_subregs (&iv0, &iv1, cond, desc))
2085   if (GET_CODE (iv0.step) != CONST_INT || GET_CODE (iv1.step) != CONST_INT)
2091   if (iv0.step != const0_rtx && iv1.step != const0_rtx)
2096       iv0.step = simplify_gen_binary (MINUS, comp_mode, iv0.step, iv1.step);
2097       iv1.step = const0_rtx;
2102   if (iv0.step == const0_rtx && iv1.step == const0_rtx)
2108 	step_val = -INTVAL (iv1.step);
2150 	    tmp = lowpart_subreg (mode, iv1.base, comp_mode);
2155 	    iv1.base = simplify_gen_binary (PLUS, comp_mode,
2156 					    iv1.base, constm1_rtx);
2187 	  tmp = lowpart_subreg (mode, iv1.base, comp_mode);
2207 	step = simplify_gen_unary (NEG, comp_mode, iv1.step, comp_mode);
2210       delta = simplify_gen_binary (MINUS, comp_mode, iv1.base, iv0.base);
2248 	      tmp = lowpart_subreg (mode, iv1.base, comp_mode);
2278 	  inc = INTVAL (iv0.step) - INTVAL (iv1.step);
2279 	  if (GET_CODE (iv1.base) == CONST_INT)
2280 	    up = INTVAL (iv1.base);
2295 	      iv1.base = simplify_gen_binary (MINUS, comp_mode, iv1.base, delta);
2296 	      iv1.base = simplify_gen_binary (PLUS, comp_mode, iv1.base, step);
2300 	  tmp1 = lowpart_subreg (mode, iv1.base, comp_mode);
2319       iv1.base = simplify_gen_binary (MINUS, comp_mode, iv1.base, iv0.base);
2321       iv0.step = simplify_gen_binary (MINUS, comp_mode, iv0.step, iv1.step);
2322       iv1.step = const0_rtx;
2326 	  iv1.base = simplify_gen_unary (NEG, comp_mode, iv1.base, mode);
2342       tmp1 = lowpart_subreg (mode, iv1.base, comp_mode);
2354       if (iv1.step == const0_rtx)
2364 	  tmp1 = lowpart_subreg (mode, iv1.base, comp_mode);
2394 	  tmp = simplify_gen_binary (PLUS, comp_mode, iv1.base, iv0.step);
2407 	  step = simplify_gen_unary (NEG, mode, iv1.step, mode);
2409 	  tmp1 = lowpart_subreg (mode, iv1.base, comp_mode);
2438 	  tmp = simplify_gen_binary (PLUS, comp_mode, iv0.base, iv1.step);