eugenis added a comment. The instrumentation pass change looks good. There is a test for fdiv in msan_basic.ll, you can do something similar. Repository: rL LLVM CHANGES SINCE LAST ACTION https://reviews.llvm.org/D62909/new/ https://reviews.llvm.org/D62909