The main evaluation state that will be updated by evaluating every statement encountered during the course of execution. This can be considered as a single-threaded CPU context.

ConcEval.Evaluator is a concrete evaluation module for LowUIR.

A value is either defined or undefined.

Raised when an invalid memory access.

Store labels of LowUIR statements.

Non-sharable memory.

ConcEval.SafeEvaluator is a safe concrete evaluation module for LowUIR. Unlike ConcEval.Evaluator, it does not raise exceptions, but it is slower than ConcEval.Evaluator.

Thread-safe (sharable) memory.

Raised when undefined expression is encountered.