nightly

Commits

• 9aae6cf: Do not ignore programs with any tag. (Troels Henriksen)

0.25.34

Added

• Support for CUDA 13.

Fixed

• Declaration of zero-length arrays in GPU kernels.

• Handling of size closures of type abbreviations in interpreter (#2316).

• futhark literate deleted CACHEDIR.TAG files.

• futhark literate now prints records and tuples properly.

• Some optimisations would throw away source location information, resulting in
  worse profiling data.

• Tighter source locations for let x[i] = ... expressions.

• Oversight in size expressions in let-bindings. (#2322)

• futhark pkg is now more robust against errors in package data.

• Incorrect uniqueness inference for functions returning abstract types. (#2324)

• Duplication of entry points in some cases. (#2326)

• A race condition in the creation of CACHEDIR.TAG files that could cause
  futhark bench and futhark test to crash.

0.25.33

Added

• Futhark now implements the cachedir specification, such that e.g. the data
  directories created by futhark test and futhark bench contain a
  CACHEDIR.TAG file.

• C types corresponding to records now have nicer names.

• futhark script now has a $restore procedure, and the $store
  procedure has been augmented with support for opaque types.

• The expression guarded by an assert may now be any expression, and need no
  longer be an atom.

Fixed

• futhark fmt --check no longer prints the program on failure.

• Use of unsigned types in entry points could cause invalid C to be generated.
  (#2306)

• futhark script now frees values before terminating.

• Correct source locations when warning about unused local functions.

• Unpacking a unary sum type directly in a parameter or let-binding was
  defective. (#2314)

• The derivative of x**1 for x==0 would be NaN.

• futhark fmt now prints multi-line assert in a less horrible way.

0.25.32

Added

• futhark doc now prints warnings about errors in doc comments (mostly
  references to unknown names).

• FutharkScript now permits chained let without in, just as in Futhark.

• futhark pkg now allows the ~ character in package paths.

• cuda backend: explicitly support CC 8.9, 9.0, 10.0, 10.1, and 12.0.

• Profiling now provides source locations for the profiled events. Some things
  are not yet accurately tracked, and only the static location is reported
  (i.e., no full call stack).

• The AD transformation is now more diligent about propagating attributes from
  SOACs in the primal code to SOACs in the differentiated code.

Fixed

• f64 atomics on NVIDIA GPUs with less than CC 6.0 (Maxwell and older).

• Infinite loop in fusion (#2276).

• Rare compiler crash during internalisation code that does size coercions on
  opaque size-lifted types.

• Missing fusion inside reduction and scan operators (#2283).

• Incorrect aliasing for memory blocks could cause some optimisations to be
  misapplied. (#2288)

• to_bits/from_bits not handled by AD (#2292).

• For GPU backends, incorrect code generation for accumulator updates (produced
  by AD) for thread-local arrays (#2294).

• Missing consumption check in the termination condition for while loops (#2300).

0.25.31

Added

• GPU backends: more efficient atomic operations on 8-bit and 16-bit quantities.
  This helps histograms on these types, as well as AD on programs that use
  f16.

• Improved handling of long chains of flatten/unflatten/transpose
  operations.

• New attributes: #[blank] and #[scratch].

• A module type with-refinement may now have an existentially quantified size
  on its right-hand side.

• Value specs in module types can now use section binding notation for symbolic
  names, and in fact this is the preferred form that is also used by futhark fmt. (#2266)

• futhark profile now also prints proportion of total runtime for each cost centre.

• Futhark no longer warns about entry points with opaque types.

• Types such as foo.bar are now turned into foo_bar in the C API, rather
  than an ugly hash.

Fixed

• Interpreter: some tricky aspects of size-lifted types (#2258).

• Incorrect unused-name warning for named parameters in module types.

• Size-lifted abstract types with hidden sizes could result in different sizes
  being incorrectly treated as the same size.

• It was possible to make size-lifted types appear unlifted by using parametric
  types (#2268).

• The same type would be mentioned twice in some type errors.

• The type checker neglected to detect some cases of invalid references from
  return types to names bound in parameter patterns. (#2271)

• Incorrect handling of projections used in size expressions.

• Subtle interactions of modules and sizes in the interpreter and compiler
  (#2273).

0.25.30

Added

• New math functions: f16.rsqrt, f32.rsqrt, f64.rsqrt.

• New math functions: cospi, sinpi, tanpi, acospi, asinpi,
  atanpi, atan2pi, in each of the f16/f32/f64 modules. (#2243)

• Slight improvements in the ability of the fusion engine to fuse
  across map nests separated by reshape operations. Only works if
  the innermost return type is purely scalar.

• futhark pkg now allows underscores in package paths.

Fixed

• The interpreter no longer crashes when passing a sum-typed value
  into AD, but it is unlikely to produce a usable result (#2238).

• The partial derivatives of comparisons are now always zero.
  Previously we had some code that made an attempt at giving these
  another interpretation, but it was never mathematically sound, not
  useful, and sometimes buggy. (#2239).

• Out-of-bounds reads in GPU backends when transposing a great many
  matrices in parallel (#2241).

• vjp in the interpreter is now asymptotically efficient (#2187,
  #2240). Work by Marcus Jensen.

• The interpreter did not handle open correctly.

• Incorrect handling of some size inference edge cases during
  monomorphisation (#2252).

• Incorrect registration of entry point types when mixing type
  abbreviations and arrays (#2253).

• Reverse mode AD now handles sequential streams. (#2256)

0.25.29

Fixed

• AD would in some cases produce code that would cause a compiler
  crash (#2228).

• Slight error in the definition of the partial derivatives for the
  ** operator could cause NaNs in the interpreter when using
  forward-mode AD (#2229).

• The magical machinery for inferring external API types did not
  handle arrays with uniqueness annotations consistently, resulting in
  incompatible entry point types being generated, leading to a
  compiler crash. (#2231)

• A simplification rule for array slices would in some cases produce
  type-incorrect code. (#2232)

• A bug in the defunctionaliser could cause a compiler crash in code
  that used both higher order functions and size expressions in clever
  ways (#2234).

• Fusion could crash after AD in some circumstances (#2236).

0.25.28

Added

Removed

Changed

Fixed

• Compiler crash for intrablock scatters that write to
  multidimensional arrays. (#2218)

• Handling of size expressions in abstract types in the interpreter (#2222).

• GPU code generation of segmented reductions with array operands. (#2227)

• Server-mode timing is now done with a monotonic clock.

• futhark test now respects notest, similar to nobench for futhark bench.

0.25.27

Added

• Improved reverse-mode AD of scan with complicated operators. Work
  by Peter Adema and Sophus Valentin Willumsgaard.

Fixed

• futhark eval: any errors in the provided .fut file would cause a
  "file not found" error message.

• Handling of module-dependent size expressions in type abbreviations
  (#2209).

• A let-bound size would mistakenly be in scope of the bound
  expression (#2210).

• An overzealous floating-point simplification rule.

• Corrected AD of x**y where x==0 (#2216).

• futhark fmt: correct file name in parse errors.

• A bug in the "sink" optimisation pass could cause compiler crashes.

• Compile errors with newer versions of ispc.

0.25.26

Fixed

• Some Windows compatibility quirks (#2200, #2201).

• futhark pkg: fixed parsing of Git timestamps in Z time zone.

• GPU backends did not handle array constants correctly in some cases.

• futhark fmt: do not throw away doc comments for local
  definitions.

• futhark fmt: improve formatting of value specs.

• futhark fmt: add --check option.