buffers (8):
  pinned[buf0_id / BufferLit(0)] [caller, ro]
  pinned[buf1_id / BufferLit(1)] [caller, ro]
  pinned[buf2_id / BufferLit(2)] [caller, ro]
  pinned[buf3_id / BufferLit(3)] [caller, rw]
  alloc#0[Poison] [system, rw]
  alloc#1[Poison] [system, rw]
  alloc#2[Poison] [system, rw]
  alloc#3[Poison] [system, rw]
ops (13):
  BufferAlloc: [] -> [alloc#0[Poison]]
  BufferAlloc: [] -> [alloc#1[Poison]]
  BufferAlloc: [] -> [alloc#2[Poison]]
  BufferAlloc: [] -> [alloc#3[Poison]]
  CastGeneric: [pinned[buf2_id / BufferLit(2)], alloc#0[Poison]] -> [alloc#0[Poison]]
  CastGeneric: [pinned[buf1_id / BufferLit(1)], alloc#1[Poison]] -> [alloc#1[Poison]]
  CublasLt: [alloc#1[Poison], alloc#0[Poison], alloc#2[Poison]] -> [alloc#2[Poison]]
  BufferFree: [alloc#0[Poison]] -> []
  BufferFree: [alloc#1[Poison]] -> []
  CastGeneric: [alloc#2[Poison], alloc#3[Poison]] -> [alloc#3[Poison]]
  BufferFree: [alloc#2[Poison]] -> []
  AddFunctionalGeneric: [alloc#3[Poison], pinned[buf0_id / BufferLit(0)], pinned[buf3_id / BufferLit(3)]] -> [pinned[buf3_id / BufferLit(3)]]
  BufferFree: [alloc#3[Poison]] -> []
anti (4):
  CublasLt -> BufferFree [alloc#0[Poison]]
  CublasLt -> BufferFree [alloc#1[Poison]]
  CastGeneric -> BufferFree [alloc#2[Poison]]
  AddFunctionalGeneric -> BufferFree [alloc#3[Poison]]
outputs (1):
  out 0 -> pinned[buf3_id / BufferLit(3)]