[EDDI] Enhance handling of SoD, SoE, volatiles and inline asm#29

Open

EmilioCorigliano wants to merge 11 commits into

Commits on Jun 16, 2026

upd(FuncRetToRef): removed volatile load and stores
EmilioCorigliano
committed
upd(Utils): update functions to exclude and duplicate values
EmilioCorigliano
committed
upd(EDDI): create synchronizeFunctionArguments
EmilioCorigliano
committed
upd(EDDI): exclude volatile and inline asm
EmilioCorigliano
committed
upd(EDDI): update to exclude and to duplicate functions
EmilioCorigliano
committed
fix(EDDI): fix TAD in case of global variables
EmilioCorigliano
committed

Commits on Jun 17, 2026

upd(EDDI): now synchronizeFunctionArguments can synchronize the argument before or after the instruction
EmilioCorigliano
committed
feat(EDDI): duplicate volatile integer after loads and create consistency checks before store
EmilioCorigliano
committed
feat(EDDI): duplicate volatiles explicitly marked as to_duplicate or to_harden
EmilioCorigliano
committed
feat(EDDI): add other functions to be excluded by default
EmilioCorigliano
committed

Commits on Jun 19, 2026

fix(EDDI): fixed isLocalValueInitializedBefore function
EmilioCorigliano
committed