forked from wangliu-iscas/gcc-patch
-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add peephole to eliminate redundant comparison after cmpccxadd.
Similar like we did for CMPXCHG, but extended to all ix86_comparison_int_operator since CMPCCXADD set EFLAGS exactly same as CMP. When operand order in CMP insn is same as that in CMPCCXADD, CMP insn can be eliminated directly. When operand order is swapped in CMP insn, only optimize cmpccxadd + cmpl + jcc/setcc to cmpccxadd + jcc/setcc when FLAGS_REG is dead after jcc/setcc plus adjusting code for jcc/setcc. gcc/ChangeLog: PR target/110591 * config/i386/sync.md (cmpccxadd_<mode>): Adjust the pattern to explicitly set FLAGS_REG like *cmp<mode>_1, also add extra 3 define_peephole2 after the pattern. gcc/testsuite/ChangeLog: * gcc.target/i386/pr110591.c: New test. * gcc.target/i386/pr110591-2.c: New test.
- Loading branch information
1 parent
c2d62cd
commit fecadf3
Showing
3 changed files
with
315 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,90 @@ | ||
| /* { dg-do compile { target { ! ia32 } } } */ | ||
| /* { dg-options "-mcmpccxadd -O2 -fno-if-conversion -fno-if-conversion2" } */ | ||
| /* { dg-final { scan-assembler-not {cmp[lq]?[ \t]+} } } */ | ||
| /* { dg-final { scan-assembler-times {cmpoxadd[ \t]+} 12 } } */ | ||
|
|
||
| #include <immintrin.h> | ||
|
|
||
| int foo_jg (int *ptr, int v) | ||
| { | ||
| if (_cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) > v) | ||
| return 100; | ||
| return 200; | ||
| } | ||
|
|
||
| int foo_jl (int *ptr, int v) | ||
| { | ||
| if (_cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) < v) | ||
| return 300; | ||
| return 100; | ||
| } | ||
|
|
||
| int foo_je(int *ptr, int v) | ||
| { | ||
| if (_cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) == v) | ||
| return 123; | ||
| return 134; | ||
| } | ||
|
|
||
| int foo_jne(int *ptr, int v) | ||
| { | ||
| if (_cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) != v) | ||
| return 111; | ||
| return 12; | ||
| } | ||
|
|
||
| int foo_jge(int *ptr, int v) | ||
| { | ||
| if (_cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) >= v) | ||
| return 413; | ||
| return 23; | ||
| } | ||
|
|
||
| int foo_jle(int *ptr, int v) | ||
| { | ||
| if (_cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) <= v) | ||
| return 3141; | ||
| return 341; | ||
| } | ||
|
|
||
| int fooq_jg (long long *ptr, long long v) | ||
| { | ||
| if (_cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) > v) | ||
| return 123; | ||
| return 3; | ||
| } | ||
|
|
||
| int fooq_jl (long long *ptr, long long v) | ||
| { | ||
| if (_cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) < v) | ||
| return 313; | ||
| return 5; | ||
| } | ||
|
|
||
| int fooq_je(long long *ptr, long long v) | ||
| { | ||
| if (_cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) == v) | ||
| return 1313; | ||
| return 13; | ||
| } | ||
|
|
||
| int fooq_jne(long long *ptr, long long v) | ||
| { | ||
| if (_cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) != v) | ||
| return 1314; | ||
| return 132; | ||
| } | ||
|
|
||
| int fooq_jge(long long *ptr, long long v) | ||
| { | ||
| if (_cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) >= v) | ||
| return 14314; | ||
| return 434; | ||
| } | ||
|
|
||
| int fooq_jle(long long *ptr, long long v) | ||
| { | ||
| if (_cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) <= v) | ||
| return 14414; | ||
| return 43; | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,66 @@ | ||
| /* { dg-do compile { target { ! ia32 } } } */ | ||
| /* { dg-options "-mcmpccxadd -O2" } */ | ||
| /* { dg-final { scan-assembler-not {cmp[lq]?[ \t]+} } } */ | ||
| /* { dg-final { scan-assembler-times {cmpoxadd[ \t]+} 12 } } */ | ||
|
|
||
| #include <immintrin.h> | ||
|
|
||
| _Bool foo_setg (int *ptr, int v) | ||
| { | ||
| return _cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) > v; | ||
| } | ||
|
|
||
| _Bool foo_setl (int *ptr, int v) | ||
| { | ||
| return _cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) < v; | ||
| } | ||
|
|
||
| _Bool foo_sete(int *ptr, int v) | ||
| { | ||
| return _cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) == v; | ||
| } | ||
|
|
||
| _Bool foo_setne(int *ptr, int v) | ||
| { | ||
| return _cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) != v; | ||
| } | ||
|
|
||
| _Bool foo_setge(int *ptr, int v) | ||
| { | ||
| return _cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) >= v; | ||
| } | ||
|
|
||
| _Bool foo_setle(int *ptr, int v) | ||
| { | ||
| return _cmpccxadd_epi32(ptr, v, 1, _CMPCCX_O) <= v; | ||
| } | ||
|
|
||
| _Bool fooq_setg (long long *ptr, long long v) | ||
| { | ||
| return _cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) > v; | ||
| } | ||
|
|
||
| _Bool fooq_setl (long long *ptr, long long v) | ||
| { | ||
| return _cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) < v; | ||
| } | ||
|
|
||
| _Bool fooq_sete(long long *ptr, long long v) | ||
| { | ||
| return _cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) == v; | ||
| } | ||
|
|
||
| _Bool fooq_setne(long long *ptr, long long v) | ||
| { | ||
| return _cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) != v; | ||
| } | ||
|
|
||
| _Bool fooq_setge(long long *ptr, long long v) | ||
| { | ||
| return _cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) >= v; | ||
| } | ||
|
|
||
| _Bool fooq_setle(long long *ptr, long long v) | ||
| { | ||
| return _cmpccxadd_epi64(ptr, v, 1, _CMPCCX_O) <= v; | ||
| } |