futhark

Added

• New prelude function: manifest. For doing subtle things to memory.

• The GPU backends now handle up to 20 operators in a single fused
  reduction.

• CUDA/HIP terminology for GPU concepts (e.g. "thread block") is now
  used in all public interfaces. The OpenCL names are still supported
  for backwards compatibility.

• More fusion across array slicing.

Fixed

• Compatibility with CUDA versions prior than 12.

Commits

• ce541ad: Proper test data. (Troels Henriksen)
• e4a621f: Add missing options. (Troels Henriksen)
• d4f75c2: All backends support libraries. (Troels Henriksen)
• 60789fe: Rephrase. (Troels Henriksen)

Commits

• ff5100f: Strangle warning. (Troels Henriksen)
• 6993123: Avoid warning due to empty struct. (Troels Henriksen)

Commits

• f383ce7: Fix phrasing. (Troels Henriksen)

Commits

• 89ebd6d: Switch to CUDA terminology throughout the compiler. (#2063) (Troels Henriksen) #2063

Commits

• 8e054c1: Fix typo. (Troels Henriksen)

Commits

• 0ed9a93: Bump maxNumOps to 20. (Troels Henriksen)

Commits

• 673163d: Restore compatibility with older CUDA. (Troels Henriksen)

Commits

• f226054: Detail memory when logging is enabled. (Troels Henriksen)

Commits

• dbdfbd7: Onwards! (Troels Henriksen)
• 853ee8b: Avoid unused parameter warning. (Troels Henriksen)

Added

• Faster non-commutative reductions in the GPU backends. Work by
  Anders Holst and Christian Påbøl Jacobsen.

Fixed

• Interpreter crash for certain complicated size expressions involving
  internal bindings (#2053).

• Incorrect type checking of let binding with explicit size
  quantification, where size appears in type of body (#2048).

• GPU code generation for non-commutative non-segmented reductions
  with array operands (#2051).

• Histogram with non-vectorised reduction operators (#2056). (But it
  is probably not a good idea to write such programs.)

• Futhark's LSP server should work better with Eglot.

• Incorrect copy removal inside histograms could cause compiler error
  (#2058).

• CUDA backend now correctly queries for available shared memory,
  which affects performance (hopefully positively).

• futhark literate now switches to the directory containing the
  .fut file before executing its contents. This fixes accessing
  files through relative paths.

Commits

• 16a9ac1: futhark literate: change to file directory. (Troels Henriksen)

Commits

• eda1981: Add max_registers to context. (Troels Henriksen)

Commits

• 1eb5649: Oclgrind claims to have zero cache. (Troels Henriksen)

Commits

• 9663bd2: Remove in-place lowering. (#2055) (Troels Henriksen) #2055

Commits

• 6f7b824: Weeder config switched to toml. (Troels Henriksen)
• 58f035c: Use libm function for ldexp in interpreter. (Troels Henriksen)
• a9d4b34: Remove dead code. (Troels Henriksen)

Commits

• 5a2e404: Fix #2051. (#2052) (Troels Henriksen) #2052

Commits

• c98120a: Fix #2048. (Troels Henriksen)

Commits

• c93b13d: Onwards! (Troels Henriksen)
• 391a9ef: More responses. (Troels Henriksen)