[all-commits] [llvm/llvm-project] d68ba4: [Intrinsics] Add initial support for NonNull attri...

[Alexander Shaposhnikov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d68ba43ad24791181280fdb0f34b6be380db7a32
      https://github.com/llvm/llvm-project/commit/d68ba43ad24791181280fdb0f34b6be380db7a32
  Author: Alexander Shaposhnikov <ashaposhnikov at google.com>
  Date:   2022-08-16 (Tue, 16 Aug 2022)

  Changed paths:
    M clang/test/CodeGenCXX/threadlocal_address.cpp
    M llvm/include/llvm/IR/Intrinsics.td
    M llvm/test/CodeGen/X86/peephole-nofold-tpoff-x86.mir
    M llvm/test/CodeGen/X86/peephole-nofold-tpoff-x86_64.mir
    M llvm/test/CodeGen/X86/threadlocal_address.ll
    M llvm/utils/TableGen/CodeGenIntrinsics.h
    M llvm/utils/TableGen/CodeGenTarget.cpp
    M llvm/utils/TableGen/IntrinsicEmitter.cpp

  Log Message:
  -----------
  [Intrinsics] Add initial support for NonNull attribute

Add initial support for NonNull attribute.
(https://github.com/llvm/llvm-project/issues/57113)

Test plan:

verify that for
__thread int x;
int main() {

int* y = &x;
return *y;
}
(with this patch) clang -O -fsanitize=null -S -emit-llvm -o -
doesn't emit a null-pointer check

Differential revision: https://reviews.llvm.org/D131872