Always compare types of LHS for gimple_assign in ICF.

	PR ipa/92518
	* ipa-icf-gimple.c (func_checker::compare_gimple_assign):
	Always compare LHS of gimple_assign.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b4b49424eaed5cbe63df5f4fec8bf16b9776cf20..c107f19a0f4a6a37a34376872565b1030f1e36bd 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2020-02-18  Martin Liska  <mliska@suse.cz>
+
+       PR ipa/92518
+       * ipa-icf-gimple.c (func_checker::compare_gimple_assign):
+       Always compare LHS of gimple_assign.
+
 2020-02-18  Martin Liska  <mliska@suse.cz>
 
        PR ipa/93583

diff --git a/gcc/ipa-icf-gimple.c b/gcc/ipa-icf-gimple.c
index fa71a028c663a51b6f618e0d81d5c9fb42ad6470..3e5b2d4bd6d3207a612bcc172178b52cbf3189ce 100644 (file)
--- a/gcc/ipa-icf-gimple.c
+++ b/gcc/ipa-icf-gimple.c
@@ -620,8 +620,8 @@ func_checker::compare_gimple_assign (gimple *s1, gimple *s2)
       arg1 = gimple_op (s1, i);
       arg2 = gimple_op (s2, i);
 
-      /* LHS types of NOP_EXPR must be compatible.  */
-      if (CONVERT_EXPR_CODE_P (code1) && i == 0)
+      /* Compare types for LHS.  */
+      if (i == 0)
        {
          if (!compatible_types_p (TREE_TYPE (arg1), TREE_TYPE (arg2)))
            return return_false_with_msg ("GIMPLE NOP LHS type mismatch");