Homework 5b

Use this program:

https://github.com/regehr/llvm-dataflow-research Links to an external site.

to test both the original version of the ConstantRange function(s) that you improved and also your improved one(s). Fix any soundness errors.Test for bitwidths 1 through 6.  For width 6, report the precision in bits of the original function, your function, and the best possible (exhaustive) function. You will have to modify the code slightly. Let me know (or better yet, issue a pull request) if you find any problems in the test harness.

NOTE: As we discussed in class today, when you run "make check-all" (or ninja check-all) there may be test failures that are caused by increased transfer function precision. If that is the case, delete those tests from LLVM in your modified version. But be sure you are correct before doing so -- if you delete tests that are rightfully failing, then you are only defeating the purpose of those tests.