aoli added a comment. if we call `isStaticAlloca` in `canReplaceOperandWithVariable` it is still possible to turn a constant-size stack allocation into a variable-size stack allocation in SimplifyCFG. Is that ok? https://reviews.llvm.org/D34921