rems-project / sail

Sail architecture definition language
Other
622 stars 116 forks source link

TC: Look through if-statements when constructing overload trees #773

Closed Alasdair closed 1 week ago

Alasdair commented 1 week ago

Fixes a performance issue where a sequence of overloaded operator arguments are just if-statements with no simpler expressions that would reduce the search space, and we create the full possible overload tree for all combinations of operators.

github-actions[bot] commented 1 week ago

Test Results

   10 files  ±0     22 suites  ±0   0s ⏱️ ±0s   715 tests +1    715 ✅ +1  0 💤 ±0  0 ❌ ±0  2 246 runs  +3  2 245 ✅ +3  1 💤 ±0  0 ❌ ±0 

Results for commit 94eed084. ± Comparison against base commit 87d19cc4.

:recycle: This comment has been updated with latest results.