Commits on Feb 3, 2023

1. [Fix][Arith] Analyzer simplification starts with canonical …

   This PR updates the order of arithmetic analyzer simplification, by
   adding a stage of canonical simplification at the very beginning so
   that every simplification always starts with a canonical round. This
   is because the rewrite simplification may destroy some PrimExpr property
   that the canonical simplification can make use of. Therefore, adding
   the canonical one in the front can maximize the use of canonical
   simplification.

   

   MasterJH5574 committed Feb 3, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 4df3068
   • Browse repository at this point

   Copy the full SHA

   4df3068 View commit details

   Browse the repository at this point in the history