OpenXiangShan
/
HuanCun
mirror of https://github.com/OpenXiangShan/HuanCun
3
0
Fork 0
Code Issues Projects Releases Wiki Activity

script: refine tl filter(no tip on tip & must have tip on trunk)

This commit is contained in:
wangkaifan 2021-09-08 17:49:13 +08:00
parent 8a66c0d095
commit 767089b667
1 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
scripts/state_transition.py
View File

@ -241,14 +241,28 @@ def tilelink_filter(s: DirState):
if c == TLState.TRUNK:
return False
# no Branch on top of Trunk
# no Branch on top of Trunk; there must be Tip on top of Trunk
if s.self_dir.tl_state == TLState.TRUNK:
for c in s.client_dirs:
if c.block == s.self_dir.block and (c.tl_state == TLState.BRANCH):
return False
tipflag = False
for c in s.self_dir.client_tl_states:
if c == TLState.BRANCH:
return False
if c == TLState.TIP:
tipflag = True
if tipflag == False:
return False
# no Tip on top of Tip
if s.self_dir.tl_state == TLState.TIP:
for c in s.client_dirs:
if c.block == s.self_dir.block and c.tl_state == TLState.TIP:
return False
for c in s.self_dir.client_tl_states:
if c == TLState.TIP:
return False
# one Tip at most; Tip repels Branch
for i in range(0, len(s.client_dirs) - 1):