Skip to content
Snippets Groups Projects
  1. Jul 31, 2023
  2. Jul 19, 2023
  3. Jul 05, 2023
  4. Jun 30, 2023
  5. Jun 26, 2023
  6. Jun 23, 2023
  7. Nov 29, 2022
  8. Nov 28, 2022
  9. Jun 22, 2022
  10. Jun 15, 2022
  11. May 24, 2022
    • Ben Gamari's avatar
      Width: Add (un)?signedBounds · 5e35523d
      Ben Gamari authored
      5e35523d
    • Ben Gamari's avatar
      stuff · 87f31e39
      Ben Gamari authored
      87f31e39
    • Ben Gamari's avatar
      Rule out overflowing signed divisions · be8b4714
      Ben Gamari authored
      Consider a signed division such as (-128::W8) / (-1::W8). GHC lowers
      this to IDIV which will throw an FP exception since the 8-bit target
      register is too small to accommodate the result, 128.
      
      Therefore, we are going to specify the Quot primop as being undefined
      in cases where the result overflows.
      
      See #1.
      be8b4714
  12. Jan 24, 2022
  13. Nov 30, 2021
  14. Nov 27, 2021
Loading