llvm-property-preserving