programextensions/gpu/demos/offload.xtl

source · imports gp: extensions/gpu/lib/Gpu.xtl extensions/gpu/lib/Gpu.xtlm; ac: libs/Accel/src/Accel.xtl; ck: work/xetal-extensions/extensions/clock/lib/Clock.xtl

a : Float

value · line 13

a ← 512 512 r̲eshape (r̲ange 262144) ÷ 262144

Used in: cpu, gpu, extensions/gpu/demos/offload.xtl:16, extensions/gpu/demos/offload.xtl:23

cpu : Float

value · line 14

cpu ← '{ m → m ᵃᶜm̲atmul m } ᶜᵏt̲ime a

Used in: extensions/gpu/demos/offload.xtl:18, extensions/gpu/demos/offload.xtl:20

gpu : Float

value · line 15

gpu ← '{ m → m ᵍᵖp̲roduct m } ᶜᵏt̲ime a

Used in: extensions/gpu/demos/offload.xtl:19, extensions/gpu/demos/offload.xtl:20

x : Float

value · line 28

x ← (r̲ange 1048576) ÷ 1048576

Used in: cpuE, gpuE, extensions/gpu/demos/offload.xtl:33

w : Float

value · line 29

w ← 1048576 r̲eshape 1.0 -1.0

Used in: cpuE, gpuE, extensions/gpu/demos/offload.xtl:33

cpuE : Float

value · line 30

cpuE ← '{ v → v ᵃᶜp̲ipeline w } ᶜᵏt̲ime x

Used in: extensions/gpu/demos/offload.xtl:35

p : Char

value · line 31

p ← "%x = input f64 [1048576]\n%w = input f64 [1048576]\n%xw = map mul %x %w\n%s = map add %x %xw\n%z = const f64 [] 0.0\n%r = map max %s %z\n%t = reduce add %r\noutput %t\n"

Used in: gpuE

gpuE : Float

value · line 32

gpuE ← '{ v → l ← ᵍᵖl̲oad p◆ b1 ← 1 ᵍᵖb̲ind v◆ b2 ← 2 ᵍᵖb̲ind w◆ r ← ᵍᵖr̲un 0◆ ᵍᵖo̲utput 1 } ᶜᵏt̲ime x                    ⍝ lint: allow unused-binding

Used in: extensions/gpu/demos/offload.xtl:36