emmtrix Wiki - Recent changes [en]

emmtrix Studio

Mira.steinmetz — Fri, 31 Jul 2026 08:43:41 GMT

Interested?

← Older revision		Revision as of 08:43, 31 July 2026
Line 7:		Line 7:

	For example:		For example:
	<~~code>~~void filter(size_t length, const float input[length], float output[length]) {		<void filter(size_t length, const float input[length], float output[length]) {
	float temporary[length];		float temporary[length];
	/* ... */		/* ... */
Line 61:		Line 61:

	== Interested? ==		== Interested? ==
	{{CallToAction\|text=Interested in applying ~~this coverage workflow~~ to your own projects?}}		{{CallToAction\|text=Interested in applying these capabilities to your own projects?}}

	[[Category:emmtrix Tools]]		[[Category:emmtrix Tools]]

emmtrix Studio Release Notes

Mira.steinmetz — Fri, 31 Jul 2026 08:40:24 GMT

← Older revision		Revision as of 08:40, 31 July 2026
Line 10:		Line 10:
	**Support for various targets like Infineon AURIX TC4x, RISC-V RVV, ARM Neon and SVE and more		**Support for various targets like Infineon AURIX TC4x, RISC-V RVV, ARM Neon and SVE and more
	*Support for variable-length arrays (VLA)		*Support for variable-length arrays (VLA)
	**VLAs are now supported during analysis and optimization passes		**[[emmtrix Studio\|VLAs are now supported during analysis and optimization passes]]
	**The following code transformations have special treatment of VLA parameters: AutoVectorize, Vectorize, BlockOutline, VarSplit, PtrResolve, ConstPropagation, C2Cpp, C2Rust		**The following code transformations have special treatment of VLA parameters: AutoVectorize, Vectorize, BlockOutline, VarSplit, PtrResolve, ConstPropagation, C2Cpp, C2Rust
	*New/improved transformations:		*New/improved transformations:

emmtrix Studio

Mira.steinmetz — Fri, 31 Jul 2026 08:38:29 GMT

← Older revision		Revision as of 08:38, 31 July 2026
(2 intermediate revisions by the same user not shown)
Line 1:		Line 1:
	~~Test~~		emmtrix Studio is an integrated development environment for analyzing, transforming, and optimizing embedded C code. It now supports variable-length arrays, allowing C applications with run-time-sized arrays to be processed directly within the analysis and optimization workflow.

			== Variable-Length Array Support in emmtrix Studio ==

			=== What Are Variable-Length Arrays? ===
			C variable-length arrays (VLAs) are arrays whose size is determined at run time rather than being fixed at compile time.

			For example:
			<code>void filter(size_t length, const float input[length], float output[length]) {
			float temporary[length];
			/* ... */
			}</code>
			Here, length is known only when the function is called.

			This is useful when an algorithm operates on data whose dimensions depend on configuration, sensor input, message size, or another run-time parameter.

			VLAs can make C code more direct and expressive: the actual shape of the data is visible in the function interface, and local temporary storage can match the problem size without relying on a fixed maximum size or dynamic heap allocation.

			=== Why Are VLAs Challenging for Analysis and Optimization Tools? ===
			That convenience creates important challenges for analysis and optimization tools.

			With fixed-size arrays, a tool can determine memory requirements, access ranges, loop bounds, and many data dependencies at compile time.

			A VLA changes this picture: its extent is part of the program’s run-time state.

			Tools must correctly preserve the relationship between the size expression and every access to the array. They also need to:

			* account for run-time stack usage,
			* verify that transformed code remains correct for all valid dimensions,
			* and reason about loops and dependencies when the iteration space is no longer statically fixed.

			These aspects matter especially for automated transformations such as parallelization, vectorization, and performance-oriented analysis.

			A transformation that is safe for a fixed array size must remain safe for every permitted VLA extent.

			Likewise, an optimization tool needs to retain the semantics of VLA declarations, function parameters, and array indexing while producing code that is valid for the selected target toolchain.

			=== VLA Support in emmtrix Studio ===
			With VLA support in emmtrix Studio, C applications using run-time-sized arrays can now participate directly in the emmtrix analysis and optimization workflow.

			Developers no longer need to manually rewrite such code into fixed-size buffers, introduce artificial maximum dimensions, or restructure it solely to make it acceptable to the toolchain.

			=== Combining VLA Support with Constant Propagation ===
			VLA support can be combined with emmtrix Studio’s constant propagation.

			When the array-size argument is known at a particular call site, the tool can propagate that value into the called function.

			The VLA extent is then known for that individual invocation, allowing the analysis and optimization workflow to treat that call with its actual size rather than only as a generic run-time case.

			This call-specific view is particularly valuable when the same function is used with several known dimensions.

			Each invocation can be analyzed and optimized according to its own array extent, enabling more precise reasoning about:

			* memory use,
			* loop bounds,
			* data dependencies,
			* and applicable transformations.
			== Related Pages ==

			* [https://www.emmtrix.com/wiki/emmtrix_Studio_Release_Notes emmtrix Studio Release Notes]

			== Interested? ==
			{{CallToAction\|text=Interested in applying this coverage workflow to your own projects?}}

			[[Category:emmtrix Tools]]

emmtrix Studio

Mira.steinmetz — Fri, 31 Jul 2026 08:28:09 GMT

Created page with "Test"

New page

Test

Main Page

Mira.steinmetz — Fri, 31 Jul 2026 08:23:29 GMT

← Older revision		Revision as of 08:23, 31 July 2026
Line 17:		Line 17:
	* [[emmtrix C to Rust Compiler]]		* [[emmtrix C to Rust Compiler]]
	* emmtrix Parallel Studio		* emmtrix Parallel Studio
			* [[emmtrix Studio]]
	* Generic information		* Generic information
	** [[emmtrix Studio Release Notes]]		** [[emmtrix Studio Release Notes]]

emmtrix Edge AI Compiler

Timo.stripf — Wed, 29 Jul 2026 09:56:46 GMT

← Older revision		Revision as of 09:56, 29 July 2026
Line 288:		Line 288:

	* [[emmtrix ONNX-to-C Code Generator]]		* [[emmtrix ONNX-to-C Code Generator]]
			* [https://www.emmtrix.com/tools/emmtrix-edge-ai-compiler emmtrix Edge AI Compiler product page]

	== Interested? ==		== Interested? ==