Futhark.Pass.FirstOrderTransform

Transform any SOACs to for-loops.

Example:

let ys = map (x -> x + 2) xs

becomes something like:

let out = scratch n i32
let ys =
  loop (ys' = out) for i < n do
    let x = xs[i]
    let y = x + 2
    let ys'[i] = y
    in ys'

Documentation

firstOrderTransform :: FirstOrderLore lore => Pass SOACS lore

The first-order transformation pass.