Hi, 

    This is a simple fix for pr95855.

    With this fix, pass_split_paths can recognize the if-conversion opportunity 
of the testcase and doesn't duplicate the corresponding block. 

    Added one testcase for this. Bootstrap and tested on both aarch64 and x86 
Linux platform, no new regression witnessed.

    Ok for trunk?

Thanks,
Yang Yang
    

+2020-06-28  Yang Yang  <yangyang...@huawei.com>
+
+       PR tree-optimization/95855
+       * gimple-ssa-split-paths.c (is_feasible_trace): Add extra
+       checks to recognize a missed if-conversion opportunity when
+       judging whether to duplicate a block.
+

+2020-06-28 Yang Yang  <yangyang...@huawei.com>
+
+       PR tree-optimization/95855
+       * gcc.dg/tree-ssa/split-paths-12.c: New testcase.
+

Attachment: PR95855-v0.patch
Description: PR95855-v0.patch

Reply via email to