[all-commits] [llvm/llvm-project] be2193: [GlobalOpt] Add test for SRA with i8 array type (NFC)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: be219323a2fef6173059d40c7bb921b6ff253909
      https://github.com/llvm/llvm-project/commit/be219323a2fef6173059d40c7bb921b6ff253909
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-01-14 (Fri, 14 Jan 2022)

  Changed paths:
    A llvm/test/Transforms/GlobalOpt/globalsra-generic-type.ll

  Log Message:
  -----------
  [GlobalOpt] Add test for SRA with i8 array type (NFC)


  Commit: e7ce6acc83e1e6b415a120efce9d2fb1615697a9
      https://github.com/llvm/llvm-project/commit/e7ce6acc83e1e6b415a120efce9d2fb1615697a9
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-01-14 (Fri, 14 Jan 2022)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/ConstProp/loads.ll

  Log Message:
  -----------
  [InstSimplify] Add test for load from undef (NFC)

If we're loading from an all-undef value, we sometimes still
return zero rather than undef.


  Commit: 20d9c51dc0d11c8bd1c8135aef7816b9cac31990
      https://github.com/llvm/llvm-project/commit/20d9c51dc0d11c8bd1c8135aef7816b9cac31990
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-01-14 (Fri, 14 Jan 2022)

  Changed paths:
    M llvm/lib/Analysis/ConstantFolding.cpp
    M llvm/test/Transforms/InstSimplify/ConstProp/loads.ll

  Log Message:
  -----------
  [ConstantFold] Check for uniform value before reinterpret load

The reinterpret load code will convert undef values into zero.
Check the uniform value case before it to produce a better result
for all-undef initializers.

However, the uniform value handling will return the uniform value
even if the access is out of bounds, while the reinterpret load
code will return undef. Add an explicit check to retain the
previous result in this case.


Compare: https://github.com/llvm/llvm-project/compare/8dbc6a23bb1b...20d9c51dc0d1