105b675 Use constant expression analysis results instead of in-place evaluation
~jprotopopov pushed to ~jprotopopov/kefir git
0fb6ef2 Use constant expression analysis results instead of in-place evaluation
~jprotopopov pushed to ~jprotopopov/kefir git
c4f03e2 Drop naive dominator search algorithm
~jprotopopov pushed to ~jprotopopov/kefir git
7a8a1b6 Update command line interface and the docs to reflect changes in atomic support
~jprotopopov pushed to ~jprotopopov/kefir git
574e521 Use unqualified types in atomic builtins
~jprotopopov pushed to ~jprotopopov/kefir git
c340645 Use unqualified types in atomic builtins
~jprotopopov pushed to ~jprotopopov/kefir git
b4b5d5f Implement atomic fetch builtins directly without calling libatomic
~jprotopopov pushed to ~jprotopopov/kefir git
89568f7 Implement atomic fetch builtins directly without calling libatomic
~jprotopopov pushed to ~jprotopopov/kefir git
f4d5791 Implement scalar atomic compare-exchange directly without calling libatomic
~jprotopopov pushed to ~jprotopopov/kefir git
3bfc954 Reimplement use-define chain verifier
~jprotopopov pushed to ~jprotopopov/kefir git
f5c8d69 Remove sign/zero extension specific IR opcodes
~jprotopopov pushed to ~jprotopopov/kefir git