[all-commits] [llvm/llvm-project] 15ad79: [LLVM][Instrumentation] Add numerical sanitizer (#...

[Alexander Shaposhnikov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 15ad7919f6dd18b5d7f5a22daad6a5c25ecb8793
      https://github.com/llvm/llvm-project/commit/15ad7919f6dd18b5d7f5a22daad6a5c25ecb8793
  Author: Alexander Shaposhnikov <ashaposhnikov at google.com>
  Date:   2024-06-28 (Fri, 28 Jun 2024)

  Changed paths:
    A llvm/include/llvm/Transforms/Instrumentation/NumericalStabilitySanitizer.h
    M llvm/lib/Passes/PassBuilder.cpp
    M llvm/lib/Passes/PassRegistry.def
    M llvm/lib/Transforms/Instrumentation/CMakeLists.txt
    A llvm/lib/Transforms/Instrumentation/NumericalStabilitySanitizer.cpp
    A llvm/test/Instrumentation/NumericalStabilitySanitizer/basic.ll
    A llvm/test/Instrumentation/NumericalStabilitySanitizer/cfg.ll
    A llvm/test/Instrumentation/NumericalStabilitySanitizer/invoke.ll
    A llvm/test/Instrumentation/NumericalStabilitySanitizer/memory.ll
    A llvm/test/Instrumentation/NumericalStabilitySanitizer/non_float_store.ll
    A llvm/test/Instrumentation/NumericalStabilitySanitizer/scalable_vector.ll

  Log Message:
  -----------
  [LLVM][Instrumentation] Add numerical sanitizer (#85916)

This PR introduces the numerical sanitizer originally proposed by
Clement Courbet on https://reviews.llvm.org/D97854
(https://arxiv.org/abs/2102.12782).

The main additions include:
- Migration to LLVM opaque pointers
- Migration to various updated APIs
- Extended coverage for LLVM instructions/intrinsics
- Code refactoring

The tool is still very experimental, the coverage (e.g. for intrinsics /
library functions) is incomplete.

Link: https://discourse.llvm.org/t/rfc-revival-of-numerical-sanitizer/79601

---------

Co-authored-by: Fangrui Song <i at maskray.me>



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications