commit d70e5907cdaf2dd7a7a40043278d3b9589dec9bb
author Dan Gohman <dan433584@gmail.com> Tue Dec 08 03:30:42 2015 +0000
committer Dan Gohman <dan433584@gmail.com> Tue Dec 08 03:30:42 2015 +0000
tree 281f4ebe96f9fd83b3d0b6a4ade6b11e25270917
parent a8551b4d7e4b3c25e0f0d44115502d0c63abe13e

[WebAssembly] Assert MRI.isSSA() in passes that depend on SSA form.

llvm-svn: 254995

llvm/lib/Target/WebAssembly/WebAssemblyRegStackify.cpp

diff --git a/llvm/lib/Target/WebAssembly/WebAssemblyRegStackify.cpp b/llvm/lib/Target/WebAssembly/WebAssemblyRegStackify.cpp
index ac016a7..9fbde70 100644
--- a/llvm/lib/Target/WebAssembly/WebAssemblyRegStackify.cpp
+++ b/llvm/lib/Target/WebAssembly/WebAssemblyRegStackify.cpp
@@ -127,6 +127,8 @@
   WebAssemblyFunctionInfo &MFI = *MF.getInfo<WebAssemblyFunctionInfo>();
   AliasAnalysis &AA = getAnalysis<AAResultsWrapperPass>().getAAResults();
 
+  assert(MRI.isSSA() && "RegStackify depends on SSA form");
+
   // Walk the instructions from the bottom up. Currently we don't look past
   // block boundaries, and the blocks aren't ordered so the block visitation
   // order isn't significant, but we may want to change this in the future.