Mercurial > hg > CbC > CbC_llvm

comparison test/Transforms/IndVarSimplify/pr24356.ll @ 95:afa8332a0e37 LLVM3.8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.8
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 13 Oct 2015 17:48:58 +0900
parents
children
comparison
equal deleted inserted replaced
84:f3e34b893a5f 95:afa8332a0e37
1 ; RUN: opt -S -indvars < %s | FileCheck %s
2
3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
4 target triple = "x86_64-apple-macosx10.10.0"
5
6 @a = common global i32 0, align 4
7
8 ; Function Attrs: nounwind ssp uwtable
9 define void @fn1() {
10 ; CHECK-LABEL: @fn1(
11 bb:
12 br label %bb4.preheader
13
14 bb4.preheader: ; preds = %bb, %bb16
15 ; CHECK-LABEL: bb4.preheader:
16 %b.03 = phi i8 [ 0, %bb ], [ %tmp17, %bb16 ]
17 ; CHECK: %tmp9 = icmp ugt i8 %b.03, 1
18 ; CHECK-NOT: %tmp9 = icmp ugt i8 0, 1
19
20 %tmp9 = icmp ugt i8 %b.03, 1
21 br i1 %tmp9, label %bb4.preheader.bb18.loopexit.split_crit_edge, label %bb4.preheader.bb4.preheader.split_crit_edge
22
23 bb4.preheader.bb4.preheader.split_crit_edge: ; preds = %bb4.preheader
24 br label %bb4.preheader.split
25
26 bb4.preheader.bb18.loopexit.split_crit_edge: ; preds = %bb4.preheader
27 store i32 0, i32* @a, align 4
28 br label %bb18.loopexit.split
29
30 bb4.preheader.split: ; preds = %bb4.preheader.bb4.preheader.split_crit_edge
31 br label %bb7
32
33 bb4: ; preds = %bb7
34 %tmp6 = icmp slt i32 %storemerge2, 0
35 br i1 %tmp6, label %bb7, label %bb16
36
37 bb7: ; preds = %bb4.preheader.split, %bb4
38 %storemerge2 = phi i32 [ 0, %bb4.preheader.split ], [ %tmp14, %bb4 ]
39 %tmp14 = add nsw i32 %storemerge2, 1
40 br i1 false, label %bb18.loopexit, label %bb4
41
42 bb16: ; preds = %bb4
43 %tmp14.lcssa5 = phi i32 [ %tmp14, %bb4 ]
44 %tmp17 = add i8 %b.03, -1
45 %tmp2 = icmp eq i8 %tmp17, -2
46 br i1 %tmp2, label %bb18.loopexit1, label %bb4.preheader
47
48 bb18.loopexit: ; preds = %bb7
49 br label %bb18.loopexit.split
50
51 bb18.loopexit.split: ; preds = %bb4.preheader.bb18.loopexit.split_crit_edge, %bb18.loopexit
52 br label %bb18
53
54 bb18.loopexit1: ; preds = %bb16
55 %tmp14.lcssa5.lcssa = phi i32 [ %tmp14.lcssa5, %bb16 ]
56 store i32 %tmp14.lcssa5.lcssa, i32* @a, align 4
57 br label %bb18
58
59 bb18: ; preds = %bb18.loopexit1, %bb18.loopexit.split
60 ret void
61 }
62
63 declare void @abort()