Loop opt service

[mostafaelhoushi]

A dedicated CompilerGym service for loop optimizations:

• Add loop unrolling and loop vectorization factors to the action space

Next steps for future PRs:

• Create env.next_loop() or env.set_loops(i) or env.set_all_loops() APIs to control which loops to optimize
• Provide observations for the selected loop(s) in addition to module-wide observations

[codecov-commenter]

Codecov Report

Merging #517 (c07f1eb) into development (c06875e) will decrease coverage by 0.04%.
The diff coverage is n/a.

@@               Coverage Diff               @@
##           development     #517      +/-   ##
===============================================
- Coverage        87.36%   87.31%   -0.05%     
===============================================
  Files              113      113              
  Lines             6411     6411              
===============================================
- Hits              5601     5598       -3     
- Misses             810      813       +3     

Impacted Files	Coverage Δ
...loop_tool/service/loop_tool_compilation_session.py	86.57% <0.00%> (-2.02%)	⬇️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update c06875e...c07f1eb. Read the comment docs.

[ChrisCummins]

This is looking good! I left some small nitpicks inline

[mostafaelhoushi]

Thanks for the review. Rebased with master and addressed all comments.

[mostafaelhoushi]

I just added a example_without_bazel.py script for loop optimizations

[ChrisCummins]

Woop, thanks @mostafaelhoushi!

BTW just a tiny thing - could you submit future PRs from a fork, rather than branching off the main repo? That way it keeps the number of branches down (should be just development, stable, and gh-pages) to keep things clean for when others fork it. Thanks!

Chris

[mostafaelhoushi]

Woop, thanks @mostafaelhoushi!

BTW just a tiny thing - could you submit future PRs from a fork, rather than branching off the main repo? That way it keeps the number of branches down (should be just development, stable, and gh-pages) to keep things clean for when others fork it. Thanks!

Chris

Yes, sure. I should have done that. I will make sure future PRs are from a fork.