Andi Drebes ebb08c788f fix(compiler): Type Inference: Register dependencies between op and its related values ...

Updates of the types inferred for the values related to an operation
only propagate correctly to the operation if there is a direct
producer-consumer relationship or an indirect producer-consumer
relationship via some additional mechanism (e.g., region
successors). However, this is not sufficient to ensure updates of
values and operations that are related otherwise.

This change explicitly models the dependencies between related values
and an operation via `DataFlowAnalysis::addDependency` in order to
guarantee that all updates of the types of values are propagated to
all operations that the type resolver has designated as related
operations.

Furthermore, all operations are visited once initially in order to
guarantee that updates propagate to operations, for which the dataflow
framework does not invoke `visitOperation`.

2024-05-16 12:07:51 +02:00

..

concrete-compiler

fix(compiler): Type Inference: Register dependencies between op and its related values

2024-05-16 12:07:51 +02:00

concrete-optimizer

chore(optimizer): please new rust compiler lints

2024-05-03 10:15:47 +02:00