Skip to content
Snippets Groups Projects

Test MO_MulMayOflo

Merged Ben Gamari requested to merge T2 into master

Here we add a test exercising MO_MulMayOflo, addresssing #2 (closed).

Until now we made no attempt to test this machop since the backend is free to implement it conservatively, precluding treating it as we do most other non-callish machops. I briefly considered generalizing the reference implementation to allow sets of allowed results but this seemed to add more complexity than this case warrants and would make it harder to reason about the correctness of the testsuite.

Here I instead added a separate test which tests MO_MulMayOflo independently.

As GHC currently does not have surface syntax for this primop, this depends upon ghc!8331 (closed).

In service of fixing ghc#21624 (closed).

Edited by Ben Gamari

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply
Loading