opencompl / opencompl/veir

Carefully test negative operands to `llvm.constant`

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

Description

While #259 made the test cases for negative operands work, we should establish test coverage on both negative and positive examples that wrap. In particular, LLVM internally handles negative operands as unsigned integers and just prints the upper half of the negative. We should make sure that a negative number and the positive number that wraps to the same negative number compare equal throughout `Veir`.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.