Commit 9c3bf318 authored by Derek Schuff's avatar Derek Schuff
Browse files

[WebAssemly] Invalidate liveness in CFG stackifier 

WebAssemblyCFGStackify does not track liveness for EXPR_STACK, causing
verifier failure if liveness has not already been invalidated.

llvm-svn: 257620
parent 746cd84e

llvm/lib/Target/WebAssembly/WebAssemblyCFGStackify.cpp

+3 −0
Original line number Diff line number Diff line
@@ -34,6 +34,7 @@ 
#include "llvm/CodeGen/MachineFunction.h"

#include "llvm/CodeGen/MachineInstrBuilder.h"

#include "llvm/CodeGen/MachineLoopInfo.h"

#include "llvm/CodeGen/MachineRegisterInfo.h"

#include "llvm/CodeGen/Passes.h"

#include "llvm/Support/Debug.h"

#include "llvm/Support/raw_ostream.h"
@@ -475,7 +476,9 @@ bool WebAssemblyCFGStackify::runOnMachineFunction(MachineFunction &MF) { 


  const auto &MLI = getAnalysis<MachineLoopInfo>();

  auto &MDT = getAnalysis<MachineDominatorTree>();

  // Liveness is not tracked for EXPR_STACK physreg.

  const auto &TII = *MF.getSubtarget<WebAssemblySubtarget>().getInstrInfo();

  MF.getRegInfo().invalidateLiveness();



  // RPO sorting needs all loops to be single-entry.

  EliminateMultipleEntryLoops(MF, MLI);