alias.c (nonlocal_reference_p): Add else for disjoint ifs.

        * alias.c (nonlocal_reference_p): Add else for disjoint ifs.
        * flow.c (find_use_as_address): Likewise.
        * function.c (fixup_var_refs_1): Likewise.
        (walk_fixup_memory_subreg, fixup_stack_1): Likewise.
        * jump.c (invert_exp, redirect_exp): Likewise.
        * loop.c (replace_call_address): Likewise.
        (count_nonfixed_reads): Likewise.
        * rtlanal.c (modified_between_p): Likewise.
        (modified_in_p, volatile_insn_p, volatile_refs_p): Likewise.
        (side_effects_p, replace_regs, jmp_uses_reg_or_mem): Likewise.
        * unroll.c (remap_split_bivs): Likewise.

From-SVN: r31103

9 files changed, 32 insertions, 18 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 676a525..ce1c44a 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,17 @@
+1999-12-27  Christophe Jaillet  <jaillet.christophe@caramail.com>
+
+	* alias.c (nonlocal_reference_p): Add else for disjoint ifs.
+	* flow.c (find_use_as_address): Likewise.
+	* function.c (fixup_var_refs_1): Likewise.
+	(walk_fixup_memory_subreg, fixup_stack_1): Likewise.
+	* jump.c (invert_exp, redirect_exp): Likewise.
+	* loop.c (replace_call_address): Likewise.
+	(count_nonfixed_reads): Likewise.
+	* rtlanal.c (modified_between_p): Likewise.
+	(modified_in_p, volatile_insn_p, volatile_refs_p): Likewise.
+	(side_effects_p, replace_regs, jmp_uses_reg_or_mem): Likewise.
+	* unroll.c (remap_split_bivs): Likewise.
+
 1999-12-27  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 
 	* diagnostic.c (v_message_with_decl): Use .* format specifier
diff --git a/gcc/alias.c b/gcc/alias.c
index e788ed3..e08e6b9a 100644
--- a/gcc/alias.c
+++ b/gcc/alias.c
@@ -1468,7 +1468,7 @@ nonlocal_reference_p (x)
 	    if (nonlocal_reference_p (XEXP (x, i)))
 	      return 1;
 	  }
