GitLab

* Fix works, not tested with running code.

* Handle loop which is not in canonical form
* Helper fn runOpt()
* add test case - failing

* Update getAnnotatedFnList api

* Pass all existing tests.

* Add simple test case.

* Root cause not known, only one situation is passing.

* If function contained multiple regions which are not intersected,
  then path computation fails. Handling that case by doing path analysis
  for each region separately.

* Implementation taken from the LLVM pass of the same name.

* When the function has two regions, then computing
  path in the current way doesn't work. We need to
  compute trace for each region independently.

Clean up test source files.

* Add test case

* Handle when function has multiple edges to return block.

* Drop SSA variable usage.