futhark

Commits

• 64c1ecd: Missed this one. (Troels Henriksen)

Commits

• cac851e: Bump Hackage snapshot. (Troels Henriksen)

Added

• Trailing commas are now allowed for arrays, records, and tuples in
  the textual value format and in FutharkScript.

• Faster floating-point atomics with OpenCL backend on AMD and NVIDIA
  GPUs. This affects histogram workloads.

• AD is now supported by the interpreter (thanks to Marcus Jensen).

Fixed

• Some instances of invalid copy removal. (Again.)

• An issue related to entry points with nontrivial sizes in their
  arguments, where the entry points were also used as normal functions
  elsewhere. (#2184)

Added

• futhark script now supports an -f option.

• futhark script now supports the builtin procedure $store.

Removed

Changed

Fixed

• An error in tuning file validation.

• Constant folding for loops that produce floating point results could
  result in different numerical behaviour.

• Compiler crash in memory short circuiting (#2176).

Added

• Logging now prints more GPU information on context initialisation.

• GPU cache size can now be configured (tuning param: default_cache).

• GPU shared memory can now be configured (tuning param: default_shared_memory).

• GPU register capacity can now be configured.

• futhark script now accepts a -b option for producing binary
  output.

Fixed

• Type names for element types of array indexing functions in C
  interface are now often better - although there are still cases
  where you end up with hashed names. (#2172)

• In some cases, GPU failures would not be reported properly if a
  previous failure was pending.

• auto output didn't work if the .fut file did not have any path
  components.

• Improved detection of malformed tuning files.

Commits

• 0443389: Allow backtracking. (Troels Henriksen)

Added

• Better error message when in-place updates fail at runtime due to a
  shape mismatch.

Fixed

• #[unroll] on an outer loop now no longer causes unrolling of all
  loops nested inside the loop body.

• Obscure issue related to replications of constants in complex
  intrablock kernels.

• Interpreter no longer crashes on attributes in patterns.

• Fixes to array indexing through C API when using GPU backends.

Added

• The compiler now does slightly less aggressive inlining. Use the
  #[inline] attribute if you want to force inlining of some
  function.

• Arrays of opaque types now support indexing through the C API.
  Arrays of records can also be constructed. (#2082)

Fixed

• The opencl backend now always passes
  -cl-fp32-correctly-rounded-divide-sqrt to the kernel compiler, in
  order to match CUDA and HIP behaviour.

Commits

• 75b4c05: Less aggressive inlining. (#1857) (Troels Henriksen) #1857

Added

• New prelude function: rep, an implicit form of replicate.

• Improved handling of large monomorphic single-dimensional array
  literals (#2160).

Fixed

• futhark repl no longer asks for confirmation on EOF.

• Obscure oversight related to abstract size-lifted types (#2120).

• Accidential exponential-time algorithm in layout optimisation for
  multicore backends (#2151).

Commits

• d7580aa: Fix typo. (Troels Henriksen)

• Faster device-to-device copies on CUDA.

• "More correctly" detect L2 cache size for OpenCL backend on AMD GPUs.

Fixed

• Handling of .. in import paths (again).

• Detection of impossible loop parameter sizes (#2144).

• Rare case where GPU histograms would use slightly too much shared
  memory and fail at run-time.

• Rare crash in layout optimisation.

Commits

• 1ec3594: Better style. (Troels Henriksen)
• 872344b: More cosmetic fixes. (Troels Henriksen)
• track alignment. (Troels Henriksen)
• c4bbfe1: SegHist GPU codegen: fix rare overuse of memory. (Troels Henriksen)

Commits

• 5618e9b: Consistency in output. (Troels Henriksen)

Commits

• 9f6991d: More concise style. (Troels Henriksen)
• e198c38: Fix #2142. (Troels Henriksen)

Added

• futhark test: --no-terminal now prints status messages even when
  no failures occur.

• futhark test no longer runs structure tests by default. Pass
  -s to run them.

• Rewritten array layout optimisation pass by Bjarke Pedersen and
  Oscar Nelin. Minor speedup for some programs, but is more
  importantly a principled foundation for further improvements.

• Better error message when exceeding shared memory limits.

• Better dead code removal for the GPU representation (minor impact on
  some programs).

Fixed

• Bugs related to deduplication of array payloads in sum types.
  Unfortunately, fixed by just not deduplicating in those cases.

• Frontend bug related to turning size expressions into variables
  (#2136).

• Another exotic monomorphisation bug.

Commits

• 95ad36e: Bump Nix. (Troels Henriksen)
• 62a7267: Linebreak fixes. (Troels Henriksen)
• 1767373: Revert "Bump Nix." (Troels Henriksen)

Commits

• d0e72f4: Newer cabal. (Troels Henriksen)

Commits

• aa70f40: futhark test: add -s option. (Troels Henriksen) #2134