[PATCH] D86141: [GlobalISel][IRTranslator] Support PHI instructions in landingpad blocks

[Konstantin Schwarz via Phabricator via llvm-commits]

kschwarz created this revision.
kschwarz added reviewers: arsenm, t.p.northover.
Herald added subscribers: hiraditya, rovka.
Herald added a project: LLVM.
kschwarz requested review of this revision.
Herald added a subscriber: wdng.

The check for the landingpad instructions was overly restrictive. In optimimized builds PHI nodes can appear
before the landingpad instructions, resulting in a fallback to SelectionDAG.

This change relaxes the check to allow PHI nodes.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D86141

Files:
  llvm/lib/CodeGen/GlobalISel/IRTranslator.cpp
  llvm/test/CodeGen/AArch64/GlobalISel/irtranslator-exceptions.ll


Index: llvm/test/CodeGen/AArch64/GlobalISel/irtranslator-exceptions.ll
===================================================================
--- llvm/test/CodeGen/AArch64/GlobalISel/irtranslator-exceptions.ll
+++ llvm/test/CodeGen/AArch64/GlobalISel/irtranslator-exceptions.ll
@@ -87,3 +87,42 @@
 continue:
   ret void
 }
+
+; CHECK-LABEL: name: test_lpad_phi
+; CHECK: body:
+; CHECK-NEXT:   bb.1 (%ir-block.0):
+; CHECK:     successors: %[[GOOD:bb.[0-9]+]]{{.*}}%[[BAD:bb.[0-9]+]]
+; CHECK:     [[ELEVEN:%[0-9]+]]:_(s32) = G_CONSTANT i32 11
+; CHECK:     EH_LABEL
+; CHECK:     BL @may_throw, csr_darwin_aarch64_aapcs, implicit-def $lr, implicit $sp
+; CHECK:     EH_LABEL
+; CHECK:     G_BR %[[GOOD]]
+
+; CHECK:   [[BAD]].{{[a-z]+}} (landing-pad):
+; CHECK:     [[PHI_ELEVEN:%[0-9]+]]:_(s32) = G_PHI [[ELEVEN]](s32), %bb.1
+; CHECK:     EH_LABEL
+; CHECK:     G_STORE [[PHI_ELEVEN]](s32), {{%[0-9]+}}(p0) :: (store 4 into @global_var)
+
+; CHECK:   [[GOOD]].{{[a-z]+}}:
+; CHECK:     [[SEL:%[0-9]+]]:_(s32) = G_PHI
+; CHECK:     $w0 = COPY [[SEL]]
+
+ at global_var = external global i32
+
+declare void @may_throw()
+define i32 @test_lpad_phi() personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
+  store i32 42, i32* @global_var
+  invoke void @may_throw()
+          to label %continue unwind label %lpad
+
+lpad:                                             ; preds = %entry
+  %p = phi i32 [ 11, %0 ]  ; Trivial, but -O0 keeps it
+  %1 = landingpad { i8*, i32 }
+          catch i8* null
+  store i32 %p, i32* @global_var
+  br label %continue
+
+continue:                                         ; preds = %entry, %lpad
+  %r.0 = phi i32 [ 13, %0 ], [ 55, %lpad ]
+  ret i32 %r.0
+}
Index: llvm/lib/CodeGen/GlobalISel/IRTranslator.cpp
===================================================================
--- llvm/lib/CodeGen/GlobalISel/IRTranslator.cpp
+++ llvm/lib/CodeGen/GlobalISel/IRTranslator.cpp
@@ -2030,7 +2030,7 @@
     return false;
 
   // FIXME: support Windows exception handling.
-  if (!isa<LandingPadInst>(EHPadBB->front()))
+  if (!isa<LandingPadInst>(EHPadBB->getFirstNonPHI()))
     return false;
 
   // Emit the actual call, bracketed by EH_LABELs so that the MF knows about


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D86141.286277.patch
Type: text/x-patch
Size: 2216 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200818/7ff2029a/attachment.bin>