[PATCH] D144756: [SimplifyCFG] Do not hoist/sink convergent function calls

[Artem Belevich via Phabricator via llvm-commits]

tra accepted this revision.
tra added inline comments.
This revision is now accepted and ready to land.


================
Comment at: llvm/test/Transforms/SimplifyCFG/convergent.ll:55
+; NOSINK-NEXT:    br i1 [[CMP_NOT]], label [[IF_ELSE:%.*]], label [[IF_THEN:%.*]]
+; NOSINK:       if.then:
+; NOSINK-NEXT:    [[TMP1:%.*]] = tail call i32 @mbcnt(i32 -1, i32 0)
----------------
Nit: Do we intend to pattern-match `if.then` here and use `[[IF_THEN]]:` instead?

I guess we should either consistently use captured labels, or literal label names everywhere.


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

https://reviews.llvm.org/D144756