The extracted version of the compiler is driver/CompositionalCompiler.v. This version of the executable doesn't yet support certain inlined CompCert intrinsics such as __builtin_bswap.The issue appears to stem from the fact that inlining has not yet been enabled in CompositionalCompiler.v. TODO: confirm this, or otherwise fix.
The extracted version of the compiler is driver/CompositionalCompiler.v. This version of the executable doesn't yet support certain inlined CompCert intrinsics such as __builtin_bswap.The issue appears to stem from the fact that inlining has not yet been enabled in CompositionalCompiler.v. TODO: confirm this, or otherwise fix.