opencompl / opencompl/veir

Support --split-input-file

Open
#975 2 comments 0 reactions 0 assignees View on GitHub
Dominant language
Lean
Stars
108
Forks
32
Avg merge
1d 1h
Merged PRs (30d)
155

Description

Especially for "negative" tests (invalid IR triggering verifiers, etc), it quickly becomes rather tedious to separate everything into its own *.mlir file. `mlir-opt` handles this with `--split-input-file`, which allows you to have multiple failing test in a single *.mlir file.

Contributor guide

No contributing guide indexed for this repository

Research direction

The issue names no implementation file, test, or entry point. Start by locating the command-line handling and input parsing related to mlir-opt-style options, then compare the requested --split-input-file behavior with mlir-opt. Done means multiple failing tests can be kept in one .mlir file and the option works as described.

Written by the indexing model from the issue text.

Assessment

Domain
cli, compilers
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Quiet
Clarity
Mostly clear
Newbie friendliness
55/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.