|
| const Def * | mim::plug::buffer::type_buf (const Def *r, const Def *s, const Def *T) |
| | The buffer type buffer.Buf (r, s, T).
|
| const Def * | mim::plug::buffer::op_alloc (const Def *r, const Def *s, const Def *T, const Def *mem) |
| | buffer.alloc (r, s, T) mem ↦ [mem.M 0, buffer.Buf (r, s, T)].
|
| const Def * | mim::plug::buffer::op_read (const Def *r, const Def *s, const Def *T, const Def *mem, const Def *buf, const Def *idx) |
| | buffer.read (r, s, T) (mem, buf, idx) ↦ [mem.M 0, T].
|
| const Def * | mim::plug::buffer::op_write (const Def *r, const Def *s, const Def *T, const Def *mem, const Def *buf, const Def *idx, const Def *val) |
| | buffer.write (r, s, T) (mem, buf, idx, val) ↦ [mem.M 0, buffer.Buf (r, s, T)].
|
| const Def * | mim::plug::buffer::op_copy (const Def *r, const Def *s, const Def *T, const Def *mem, const Def *dst, const Def *src) |
| | buffer.copy (r, s, T) (mem, dst, src) ↦ mem.M 0 (copies the whole buffer src into dst).
|
| const Def * | mim::plug::buffer::op_init (const Def *r, const Def *s, const Def *T, const Def *mem, const Def *val) |
| | buffer.init (r, s, T) (mem, val) ↦ [mem.M 0, buffer.Buf (r, s, T)] (initialised with the array value val).
|
| const Def * | mim::plug::buffer::op_constant (const Def *r, const Def *s, const Def *T, const Def *mem, const Def *val) |
| | buffer.constant (r, s, T) (mem, val) ↦ [mem.M 0, buffer.Buf (r, s, T)] (every element initialised to val).
|