[all-commits] [llvm/llvm-project] 6a3561: [NFC][SROA] Add test for select speculation failures

[Roman Lebedev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6a3561d2d34ba9205a340d6f2b37c54a166eaf17
      https://github.com/llvm/llvm-project/commit/6a3561d2d34ba9205a340d6f2b37c54a166eaf17
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2022-11-17 (Thu, 17 Nov 2022)

  Changed paths:
    M llvm/test/Transforms/SROA/select-load.ll

  Log Message:
  -----------
  [NFC][SROA] Add test for select speculation failures


  Commit: be1f9943119f6012d319f8e4145f260d4bcff933
      https://github.com/llvm/llvm-project/commit/be1f9943119f6012d319f8e4145f260d4bcff933
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2022-11-17 (Thu, 17 Nov 2022)

  Changed paths:
    M llvm/include/llvm/IR/IntrinsicInst.h
    M llvm/lib/Analysis/Loads.cpp
    M llvm/test/Transforms/SROA/select-load.ll

  Log Message:
  -----------
  [Analysis] `isSafeToLoadUnconditionally()`: `lifetime` intrinsics can be ignored

In practice this means that we can speculate more loads in SROA.
This e.g. comes up in https://godbolt.org/z/G8716s6sj,
although we are missing second half of the puzzle to optimize that.


Compare: https://github.com/llvm/llvm-project/compare/bcaf31ec3fc8...be1f9943119f