-	if (fmt[i] == 'E')
+	else if (fmt[i] == 'E')
 	  {
 	    register int j;
 	    for (j = 0; j < XVECLEN (x, i); j++)
diff --git a/gcc/flow.c b/gcc/flow.c
index 439c95b..6d0ce0b 100644
--- a/gcc/flow.c
+++ b/gcc/flow.c
@@ -4881,7 +4881,7 @@ find_use_as_address (x, reg, plusconst)
 	  else if (tem != 0)
 	    return (rtx) (HOST_WIDE_INT) 1;
 	}
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	{
 	  register int j;
 	  for (j = XVECLEN (x, i) - 1; j >= 0; j--)
diff --git a/gcc/function.c b/gcc/function.c
index 9a73e12..77b1941 100644
--- a/gcc/function.c
+++ b/gcc/function.c
@@ -2324,7 +2324,7 @@ fixup_var_refs_1 (var, promoted_mode, loc, insn, replacements)
     {
       if (fmt[i] == 'e')
 	fixup_var_refs_1 (var, promoted_mode, &XEXP (x, i), insn, replacements);
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	{
 	  register int j;
 	  for (j = 0; j < XVECLEN (x, i); j++)
@@ -2405,7 +2405,7 @@ walk_fixup_memory_subreg (x, insn, uncritical)
     {
       if (fmt[i] == 'e')
 	XEXP (x, i) = walk_fixup_memory_subreg (XEXP (x, i), insn, uncritical);
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	{
 	  register int j;
 	  for (j = 0; j < XVECLEN (x, i); j++)
@@ -2468,7 +2468,7 @@ fixup_stack_1 (x, insn)
     {
       if (fmt[i] == 'e')
 	XEXP (x, i) = fixup_stack_1 (XEXP (x, i), insn);
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	{
 	  register int j;
 	  for (j = 0; j < XVECLEN (x, i); j++)
diff --git a/gcc/jump.c b/gcc/jump.c
index 2020840..b651964 100644
--- a/gcc/jump.c
+++ b/gcc/jump.c
@@ -4646,7 +4646,7 @@ invert_exp (x, insn)
       if (fmt[i] == 'e')
 	if (! invert_exp (XEXP (x, i), insn))
 	  return 0;
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	{
 	  register int j;
 	  for (j = 0; j < XVECLEN (x, i); j++)
@@ -4795,7 +4795,7 @@ redirect_exp (loc, olabel, nlabel, insn)
       if (fmt[i] == 'e')
 	if (! redirect_exp (&XEXP (x, i), olabel, nlabel, insn))
 	  return 0;
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	{
 	  register int j;
 	  for (j = 0; j < XVECLEN (x, i); j++)
diff --git a/gcc/loop.c b/gcc/loop.c
index 7f186c6..be02b97 100644
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -2322,7 +2322,7 @@ replace_call_address (x, reg, addr)
     {
       if (fmt[i] == 'e')
 	replace_call_address (XEXP (x, i), reg, addr);
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	{
 	  register int j;
 	  for (j = 0; j < XVECLEN (x, i); j++)
@@ -2374,7 +2374,7 @@ count_nonfixed_reads (x)
     {
       if (fmt[i] == 'e')
 	value += count_nonfixed_reads (XEXP (x, i));
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	{
 	  register int j;
 	  for (j = 0; j < XVECLEN (x, i); j++)
diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c
index 838ca9da..f264e8f 100644
--- a/gcc/rtlanal.c
+++ b/gcc/rtlanal.c
@@ -612,7 +612,7 @@ modified_between_p (x, start, end)
       if (fmt[i] == 'e' && modified_between_p (XEXP (x, i), start, end))
 	return 1;
 
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	for (j = XVECLEN (x, i) - 1; j >= 0; j--)
 	  if (modified_between_p (XVECEXP (x, i, j), start, end))
 	    return 1;
@@ -667,7 +667,7 @@ modified_in_p (x, insn)
       if (fmt[i] == 'e' && modified_in_p (XEXP (x, i), insn))
 	return 1;
 
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	for (j = XVECLEN (x, i) - 1; j >= 0; j--)
 	  if (modified_in_p (XVECEXP (x, i, j), insn))
 	    return 1;
@@ -1519,7 +1519,7 @@ volatile_insn_p (x)
 	    if (volatile_insn_p (XEXP (x, i)))
 	      return 1;
 	  }
-	if (fmt[i] == 'E')
+	else if (fmt[i] == 'E')
 	  {
 	    register int j;
 	    for (j = 0; j < XVECLEN (x, i); j++)
@@ -1585,7 +1585,7 @@ volatile_refs_p (x)
 	    if (volatile_refs_p (XEXP (x, i)))
 	      return 1;
 	  }
-	if (fmt[i] == 'E')
+	else if (fmt[i] == 'E')
 	  {
 	    register int j;
 	    for (j = 0; j < XVECLEN (x, i); j++)
@@ -1660,7 +1660,7 @@ side_effects_p (x)
 	    if (side_effects_p (XEXP (x, i)))
 	      return 1;
 	  }
-	if (fmt[i] == 'E')
+	else if (fmt[i] == 'E')
 	  {
 	    register int j;
 	    for (j = 0; j < XVECLEN (x, i); j++)
@@ -1959,7 +1959,7 @@ replace_regs (x, reg_map, nregs, replace_dest)
     {
       if (fmt[i] == 'e')
 	XEXP (x, i) = replace_regs (XEXP (x, i), reg_map, nregs, replace_dest);
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	{
 	  register int j;
 	  for (j = 0; j < XVECLEN (x, i); j++)
@@ -2014,7 +2014,7 @@ jmp_uses_reg_or_mem (x)
 	  && jmp_uses_reg_or_mem (XEXP (x, i)))
 	return 1;
 
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	for (j = 0; j < XVECLEN (x, i); j++)
 	  if (jmp_uses_reg_or_mem (XVECEXP (x, i, j)))
 	    return 1;
diff --git a/gcc/stupid.c b/gcc/stupid.c
index e572773..360e024 100644
--- a/gcc/stupid.c
+++ b/gcc/stupid.c
@@ -750,7 +750,7 @@ stupid_mark_refs (x, chain)
     {
       if (fmt[i] == 'e')
 	stupid_mark_refs (XEXP (x, i), chain);
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	{
 	  register int j;
 	  for (j = XVECLEN (x, i) - 1; j >= 0; j--)
diff --git a/gcc/unroll.c b/gcc/unroll.c
index 6b2b53e..85d7d11 100644
--- a/gcc/unroll.c
+++ b/gcc/unroll.c
@@ -4059,7 +4059,7 @@ remap_split_bivs (x)
     {
       if (fmt[i] == 'e')
 	XEXP (x, i) = remap_split_bivs (XEXP (x, i));
-      if (fmt[i] == 'E')
+      else if (fmt[i] == 'E')
 	{
 	  register int j;
 	  for (j = 0; j < XVECLEN (x, i); j++)