Movatterモバイル変換

25 Match and Simplify ¶

The GIMPLE and GENERIC pattern matching project match-and-simplifytries to address several issues.

1. unify expression simplifications currently spread and duplicated over separate files like fold-const.cc, gimple-fold.cc and builtins.cc
2. allow for a cheap way to implement building and simplifying non-trivial GIMPLE expressions, avoiding the need to go through building and simplifying GENERIC via fold_buildN and then gimplifying via force_gimple_operand

To address these the project introduces a simple domain-specific languageto write expression simplifications from which code targeting GIMPLEand GENERIC is auto-generated. The GENERIC variant follows thefold_buildN API while for the GIMPLE variant and to address 2) newAPIs are introduced.

• GIMPLE API
• The Language