[all-commits] [llvm/llvm-project] 6362dd: GlobalSplit: Convert tests to opaque pointers

[Matt Arsenault via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6362dd004a3645255890ffef8417f8691ab01e3e
      https://github.com/llvm/llvm-project/commit/6362dd004a3645255890ffef8417f8691ab01e3e
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-12-02 (Fri, 02 Dec 2022)

  Changed paths:
    M llvm/test/Transforms/GlobalSplit/non-beneficial.ll
    M llvm/test/Transforms/GlobalSplit/nonlocal.ll

  Log Message:
  -----------
  GlobalSplit: Convert tests to opaque pointers


  Commit: a58548f5967cda192e9de08e05f977a0d7cfddba
      https://github.com/llvm/llvm-project/commit/a58548f5967cda192e9de08e05f977a0d7cfddba
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-12-02 (Fri, 02 Dec 2022)

  Changed paths:
    M llvm/test/SymbolRewriter/rewrite.ll

  Log Message:
  -----------
  SymbolRewriter: Convert test to opaque pointers


  Commit: d0b954cc097d819720f24b60f551543cad4d7aae
      https://github.com/llvm/llvm-project/commit/d0b954cc097d819720f24b60f551543cad4d7aae
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-12-02 (Fri, 02 Dec 2022)

  Changed paths:
    M llvm/test/Instrumentation/SanitizerBinaryMetadata/atomics.ll

  Log Message:
  -----------
  Sanitizers: Convert SanitizerBinaryMetadata tests to opaque pointers


  Commit: 27387896cfe898e66f411ff26b8e34698a8f92fc
      https://github.com/llvm/llvm-project/commit/27387896cfe898e66f411ff26b8e34698a8f92fc
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-12-02 (Fri, 02 Dec 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/SROA.cpp
    M llvm/test/CodeGen/AMDGPU/flat-address-space.ll
    M llvm/test/Transforms/SROA/addrspacecast.ll
    M llvm/test/Transforms/SROA/basictest.ll

  Log Message:
  -----------
  SROA: Simplify addrspacecasted allocas with volatile accesses

If the alloca is accessed through an addrspacecasted pointer, allow
the normal changes on the alloca. Cast back to the original use
address space instead of the new alloca's natural address space.


  Commit: f883e75497b610de81b3a6af106c976bb3c2bbb1
      https://github.com/llvm/llvm-project/commit/f883e75497b610de81b3a6af106c976bb3c2bbb1
  Author: Matt Arsenault <Matthew.Arsenault at amd.com>
  Date:   2022-12-02 (Fri, 02 Dec 2022)

  Changed paths:
    M llvm/lib/IR/Globals.cpp
    A llvm/test/Assembler/ifunc-stripPointerCastsAndAliases.ll
    A llvm/test/Verifier/ifunc-opaque.ll

  Log Message:
  -----------
  GlobalIFunc: Make allowed constant expressions stricter

This was allowing getelementptr with offsets, which doesn't make
sense. My initial attempt to use stripPointerCasts broke a few tests
involving aliases; add a new targeted verifier test for aliases.

This also provides the fix from D138537 for free, and also adds
support for addrspacecast (D138538) for free. Merge the tests in from
those.

I'm not really sure why findBaseObject exists; it seems redundant with
stripPointerCasts* (I'm also not really sure why getelementptrs are
allowed off of functions).


Compare: https://github.com/llvm/llvm-project/compare/a4dbba76b112...f883e75497b6