refactor[cartesian]: unexpanded sdfg cleanups

[romanc]

Description

Refactors from recent debugging sessions around transient arrays in the "unexpanded SDFG" (the one with the library nodes):

• Remove unused **kwargs from OirSDFGBuilder
• Forward debugging information about transient arrays to DaCe
• Use a (constant) variable for connector prefixes of data going in to/out of the library nodes
• Configure the lifetime of transient arrays directly in OirSDFGBuilder
• Configure storage type of transient arrays directly in OirSDFGBuilder (for GPU targets)
• Configure the LibraryNode's device type directly in OirSDFGBuilder (for GPU targets)

Sidenote on the allocation lifetime: In the orchestrated code path, we reset the allocation lifetime of transients to SDFG when we freeze the stencil with origin/domain

gt4py/src/gt4py/cartesian/backend/dace_backend.py

Lines 270 to 317 in ac253b6

	def freeze_origin_domain_sdfg(inner_sdfg, arg_names, field_info, *, origin, domain):
	wrapper_sdfg = dace.SDFG("frozen_" + inner_sdfg.name)
	state = wrapper_sdfg.add_state("frozen_" + inner_sdfg.name + "_state")
	inputs = set()
	outputs = set()
	for inner_state in inner_sdfg.nodes():
	for node in inner_state.nodes():
	if (
	not isinstance(node, dace.nodes.AccessNode)
	or inner_sdfg.arrays[node.data].transient
	):
	continue
	if node.has_reads(inner_state):
	inputs.add(node.data)
	if node.has_writes(inner_state):
	outputs.add(node.data)
	nsdfg = state.add_nested_sdfg(inner_sdfg, None, inputs, outputs)
	_sdfg_add_arrays_and_edges(
	field_info, wrapper_sdfg, state, inner_sdfg, nsdfg, inputs, outputs, origins=origin
	)
	# in special case of empty domain, remove entire SDFG.
	if any(d == 0 for d in domain):
	states = wrapper_sdfg.states()
	assert len(states) == 1
	for node in states[0].nodes():
	state.remove_node(node)
	# make sure that symbols are passed through to inner sdfg
	for symbol in nsdfg.sdfg.free_symbols:
	if symbol not in wrapper_sdfg.symbols:
	wrapper_sdfg.add_symbol(symbol, nsdfg.sdfg.symbols[symbol])
	# Try to inline wrapped SDFG before symbols are specialized to avoid extra views
	inline_sdfgs(wrapper_sdfg)
	_sdfg_specialize_symbols(wrapper_sdfg, domain)
	for _, _, array in wrapper_sdfg.arrays_recursive():
	if array.transient:
	array.lifetime = dace.dtypes.AllocationLifetime.SDFG
	wrapper_sdfg.arg_names = arg_names
	return wrapper_sdfg

This might be relevant when tracking down orchestration performance. Seems odd at least.

Requirements

• All fixes and/or new features come with corresponding tests.
  Covered by existing tests
• Important design decisions have been documented in the appropriate ADR inside the docs/development/ADRs/ folder.
  N/A

[romanc]

Should we have a named type for Literal["cpu", "gpu"]? I found it typed like in the LayoutInfo

gt4py/src/gt4py/storage/cartesian/layout.py

Lines 33 to 37 in ac253b6

	class LayoutInfo(TypedDict):
	alignment: int # measured in bytes
	device: Literal["cpu", "gpu"]
	layout_map: Callable[[Tuple[str, ...]], Tuple[Optional[int], ...]]
	is_optimal_layout: Callable[[Any, Tuple[str, ...]], bool]