3 ms·
About to watch the video, In the past I've thought about trying to model llvm code inside datomic and doing transforms with the help of datalog queries.
by andrewchambers 11y ago
About to watch the video, In the past I've thought about trying to model llvm code inside datomic and doing transforms with the help of datalog queries.
- jules 11y agoPeople have done something like this for pointer analysis (statically determining to which memory locations a pointer can point, which is a prerequisite for many optimizations), e.g. http://yanniss.github.io/doop-datalog2.0.pdf http://yanniss.github.io/doop-datalog2.0.pdf
- deleted 11y ago[deleted]