aboutsummaryrefslogtreecommitdiff
path: root/gcc/match.pd
AgeCommit message (Expand)AuthorFilesLines
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
2024-10-08tree-optimization/116024 - simplify C1-X cmp C2 for UB-on-overflow typesArtemiy Volkov1-0/+26
2024-10-08Match: Support form 1 for scalar signed integer SAT_TRUNCPan Li1-0/+22
2024-10-08Match: Support form 3 and form 4 for scalar signed integer SAT_SUBPan Li1-0/+13
2024-10-02Match: Support form 2 for scalar signed integer SAT_SUBPan Li1-0/+14
2024-09-30Match: Support form 1 for scalar signed integer SAT_SUBPan Li1-0/+14
2024-09-26[match.pd] Handle abs pattern with convertKugan Vivekanandarajah1-21/+35
2024-09-26Match: Support form 3 for vector signed integer .SAT_ADDPan Li1-1/+3
2024-09-25match: Fix `a != 0 ? a * b : 0` patterns for things that trap [PR116772]Andrew Pinski1-2/+8
2024-09-25match: Fix A || B not optimized to true when !B implies A [PR114326]Konstantinos Eleftheriou1-0/+30
2024-09-25match: Change (A * B) + (-C) to (B - C/A) * A, if C multiple of A [PR109393]Konstantinos Eleftheriou1-1/+20
2024-09-23Match: Support form 2 for vector signed integer .SAT_ADDPan Li1-0/+16
2024-09-19Match: Support form 3 for scalar signed integer .SAT_ADDPan Li1-0/+10
2024-09-18match.pd: Check trunc_mod vector obtap before folding.Jennifer Schmitz1-1/+6
2024-09-13Match: Remove unnecessary types_match for case 1 of signed SAT_ADDPan Li1-2/+1
2024-09-11Vect: Support form 1 of vector signed integer .SAT_ADDPan Li1-0/+16
2024-09-10Match: Support form 2 for scalar signed integer .SAT_ADDPan Li1-0/+14
2024-09-06Match: Add int type fits check for form 2 of .SAT_SUB imm operandPan Li1-1/+1
2024-09-06Match: Add int type fits check for form 1 of .SAT_SUB imm operandPan Li1-1/+1
2024-09-05Match: Fix ordered and nonequalHu, Lin11-2/+2
2024-09-02i386: Optimize ordered and nonequalHu, Lin11-0/+3
2024-08-28Match: Support form 1 for scalar signed integer .SAT_ADDPan Li1-0/+15
2024-08-26Match: Add int type fits check for .SAT_ADD imm operandPan Li1-1/+1
2024-08-23Match: Support form 4 for unsigned integer .SAT_TRUNCPan Li1-0/+18
2024-08-20Match: Add pattern for `(a ? b : 0) | (a ? 0 : c)` into `a ? b : c` [PR103660]Andrew Pinski1-0/+10
2024-08-20match: extend the `((a CMP b) ? c : 0) | ((a CMP' b) ? d : 0)` patterns to su...Andrew Pinski1-19/+23
2024-08-01match: Fix wrong code due to `(a ? e : f) !=/== (b ? e : f)` patterns [PR116120]Andrew Pinski1-8/+15
2024-07-31match: Fix types matching for `(?:) !=/== (?:)` [PR116134]Andrew Pinski1-4/+6
2024-07-27Fold ctz(-x) and ctz(abs(x)) as ctz(x) in match.pd.Roger Sayle1-0/+6
2024-07-27Match: Support .SAT_SUB with IMM op for form 1-4Pan Li1-0/+35
2024-07-19Match: Only allow single use of MIN_EXPR for SAT_TRUNC form 2 [PR115863]Pan Li1-2/+13
2024-07-18Implement a -ftrapping-math/-fsignaling-nans TODO in match.pd.Roger Sayle1-7/+7
2024-07-17MATCH: Simplify (a ? x : y) eq/ne (b ? x : y) [PR111150]Eikansh Gupta1-0/+15
generated by cgit v1.1 at 2025-03-01 11:45:02 +0000