[gcc(refs/users/marxin/heads/loop-unswitching-switch-v3)] Use ranger only for supported types.

[Martin Liska]

https://gcc.gnu.org/g:860179d2bcaed07965ce2d2507ebfb8dd384e3e0

commit 860179d2bcaed07965ce2d2507ebfb8dd384e3e0
Author: Martin Liska <mliska@suse.cz>
Date:   Mon Sep 13 14:36:45 2021 +0200

    Use ranger only for supported types.

Diff:
---
 gcc/tree-ssa-loop-unswitch.c | 28 ++++++++++++++++------------
 1 file changed, 16 insertions(+), 12 deletions(-)

diff --git a/gcc/tree-ssa-loop-unswitch.c b/gcc/tree-ssa-loop-unswitch.c
index 347cbf443df..0568c283c41 100644
--- a/gcc/tree-ssa-loop-unswitch.c
+++ b/gcc/tree-ssa-loop-unswitch.c
@@ -388,20 +388,24 @@ tree_unswitch_single_loop (class loop *loop, int num)
 	  int_range_max r;
 	  edge edge_true, edge_false;
 	  extract_true_false_edges_from_block (bbs[i], &edge_true, &edge_false);
+	  tree cond = gimple_cond_lhs (stmt);
 
-	  if (ranger.range_on_edge (r, edge_true, gimple_cond_lhs (stmt))
-	      && r.undefined_p ())
+	  if (r.supports_type_p (TREE_TYPE (cond)))
 	    {
-	      gimple_cond_set_condition_from_tree (condition,
-						   boolean_false_node);
-	      changed = true;
-	    }
-	  else if(ranger.range_on_edge (r, edge_false, gimple_cond_lhs (stmt))
-	      && r.undefined_p ())
-	    {
-	      gimple_cond_set_condition_from_tree (condition,
-						   boolean_true_node);
-	      changed = true;
+	      if (ranger.range_on_edge (r, edge_true, cond)
+		  && r.undefined_p ())
+		{
+		  gimple_cond_set_condition_from_tree (condition,
+						       boolean_false_node);
+		  changed = true;
+		}
+	      else if(ranger.range_on_edge (r, edge_false, gimple_cond_lhs (stmt))
+		      && r.undefined_p ())
+		{
+		  gimple_cond_set_condition_from_tree (condition,
+						       boolean_true_node);
+		  changed = true;
+		}
 	    }
 	}
       else if (swtch != NULL)