Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/StructurizeCFG/no-branch-to-entry.ll @ 201:a96fbbdf2d0f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 04 Jun 2021 21:07:06 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; XFAIL: *
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 ; This test used to generate a region that caused it to delete the entry block,
anatofuz
parents:
diff changeset
4 ; but it does not anymore after the changes to handling of infinite loops in the
anatofuz
parents:
diff changeset
5 ; PostDominatorTree.
anatofuz
parents:
diff changeset
6 ; TODO: This should be either replaced with another IR or deleted completely.
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 ; RUN: opt -S -o - -structurizecfg -verify-dom-info < %s | FileCheck %s
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 ; CHECK-LABEL: @no_branch_to_entry_undef(
anatofuz
parents:
diff changeset
11 ; CHECK: entry:
anatofuz
parents:
diff changeset
12 ; CHECK-NEXT: br label %entry.orig
anatofuz
parents:
diff changeset
13 define void @no_branch_to_entry_undef(i32 addrspace(1)* %out) {
anatofuz
parents:
diff changeset
14 entry:
anatofuz
parents:
diff changeset
15 br i1 undef, label %for.end, label %for.body
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 for.body: ; preds = %entry, %for.body
anatofuz
parents:
diff changeset
18 store i32 999, i32 addrspace(1)* %out, align 4
anatofuz
parents:
diff changeset
19 br label %for.body
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 for.end: ; preds = %Flow
anatofuz
parents:
diff changeset
22 ret void
anatofuz
parents:
diff changeset
23 }
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 ; CHECK-LABEL: @no_branch_to_entry_true(
anatofuz
parents:
diff changeset
26 ; CHECK: entry:
anatofuz
parents:
diff changeset
27 ; CHECK-NEXT: br label %entry.orig
anatofuz
parents:
diff changeset
28 define void @no_branch_to_entry_true(i32 addrspace(1)* %out) {
anatofuz
parents:
diff changeset
29 entry:
anatofuz
parents:
diff changeset
30 br i1 true, label %for.end, label %for.body
anatofuz
parents:
diff changeset
31
anatofuz
parents:
diff changeset
32 for.body: ; preds = %entry, %for.body
anatofuz
parents:
diff changeset
33 store i32 999, i32 addrspace(1)* %out, align 4
anatofuz
parents:
diff changeset
34 br label %for.body
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 for.end: ; preds = %Flow
anatofuz
parents:
diff changeset
37 ret void
anatofuz
parents:
diff changeset
38 }