[PATCH] D149365: [SimplifyCFG] Improve the way hoisting skips over non-matching instructions

[Jay Foad via Phabricator via llvm-commits]

foad added reviewers: aeubanks, chill, rnk, efriedma, nikic, fhahn, lebedev.ri, dmgreen.
foad added a subscriber: aeubanks.
foad added inline comments.


================
Comment at: llvm/test/Transforms/SimplifyCFG/hoist-common-skip.ll:394
 ; CHECK-NEXT:    [[SS:%.*]] = call ptr @llvm.stacksave()
+; CHECK-NEXT:    [[I2:%.*]] = alloca inalloca i64, align 8
 ; CHECK-NEXT:    br i1 [[COND:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
----------------
This looks wrong since this alloca was hoisted past a stacksave. D133730 was supposed to prevent this, according to its description, but in fact it only seems to prevent the converse: hoisting a stacksave past an alloca. @aeubanks 


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D149365/new/

https://reviews.llvm.org/D149365