Commit f7b104ad authored by Lovis J.I. Zenz's avatar Lovis J.I. Zenz
Browse files

fix 311 - fixed fusion.ml 004

parent fd75ac63
Pipeline #821 failed with stage
in 45 seconds
......@@ -89,17 +89,17 @@ val equal a b = case a of
SEM_SEXPR_LIN ll : case ll of
SEM_LIN_VAR vv : case v.id of
VIRT_T vt : case vv.id of
VIRT_T vtvt : if vt == vtvt then (v.offset == vv.offset) else '0'
VIRT_T vtvt : if vt == vtvt then v.offset == vv.offset else '0'
| _ : '0'
end
| VIRT_O vo : case vv.id of
VIRT_O vovo : if vo == vovo then (v.offset == vv.offset) else '0'
VIRT_O vovo : if vo == vovo then v.offset == vv.offset else '0'
| _ : '0'
end
| _ : case vv.id of
VIRT_T vtvt : '0'
| VIRT_O vovo : '0'
| _ : if v.id == vv.id then (v.offset == vv.offset) else '0'
| _ : if v.id == vv.id then v.offset == vv.offset else '0'
end
end
| _ : '0'
......@@ -107,44 +107,15 @@ val equal a b = case a of
end
| SEM_LIN_IMM i : case b of
SEM_SEXPR_LIN ll : case ll of
SEM_LIN_IMM ii : (i.const == ii.const)
SEM_LIN_IMM ii : i.const == ii.const
| _ : '0'
end
| _ : '0'
end
end
| SEM_SEXPR_CMP cm : case cm of
{sz, comp} : case b of
SEM_SEXPR_CMP cmcm : case cmcm of
{szsz, compcomp} : case comp of
SEM_CMPEQ : case compcomp of
SEM_CMPEQ : (sz == szsz)
| _ : '0'
end
| SEM_CMPNEQ : case compcomp of
SEM_CMPNEQ : (sz == szsz)
| _ : '0'
end
| SEM_CMPLES : case compcomp of
SEM_CMPLES : (sz == szsz)
| _ : '0'
end
| SEM_CMPLEU : case compcomp of
SEM_CMPLEU : (sz == szsz)
| _ : '0'
end
| SEM_CMPLTS : case compcomp of
SEM_CMPLTS : (sz == szsz)
| _ : '0'
end
| SEM_CMPLTU : case compcomp of
SEM_CMPLTU : (sz == szsz)
| _ : '0'
end
end
end
| _ : '0'
end
| SEM_SEXPR_CMP cm : case b of
SEM_SEXPR_CMP cmcm : (cm.size == cmcm.size) and (cm.cmp == cmcm.cmp)
| _ : '0'
end
| SEM_SEXPR_ARB : case b of
SEM_SEXPR_ARB : '1'
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment