search

bemanproject / beman

Organization, documentation, etc. for the Beman Project
https://bemanproject.org
Apache License 2.0
30 stars 11 forks source link

Implement beman.bounds_tests #38

Open camio opened 3 months ago

camio commented 3 months ago

This task is to create a new Beman.BoundsTests library implementing Lisa Lippincott's Functions for Testing Boundary Conditions on Integer Operations paper.

This would be creating an implementation from scratch. Per Lisa, often doing the same arithmetic in a wider type or in an unsigned type will give you the information you need in a way that optimizers can see through.

Lisa has offered to provide more advice to anyone willing to take this on.

camio commented 3 months ago

The name here (Beman.BoundsTests) is totally a placeholder. Suggestions are welcome.