Lukas Petr

Nix: add runtime dependencies

1

When running DiffKemp using binary build by nix (`result/bin/diffkemp`), DiffKemp did not work if the user did not install the dependencies that are used at runtime (like llvm - opt,...

Missing pip requirement in RPM package

1

I tried to install DiffKemp on Fedora (in docker) from the RPM package and it looks like that the specification is missing `pip` as a requirement. I used the following...

Tests in llvm ir

4

Introduction to unit testing of `DifferentialFunctionComparator` using LLVM IR. Tests can be written like this: ```cpp TEST_F(DFCLlvmIrTest, ReorderedBinaryOperationDifferentOperands) { auto left = R"(define i8 @f() { %1 = add i8...

First part of commits from #314 . This PR adds: - caching of Syntax difference kind (because there can be multiple kinds of syntax differences - `macro`, `assembly`, `macro-function`, `function-macro`)...

Reggresion tests do not rebuild llvm

3

When I tried to change the flags used for the compilation of C files to LLVM (specifically from `-O1` to `-O0 -Xclang -disable-O0-optnone`), I noticed if the LLVM files already...

This PR adds visualisations of macros to the result viewer. It was necessary to get information about definitions of macros. I did not use `cscope` because there can be multiple...

`simplifycfg` pass sometimes represents `&&` with `select` instead of `and` instruction

1

`simplifycfg` pass (used for simplifying/merging basic blocks) which is part of passes which are used in `build-kernel` command sometimes represents combined condition with `&&` using `select` instruction instead of `and`...

Logging: log file and line for LLVM IR instruction

1

When using `diffkemp` with `-d` option it logs compared instructions. I think it could be useful for debugging to log also the file and line of C source file which...

For LLVM >= 15 `getPointeeStructTypeInfo` function uses debug metadata for finding the pointee type, it does not currently handle situation when the struct type uses alias (`typedef`). Example of a...

Sometimes there are problems when building kernels to snapshots: - hanging and waiting for input (as described in #313) - `source not found` error message caused by an inability to...