Jonas Jensen a9984e9d8b C++: Implement Pos and Spec as int, not newtype ...

This change gives a slight performance improvement and makes the QL code
shorter. It introduces some magic numbers in the code, but those are
confined to the `Pos` and `Spec` classes.

We get a speed-up because the evaluator has built-in support for integer
literals in the `OUTPUT` of `JOIN` operations, whereas `newtype`s have
to be explicitly joined on. As a result, a predicate like
`CFG::straightLineSparse#ffff` drops from 262 pipeline nodes to 242.

I measured performance on https://github.com/jluttine/suitesparse, which
is one of the projects that had the biggest slowdown when enabling the
QL CFG on lgtm.com. I took two measurements before this change and two
after. The `CFG.qll` stage took 117s and 112s before, and it took 106s
and 107s after.

2019-10-15 16:22:37 +02:00

..

examples

CPP: Autoformat cookbook examples.

2019-08-02 15:29:20 +02:00

src

C++: Implement Pos and Spec as int, not newtype

2019-10-15 16:22:37 +02:00

test

Merge pull request #2122 from geoffw0/bitsign2

2019-10-14 15:47:36 +02:00