tree-optimization/117000 - elide .REDUC_IOR with compare against zero
The following adds a pattern to elide a .REDUC_IOR operation when the result is compared against zero with a cbranch. I've resorted to using can_compare_p since that's what RTL expansion eventually checks - while GIMPLE allowed whole vector equality compares for long I'll notice vector lowering won't lower unsupported ones and RTL expansion doesn't seem to try using [u]cmp<vector-mode> optabs (and neither x86 nor aarch64 implements those). There's cstore but no target implements that for vector modes either. PR tree-optimization/117000 * match.pd (.REDUC_IOR !=/== 0): New pattern. * gimple-match-head.cc: Include memmodel.h and optabs.h. * generic-match-head.cc: Likewise. * gcc.target/i386/pr117000.c: New testcase.
Showing
- gcc/generic-match-head.cc 2 additions, 0 deletionsgcc/generic-match-head.cc
- gcc/gimple-match-head.cc 2 additions, 0 deletionsgcc/gimple-match-head.cc
- gcc/match.pd 9 additions, 0 deletionsgcc/match.pd
- gcc/testsuite/gcc.target/i386/pr117000.c 13 additions, 0 deletionsgcc/testsuite/gcc.target/i386/pr117000.c
Loading
Please register or sign in to comment