google / google/xls

Automatically test equivalence of optimized IR with unoptimized IR

Open
#226 0 comments 0 reactions 0 assignees View on GitHub
build
Dominant language
C++
Stars
1.9k
Forks
283
Avg merge
2d 10h
Merged PRs (30d)
135

Description

The current equivalent test requires the user to create an entry function. This has a few downsides:

- requires more work from the user
- requires the user to understand how to create such an entry function

cdleary@ and I propose instead that:

By default, all functions in a module are tested (this is to encourage testing). Build options are added so that:

- the user can turn off equivalence testing for all functions in the module
- the user can supply a list of functions that are not tested (and the rest are). Useful in the case where most functions are tested fast enough but a few take forever to test.
- the user can supply a list of functions that are tested (and the rest are not). Useful in the other case where most functions are tested slowly but a few are tested quickly (or *must* be tested).

These 3 options are mutually exclusive.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.