futhark

Commits

• 68c9b49: Disable dedup of array constructor payloads. (Troels Henriksen)
• 05c98a3: Fix tests. (Troels Henriksen)

Commits

• 30dd1e9: Onwards! (Troels Henriksen)
• b809f49: Parens here. (Troels Henriksen)

Added

• Incremental Flattening generates fewer redundant code versions.

• Better simplification of slices. (#2125)

Fixed

• Ignore type suffixes when unifying expressions (#2124).

• In the C API, opaque types that correspond to an array of an opaque
  type are now once again named futhark_opaque_arr_....

• cuda backend did not correctly profile CPU-to-GPU scalar copies.

Commits

• d0c343a: Save some linebreaks. (Troels Henriksen)

Commits

• 1db46e3: Re-add expected output for f32 mod primitive test (#2123) (Sebastian Paarmann) #2123

Added

• The prelude definition of filter is now more memory efficient,
  particularly when the output is much smaller than the input. (#2109)

• New configuration for GPU backends:
  futhark_context_config_set_unified_memory, also available on
  executables as --unified-memory.

• The "raw" API functions now do something potentially useful, but are
  still considered experimental.

• futhark --version now reports GHC version.

Fixed

• Incorrect type checking of let-bound sizes occurring multiple times
  in pattern. (#2103).

• A concatenation simplification would sometimes mess up sizes.
  (#2104)

• Bug related to monomorphisation of polymorphic local functions
  (#2106).

• Rare crash in short circuiting.

• Referencing an unbound type parameter could crash the type checker
  (#2113, #2114).

• Futhark now works with GHC 9.8 (#2105).

Commits

• 54ee695: Onwards! (Troels Henriksen)

Commits

• bdb6b9c: Change OpReturns,TypedOp,IsOp to operate on op constructors. (Troels Henriksen)

Commits

• e463c44: Avoid miscounting runs on compile failure. (Troels Henriksen)

Commits

• d7d7efe: Document --unified-memory. (Troels Henriksen)

Commits

• 76e24ad: Document FUTHARK_COMPILER_DEBUGGING=2. Closes #2110. (#2111) (zfnmxt) #2111

Commits

• 9b98e92: Remove things that are now unneeded. (Troels Henriksen)

Commits

• 947b07f: We do not need special handling of entry points anymore. (Troels Henriksen)

Commits

• 33b1206: Do not require matching element type. (Troels Henriksen)

Commits

• d349f2f: Useful for debugging. (Troels Henriksen)

Commits

• 900990d: Add convenient default method. (Troels Henriksen)

Added

• Incremental flattening of map-scan compositions with nested
  parallelism (similar to the logic for map-reduce compositions
  that we have had for years).

• futhark script, for running FutharkScript expressions from the
  command line.

• futhark repl now prints out a message when it ignores a breakpoint
  during initialisation. (#2098)

Fixed

• Flattening of scatter with multi-dimensional elements (#2089).

• Some instances of not-actually-irregular allocations were mistakenly
  interpreted as irregular. Fixing this was a dividend of the memory
  representation simplifications of 0.25.12.

• Obscure issue related to expansion of shared memory allocations (#2092).

• A crash in alias checking under some rare circumstances (#2096).

• Mishandling of existential sizes for top level constants. (#2099)

• Compiler crash when generating code for copying nothing at all. (#2100)

Commits

• a00983b: Restore PyOpenCL backend. (Troels Henriksen)
• 9fdae2c: This test needs Numpy. (Troels Henriksen)
• 10d23cc: Unsurprisingly also needs PyOpenCL. (Troels Henriksen)

Commits

• 89f4a3f: Oops, PyOpenCL had been broken. (Troels Henriksen)