Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

[c pass] merge neighbour conditionals (improved)

Browse Source
This commit is contained in:
Arnaud DABY-SEESARAM 2022-12-19 14:22:19 +01:00
parent 9a0bfd468c
commit 9483f7df5e
1 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/ctranslation.ml
View File

@ -96,8 +96,15 @@ let rec merge_neighbour_ifs = function
| [] -> []
| [stmt] -> [stmt]
| CIf (c, e1, e2) :: CIf (c', e'1, e'2) :: b ->
if c = c'
then merge_neighbour_ifs (CIf (c, e1 @ e'1, e2 @ e'2) :: b)
else (CIf (c, e1, e2)) :: merge_neighbour_ifs (CIf (c', e'1, e'2) :: b)
begin
if c = c' then
merge_neighbour_ifs (CIf (c, e1 @ e'1, e2 @ e'2) :: b)
else if c = CMonOp (MOp_not, c') then
merge_neighbour_ifs (CIf (c, e1 @ e'2, e2 @ e'1) :: b)
else if c' = CMonOp (MOp_not, c) then
merge_neighbour_ifs (CIf (c, e1 @ e'2, e2 @ e'1) :: b)
else CIf (c, e1, e2) :: merge_neighbour_ifs (CIf (c', e'1, e'2) :: b)
end
| stmt :: stmt' :: b ->
stmt :: merge_neighbour_ifs (stmt' :: b)