aboutsummaryrefslogtreecommitdiff
path: root/gcc/match.pd
AgeCommit message (Expand)AuthorFilesLines
2024-12-05Match: Refactor the unsigned SAT_TRUNC match patterns [NFC]Pan Li1-60/+52
2024-12-03tree-ssanames, match.pd: get_nonzero_bits/with_*_nonzero_bits* cleanups and i...Jakub Jelinek1-16/+29
2024-12-03Match: Refactor the unsigned SAT_SUB match patterns [NFC]Pan Li1-114/+89
2024-11-27match: Improve handling of double convert [PR117776]Andrew Pinski1-2/+2
2024-11-27Match: Refactor the unsigned SAT_ADD match ADD_OVERFLOW pattern [NFC]Pan Li1-53/+30
2024-11-27match.pd: Avoid introducing UB in the ((X /[ex] C1) +- C2) * (C1 * C3) simpli...Jakub Jelinek1-1/+9
2024-11-22match.pd: Fix up the new simpliofiers using with_possible_nonzero_bits2 [PR11...Jakub Jelinek1-3/+3
2024-11-21Match: Refactor the unsigned SAT_ADD match pattern [NFC]Pan Li1-64/+45
2024-11-18match: Fix the `max<a,b>==0` pattern for pointers [PR117646]Andrew Pinski1-2/+4
2024-11-16match: Optimize `max(a,b) == 0` to `(a|b) == 0` for unsigned [PR115275]Andrew Pinski1-0/+8
2024-11-16MATCH: Simplify `min(a, b) op max(a, b)` to `a op b` [PR109401]Eikansh Gupta1-0/+7
2024-11-15match.pd: Fold vec_perm with view_convertJennifer Schmitz1-5/+8
2024-11-14MATCH: Simplify `a rrotate (32-b) -> a lrotate b` [PR109906]Eikansh Gupta1-0/+9
2024-11-13Match: Fold pow calls to ldexp when possible [PR57492]Soumya AR1-0/+25
2024-11-13Revert "Match: Simplify branch form 3 of unsigned SAT_ADD into branchless"Pan Li1-7/+4
2024-11-12Match: Optimize log (x) CMP CST and exp (x) CMP CST operationsSoumya AR1-1/+14
2024-11-07Match:Support signed imm SAT_ADD form1xuli1-0/+13
2024-11-05match: Fix comment for `X != 0 ? X + ~0 : 0` transformationAndrew Pinski1-1/+1
2024-11-03match: Fix `a != 0 ? a - 1 : 0` pattern [PR117363]Andrew Pinski1-2/+3
2024-10-30Match: Simplify (x != 0 ? x + ~0 : 0) to (x - x != 0).xuli1-0/+10
2024-10-25match.pd: Add std::pow folding optimizations.Jennifer Schmitz1-0/+28
2024-10-25Match: Simplify branch form 3 of unsigned SAT_ADD into branchlessPan Li1-4/+7
2024-10-25Default expand_vec_cond_expr_p code to ERROR_MARKRichard Biener1-10/+7
2024-10-25Restrict :c to commutative ops as intendedRichard Biener1-1/+1
2024-10-24Try to simplify (X >> C1) * (C2 << C1) -> X * C2Richard Sandiford1-0/+13
2024-10-24Handle POLY_INT_CSTs in get_nonzero_bitsRichard Sandiford1-0/+2
2024-10-24Try to simplify (X >> C1) << (C1 + C2) -> X << C2Richard Sandiford1-0/+13
2024-10-24Generalise ((X /[ex] A) +- B) * A -> X +- A * B ruleRichard Sandiford1-14/+24
2024-10-24Simplify (X /[ex] C1) * (C1 * C2) -> X * C2Richard Sandiford1-0/+8
2024-10-24Use get_nonzero_bits to simplify trunc_div to exact_divRichard Sandiford1-0/+9
2024-10-24Make more places handle exact_div like trunc_divRichard Sandiford1-29/+31
2024-10-22Match: Support IMM=1 for unsigned scalar .SAT_SUB IMM form 1xuli1-0/+7
2024-10-22Match: Support IMM=max-1 for unsigned scalar .SAT_SUB IMM form 1xuli1-1/+17
2024-10-21Match: Support form 1 for vector signed integer SAT_TRUNCPan Li1-1/+3
2024-10-15match.pd: Further fma negation fixes [PR116891]Jakub Jelinek1-3/+3
2024-10-15Match: Remove dup match pattern for signed_integer_sat_sub [PR117141]Pan Li1-13/+2
2024-10-14middle-end/116891 - fix (negate (IFN_FNMS@3 @0 @1 @2)) -> (IFN_FMA @0 @1 @2)Richard Biener1-1/+1
2024-10-14Match: Support form 3 for vector signed integer SAT_SUBPan Li1-0/+12
2024-10-12tree-optimization/117104 - add missed guards to max(a,b) != a simplificationRichard Biener1-1/+5
2024-10-12Match: Support form 1 for vector signed integer SAT_SUBPan Li1-0/+16
2024-10-11match.pd: Fold logarithmic identities.Jennifer Schmitz1-0/+25
2024-10-11middle-end/117086 - fixup vec_cond simplificationsRichard Biener1-21/+24
2024-10-11Match: Support form 4 for scalar signed integer SAT_TRUNCPan Li1-0/+1
2024-10-11Match: Support form 3 for scalar signed integer SAT_TRUNCPan Li1-0/+3
2024-10-11Match: Support form 2 for scalar signed integer SAT_TRUNCPan Li1-8/+13
2024-10-10match.pd: Check trunc_mod vector obtap before folding.Jennifer Schmitz1-2/+7
2024-10-09tree-optimization/117000 - elide .REDUC_IOR with compare against zeroRichard Biener1-0/+9
2024-10-08tree-optimization/116024 - simplify some cases of X +- C1 cmp C2Artemiy Volkov1-1/+42
2024-10-08tree-optimization/116024 - simplify C1-X cmp C2 for wrapping signed typesArtemiy Volkov1-1/+20
2024-10-08tree-optimization/116024 - simplify C1-X cmp C2 for unsigned typesArtemiy Volkov1-1/+22
generated by cgit v1.1 at 2025-02-06 23:32:25 +0000