[all-commits] [llvm/llvm-project] a8f1ec: [SimplifyCFG] Regenerate test checks (NFC)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a8f1ec5d6710c2b2c25eadccf58f010a2f2334c0
      https://github.com/llvm/llvm-project/commit/a8f1ec5d6710c2b2c25eadccf58f010a2f2334c0
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-07-21 (Wed, 21 Jul 2021)

  Changed paths:
    M llvm/test/Transforms/SimplifyCFG/speculate-store.ll

  Log Message:
  -----------
  [SimplifyCFG] Regenerate test checks (NFC)


  Commit: aa5adc0c1cd011c4861b609c0cf0db3221289810
      https://github.com/llvm/llvm-project/commit/aa5adc0c1cd011c4861b609c0cf0db3221289810
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-07-21 (Wed, 21 Jul 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/SimplifyCFG.cpp
    M llvm/test/Transforms/SimplifyCFG/speculate-store.ll

  Log Message:
  -----------
  [SimplifyCFG] Fix if conversion with opaque pointers

We need to make sure that the value types are the same. Otherwise
we both may not have the necessary dereferenceability implication,
nor can we directly form the desired select pattern.

Without opaque pointers this is enforced implicitly through the
pointer comparison.


Compare: https://github.com/llvm/llvm-project/compare/d01b34ed3146...aa5adc0c1cd0