* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@31103 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 676a525..ce1c44a 100644 (file)
--- 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..e08e6b9 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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 (file)
--- 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 (file)
--- 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 838ca9d..f264e8f 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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++)