test/Transforms/StructurizeCFG/no-branch-to-entry.ll

   1 ; XFAIL: *
   2
   3 ; This test used to generate a region that caused it to delete the entry block,
   4 ; but it does not anymore after the changes to handling of infinite loops in the
   5 ; PostDominatorTree.
   6 ; TODO: This should be either replaced with another IR or deleted completely.
   7
   8 ; RUN: opt -S -o - -structurizecfg -verify-dom-info < %s | FileCheck %s
   9
  10 ; CHECK-LABEL: @no_branch_to_entry_undef(
  11 ; CHECK: entry:
  12 ; CHECK-NEXT: br label %entry.orig
  13 define void @no_branch_to_entry_undef(i32 addrspace(1)* %out) {
  14 entry:
  15   br i1 undef, label %for.end, label %for.body
  16
  17 for.body:                                         ; preds = %entry, %for.body
  18   store i32 999, i32 addrspace(1)* %out, align 4
  19   br label %for.body
  20
  21 for.end:                                          ; preds = %Flow
  22   ret void
  23 }
  24
  25 ; CHECK-LABEL: @no_branch_to_entry_true(
  26 ; CHECK: entry:
  27 ; CHECK-NEXT: br label %entry.orig
  28 define void @no_branch_to_entry_true(i32 addrspace(1)* %out) {
  29 entry:
  30   br i1 true, label %for.end, label %for.body
  31
  32 for.body:                                         ; preds = %entry, %for.body
  33   store i32 999, i32 addrspace(1)* %out, align 4
  34   br label %for.body
  35
  36 for.end:                                          ; preds = %Flow
  37   ret void
  38 }