[PATCH] D22722: MIRParser/MIRPrinter: Compute isSSA instead of printing/parsing it.

Krzysztof Parzyszek via llvm-commits llvm-commits at lists.llvm.org
Wed Jul 27 10:46:05 PDT 2016


kparzysz added a subscriber: kparzysz.

================
Comment at: lib/CodeGen/MIRParser/MIRParser.cpp:303
@@ +302,3 @@
+    if (!MRI.hasOneDef(Reg) && !MRI.def_empty(Reg)) {
+      IsSSA = false;
+      break;
----------------
This check is insufficient.  The def must dominate all uses.  It is possible to have a non-SSA program where all registers have single definitions, but where a use is not dominated by the def.


Repository:
  rL LLVM

https://reviews.llvm.org/D22722





More information about the llvm-commits mailing list