← Back to branch summary

~pali/+junk/llvm-toolchain-3.7

« back to all changes in this revision

Viewing changes to test/Transforms/CorrelatedValuePropagation/2010-09-26-MergeConstantRange.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2015-07-15 17:51:08 UTC
  • Revision ID: package-import@ubuntu.com-20150715175108-l8mynwovkx4zx697
Tags: upstream-3.7~+rc2
Import upstream version 3.7~+rc2

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/Transforms/CorrelatedValuePropagation/2010-09-26-MergeConstantRange.ll
 
1
; RUN: opt < %s -jump-threading -correlated-propagation
 
2
 
 
3
%struct.S2 = type {}
 
4
 
 
5
@g_128 = external global %struct.S2, align 1
 
6
@g_106 = external global i16, align 2
 
7
 
 
8
define void @int328(i16 signext %p_82) noreturn nounwind ssp {
 
9
entry:
 
10
  %tobool3 = icmp eq i16 %p_82, 0
 
11
  br label %for.cond.outer
 
12
 
 
13
for.cond.outer:                                   ; preds = %for.cond.loopexit, %entry
 
14
  br label %for.cond
 
15
 
 
16
for.cond.loopexit:                                ; preds = %bb.nph, %for.cond9.preheader
 
17
  br label %for.cond.outer
 
18
 
 
19
for.cond.loopexit4.us-lcssa:                      ; preds = %if.then
 
20
  br label %for.cond.loopexit4
 
21
 
 
22
for.cond.loopexit4:                               ; preds = %for.cond.loopexit4.us-lcssa.us, %for.cond.loopexit4.us-lcssa
 
23
  br label %for.cond.backedge
 
24
 
 
25
for.cond:                                         ; preds = %for.cond.backedge, %for.cond.outer
 
26
  br i1 %tobool3, label %for.cond.split.us, label %for.cond.for.cond.split_crit_edge
 
27
 
 
28
for.cond.for.cond.split_crit_edge:                ; preds = %for.cond
 
29
  br label %lbl_133
 
30
 
 
31
for.cond.split.us:                                ; preds = %for.cond
 
32
  br label %lbl_133.us
 
33
 
 
34
lbl_133.us:                                       ; preds = %lbl_134.us, %for.cond.split.us
 
35
  br i1 undef, label %if.else14.us-lcssa.us, label %if.then.us
 
36
 
 
37
lbl_134.us:                                       ; preds = %if.then.us
 
38
  br i1 icmp eq (i16 ptrtoint (%struct.S2* @g_128 to i16), i16 0), label %for.cond9.preheader.us-lcssa.us, label %lbl_133.us
 
39
 
 
40
if.then.us:                                       ; preds = %lbl_133.us
 
41
  br i1 true, label %for.cond.loopexit4.us-lcssa.us, label %lbl_134.us
 
42
 
 
43
if.else14.us-lcssa.us:                            ; preds = %lbl_133.us
 
44
  br label %if.else14
 
45
 
 
46
for.cond9.preheader.us-lcssa.us:                  ; preds = %lbl_134.us
 
47
  br label %for.cond9.preheader
 
48
 
 
49
for.cond.loopexit4.us-lcssa.us:                   ; preds = %if.then.us
 
50
  br label %for.cond.loopexit4
 
51
 
 
52
lbl_133:                                          ; preds = %lbl_134, %for.cond.for.cond.split_crit_edge
 
53
  %l_109.0 = phi i16 [ 0, %for.cond.for.cond.split_crit_edge ], [ ptrtoint (%struct.S2* @g_128 to i16), %lbl_134 ]
 
54
  %tobool = icmp eq i32 undef, 0
 
55
  br i1 %tobool, label %if.else14.us-lcssa, label %if.then
 
56
 
 
57
if.then:                                          ; preds = %lbl_133
 
58
  br i1 false, label %for.cond.loopexit4.us-lcssa, label %lbl_134
 
59
 
 
60
lbl_134:                                          ; preds = %if.then
 
61
  br i1 icmp eq (i16 ptrtoint (%struct.S2* @g_128 to i16), i16 0), label %for.cond9.preheader.us-lcssa, label %lbl_133
 
62
 
 
63
for.cond9.preheader.us-lcssa:                     ; preds = %lbl_134
 
64
  br label %for.cond9.preheader
 
65
 
 
66
for.cond9.preheader:                              ; preds = %for.cond9.preheader.us-lcssa, %for.cond9.preheader.us-lcssa.us
 
67
  br i1 undef, label %bb.nph, label %for.cond.loopexit
 
68
 
 
69
bb.nph:                                           ; preds = %for.cond9.preheader
 
70
  br label %for.cond.loopexit
 
71
 
 
72
if.else14.us-lcssa:                               ; preds = %lbl_133
 
73
  br label %if.else14
 
74
 
 
75
if.else14:                                        ; preds = %if.else14.us-lcssa, %if.else14.us-lcssa.us
 
76
  %l_109.0.lcssa = phi i16 [ %l_109.0, %if.else14.us-lcssa ], [ 0, %if.else14.us-lcssa.us ]
 
77
  store i16 undef, i16* @g_106, align 2
 
78
  br label %for.cond.backedge
 
79
 
 
80
for.cond.backedge:                                ; preds = %if.else14, %for.cond.loopexit4
 
81
  br label %for.cond
 
82
}