aboutsummaryrefslogtreecommitdiff
path: root/gcc/match.pd
AgeCommit message (Expand)AuthorFilesLines
8 daysMatch: Support form 2 for the .SAT_TRUNCPan Li1-1/+16
2024-07-03Match: Allow more types truncation for .SAT_TRUNCPan Li1-6/+6
2024-07-03[PATCH] match.pd: Fold x/sqrt(x) to sqrt(x)Jennifer Schmitz1-0/+4
2024-06-29Match: Support imm form for unsigned scalar .SAT_ADDPan Li1-0/+24
2024-06-27Internal-fn: Support new IFN SAT_TRUNC for unsigned scalar intPan Li1-0/+16
2024-06-27Vect: Support truncate after .SAT_SUB pattern in zipPan Li1-2/+2
2024-06-26Optimize a < 0 ? -1 : 0 to (signed)a >> 31.liuhongt1-0/+30
2024-06-18Match: Support forms 7 and 8 for the unsigned .SAT_ADDPan Li1-0/+10
2024-06-18Match: Support form 11 for the unsigned scalar .SAT_SUBPan Li1-1/+8
2024-06-14Match: Support more forms for the scalar unsigned .SAT_SUBPan Li1-2/+23
2024-06-12match: Improve gimple_bitwise_equal_p and gimple_bitwise_inverted_equal_p for...Andrew Pinski1-0/+7
2024-06-07Match: Support more form for scalar unsigned SAT_ADDPan Li1-1/+42
2024-06-06Vect: Support IFN SAT_SUB for unsigned vector intPan Li1-0/+14
2024-06-05Internal-fn: Support new IFN SAT_SUB for unsigned scalar intPan Li1-0/+14
2024-06-03Remove value_range typedef.Aldy Hernandez1-11/+11
2024-05-29match: Add support for `a ^ CST` to bitwise_inverted_equal_p [PR115224]Andrew Pinski1-0/+4
2024-05-29Match: Add maybe_bit_not instead of plain matchingAndrew Pinski1-4/+10
2024-05-24MATCH: Look through VIEW_CONVERT when folding VEC_PERM_EXPRs.Manolis Tsamis1-6/+8
2024-05-23Match: Add overloaded types_match to avoid code dup [NFC]Pan Li1-20/+10
2024-05-21match: Disable `(type)zero_one_valuep*CST` for 1bit signed types [PR115154]Andrew Pinski1-2/+4
2024-05-16Internal-fn: Support new IFN SAT_ADD for unsigned scalar intPan Li1-0/+51
2024-05-08match: `a CMP nonnegative ? a : ABS<a>` simplified to just `ABS<a>` [PR112392]Andrew Pinski1-0/+15
2024-05-07MATCH: Add some more value_replacement simplifications (a != 0 ? expr : 0) to...Andrew Pinski1-0/+18
2024-04-12match: Fix `!a?b:c` and `a?~t:t` patterns for signed 1 bit types [PR114666]Andrew Pinski1-1/+5
2024-03-15match.pd: Only merge truncation with conversion for -fno-signed-zerosJoe Ramsay1-0/+1
2024-03-07match.pd: Optimize a * !a to 0 [PR114009]Jakub Jelinek1-0/+11
2024-03-01middle-end/114070 - VEC_COND_EXPR foldingRichard Biener1-3/+15
2024-02-26match.pd: Guard 2 simplifications on integral TYPE_OVERFLOW_UNDEFINED [PR114090]Jakub Jelinek1-4/+6
2024-02-26middle-end/114070 - folding breaking VEC_COND expansionRichard Biener1-3/+12
2024-02-19match.pd: Fix ICE on BIT_INSERT_EXPR of BIT_FIELD_REF folding [PR113967]Jakub Jelinek1-1/+3
2024-01-31match: Fix vcond into conditional op folding [PR113607].Robin Dapp1-4/+4
2024-01-31middle-end/110176 - wrong zext (bool) <= (int) 4294967295u foldingRichard Biener1-6/+6
2024-01-12middle-end/113344 - is_truth_type_for vs GENERIC tcc_comparisonRichard Biener1-1/+1
2024-01-11match: Delay folding of 1/x into `(x+1u)<2u?x:0` until late [PR113301]Andrew Pinski1-5/+7
2024-01-11tree-optimization/113126 - vector extension compare optimizationRichard Biener1-4/+5
2024-01-11Optimize A < B ? A : B to MIN_EXPR.liuhongt1-0/+21
2024-01-10middle-end: Don't apply copysign optimization if target does not implement op...Tamar Christina1-5/+17
2024-01-04Match: Improve inverted_equal_p for bool and `^` and `==` [PR113186]Andrew Pinski1-0/+6
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-24match: Improve `(a != b) ? (a + b) : (2 * a)` pattern [PR19832]Andrew Pinski1-1/+1
2023-12-15match.pd: Optimize sign-extension followed by truncation [PR113024]Jakub Jelinek1-2/+5
2023-12-14match.pd: Simplify (t * u) / (t * v) [PR112994]Jakub Jelinek1-1/+17
2023-12-14match.pd: Simplify (t * u) / v -> t * (u / v) [PR112994]Jakub Jelinek1-3/+19
2023-12-13tree-optimization/112990 - unsupported VEC_PERM from match patternRichard Biener1-0/+2
2023-12-11MATCH: (convert)(zero_one !=/== 0/1) for outer type and zero_one type are the...Andrew Pinski1-0/+16
2023-12-11Simplify vector ((VCE (a cmp b ? -1 : 0)) < 0) ? c : d to just (VCE ((a cmp b...liuhongt1-0/+22
2023-12-04MATCH: Fix zero_one_valued_p's convert patternAndrew Pinski1-0/+3
2023-11-28MATCH: Fix invalid signed boolean type usageAndrew Pinski1-2/+6
2023-11-28match.pd: Fix parity (X) ^ parity (Y) simplification [PR112719]Jakub Jelinek1-1/+8
2023-11-28match.pd: Fix popcount (X) + popcount (Y) simplification [PR112719]Jakub Jelinek1-2/+7