Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[AIG] Add LowerVariadic and LowerWordToBits passes #7739

Merged
merged 2 commits into from
Oct 26, 2024
Merged

[AIG] Add LowerVariadic and LowerWordToBits passes #7739

merged 2 commits into from
Oct 26, 2024

Commits on Oct 26, 2024

  1. [AIG] Add LowerVariadic pass 

    This commit adds AIG LowerVariadic pass to lower variadic AndInverter
op to have at most two operands. This makes IR closer to traditinal
AIG representation combined with LowerWordToBits pass
    @uenoku
    uenoku committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    193bf0c View commit details
    Browse the repository at this point in the history

  2. [AIG] Add LowerWordToBits pass 

    This commit ads LowerWordToBits pass that perform bit-blasting for
AndInverterOp.
    @uenoku
    uenoku committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    29cf976 View commit details
    Browse the repository at this point in the history