[all-commits] [llvm/llvm-project] ca051d: [mlir][utils] Add script to verify canonicalizatio...

[Ivan Butygin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ca051dfe9f0996e7fdad8fde5817e5b6ce758ab9
      https://github.com/llvm/llvm-project/commit/ca051dfe9f0996e7fdad8fde5817e5b6ce758ab9
  Author: Ivan Butygin <ivan.butygin at gmail.com>
  Date:   2024-05-13 (Mon, 13 May 2024)

  Changed paths:
    A mlir/utils/verify-canon/verify_canon.py

  Log Message:
  -----------
  [mlir][utils] Add script to verify canonicalizations against Alive2 (#91867)

This script takes IR before and after canonicalization, translates it
into llvm IR and converts it to format suitable for Alive2
https://alive2.llvm.org/ce/

This is primarily for arith canonicalizations verification, but
technically it can be adapted for any dialect translatable to llvm.

Usage `python verify_canon.py canonicalize.mlir -f func1 func2 ...`

Example output: https://alive2.llvm.org/ce/z/KhQs4J

Initial discussion:
https://github.com/llvm/llvm-project/pull/91646#pullrequestreview-2049342826



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications