[all-commits] [llvm/llvm-project] a68c96: [ValueTracking] Correctly check addrspace of alloca

Nikita Popov via All-commits all-commits at lists.llvm.org
Fri Jun 23 04:11:45 PDT 2023


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a68c9687556696522e0d3ee62857714250d58a93
      https://github.com/llvm/llvm-project/commit/a68c9687556696522e0d3ee62857714250d58a93
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-06-23 (Fri, 23 Jun 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstCombine/alloca-in-non-alloca-as.ll

  Log Message:
  -----------
  [ValueTracking] Correctly check addrspace of alloca

The DataLayout alloca address space is the address space that should
be used when creating new allocas. However, not all allocas are
required to be in this address space. The isKnownNonZero() check
should work on the actual address space of the alloca, not the
default alloca address space.




More information about the All-commits mailing list