diff --git a/flang/lib/Lower/PFTBuilder.cpp b/flang/lib/Lower/PFTBuilder.cpp
--- a/flang/lib/Lower/PFTBuilder.cpp
+++ b/flang/lib/Lower/PFTBuilder.cpp
@@ -324,11 +324,21 @@
   }
 
   void exitConstructOrDirective() {
+    auto isOpenMPLoopConstruct = [](Fortran::lower::pft::Evaluation *eval) {
+      if (const auto *ompConstruct = eval->getIf<parser::OpenMPConstruct>())
+        if (std::holds_alternative<parser::OpenMPLoopConstruct>(
+                ompConstruct->u))
+          return true;
+      return false;
+    };
+
     rewriteIfGotos();
     auto *eval = constructAndDirectiveStack.back();
-    if (eval->isExecutableDirective()) {
+    if (eval->isExecutableDirective() && !isOpenMPLoopConstruct(eval)) {
       // A construct at the end of an (unstructured) OpenACC or OpenMP
       // construct region must have an exit target inside the region.
+      // This is not applicable to the OpenMP loop construct since the
+      // end of the loop is an available target inside the region.
       Fortran::lower::pft::EvaluationList &evaluationList =
           *eval->evaluationList;
       if (!evaluationList.empty() && evaluationList.back().isConstruct()) {
diff --git a/flang/test/Lower/OpenMP/pre-fir-tree-loop.f90 b/flang/test/Lower/OpenMP/pre-fir-tree-loop.f90
new file mode 100644
--- /dev/null
+++ b/flang/test/Lower/OpenMP/pre-fir-tree-loop.f90
@@ -0,0 +1,70 @@
+! RUN: bbc -fopenmp -pft-test -o %t %s | FileCheck %s
+! RUN: %flang_fc1 -fopenmp -fdebug-dump-pft -o %t %s | FileCheck %s
+
+! Loop constructs always have an `end do` which can be the target of
+! a branch. So OpenMP loop constructs do not need an artificial
+! continue inserted for a target.
+
+!CHECK-LABEL: sb0
+!CHECK-NOT: continue
+subroutine sb0(cond)
+  implicit none
+  logical :: cond
+  integer :: i
+  !$omp parallel do
+  do i = 1, 20
+    if( cond) then
+      cycle
+    end if
+  end do
+  return
+end subroutine
+
+!CHECK-LABEL: sb1
+!CHECK-NOT: continue
+subroutine sb1(cond)
+  implicit none
+  logical :: cond
+  integer :: i
+  !$omp parallel do
+  do i = 1, 20
+    if( cond) then
+      cycle
+    end if
+  end do
+  !$omp end parallel do
+  return
+end subroutine
+
+!CHECK-LABEL: sb2
+!CHECK-NOT: continue
+subroutine sb2
+  integer :: i, n
+  integer :: tmp
+
+  !$omp parallel do
+  do ifld=1,n
+     do isum=1,n
+       if (tmp > n) then
+         exit
+       endif
+     enddo
+     tmp = n
+  enddo
+end subroutine
+
+!CHECK-LABEL: sb3
+!CHECK-NOT: continue
+subroutine sb3
+  integer :: i, n
+  integer :: tmp
+
+  !$omp parallel do
+  do ifld=1,n
+     do isum=1,n
+       if (tmp > n) then
+         exit
+       endif
+     enddo
+  enddo
+end subroutine