source: icGREP/icgrep-devel/llvm-3.8.0.src/test/Analysis/ScalarEvolution/pr25369.ll @ 5027

Last change on this file since 5027 was 5027, checked in by cameron, 3 years ago

Upgrade to llvm 3.8

File size: 2.6 KB
Line 
1; RUN: opt -analyze -scalar-evolution < %s | FileCheck %s
2
3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
4target triple = "x86_64-unknown-linux-gnu"
5
6define void @hoge1() {
7; CHECK-LABEL: Classifying expressions for: @hoge1
8bb:
9  br i1 undef, label %bb4, label %bb2
10
11bb2:                                              ; preds = %bb2, %bb
12  br i1 false, label %bb4, label %bb2
13
14bb3:                                              ; preds = %bb4
15  %tmp = add i32 %tmp10, -1
16  br label %bb13
17
18bb4:                                              ; preds = %bb4, %bb2, %bb
19  %tmp5 = phi i64 [ %tmp11, %bb4 ], [ 1, %bb2 ], [ 1, %bb ]
20  %tmp6 = phi i32 [ %tmp10, %bb4 ], [ 0, %bb2 ], [ 0, %bb ]
21  %tmp7 = load i32, i32* undef, align 4
22  %tmp8 = add i32 %tmp7, %tmp6
23  %tmp9 = add i32 undef, %tmp8
24  %tmp10 = add i32 undef, %tmp9
25  %tmp11 = add nsw i64 %tmp5, 3
26  %tmp12 = icmp eq i64 %tmp11, 64
27  br i1 %tmp12, label %bb3, label %bb4
28
29; CHECK: Loop %bb4: backedge-taken count is 20
30; CHECK: Loop %bb4: max backedge-taken count is 20
31
32bb13:                                             ; preds = %bb13, %bb3
33  %tmp14 = phi i64 [ 0, %bb3 ], [ %tmp15, %bb13 ]
34  %tmp15 = add nuw nsw i64 %tmp14, 1
35  %tmp16 = trunc i64 %tmp15 to i32
36  %tmp17 = icmp eq i32 %tmp16, %tmp
37  br i1 %tmp17, label %bb18, label %bb13
38
39bb18:                                             ; preds = %bb13
40  ret void
41}
42
43define void @hoge2() {
44; CHECK-LABEL: Classifying expressions for: @hoge2
45bb:
46  br i1 undef, label %bb4, label %bb2
47
48bb2:                                              ; preds = %bb2, %bb
49  br i1 false, label %bb4, label %bb2
50
51bb3:                                              ; preds = %bb4
52  %tmp = add i32 %tmp10, -1
53  br label %bb13
54
55bb4:                                              ; preds = %bb4, %bb2, %bb
56  %tmp5 = phi i64 [ %tmp11, %bb4 ], [ 1, %bb2 ], [ 3, %bb ]
57  %tmp6 = phi i32 [ %tmp10, %bb4 ], [ 0, %bb2 ], [ 0, %bb ]
58  %tmp7 = load i32, i32* undef, align 4
59  %tmp8 = add i32 %tmp7, %tmp6
60  %tmp9 = add i32 undef, %tmp8
61  %tmp10 = add i32 undef, %tmp9
62  %tmp11 = add nsw i64 %tmp5, 3
63  %tmp12 = icmp eq i64 %tmp11, 64
64  br i1 %tmp12, label %bb3, label %bb4
65
66; CHECK: Loop %bb4: Unpredictable backedge-taken count.
67; CHECK: Loop %bb4: Unpredictable max backedge-taken count.
68
69bb13:                                             ; preds = %bb13, %bb3
70  %tmp14 = phi i64 [ 0, %bb3 ], [ %tmp15, %bb13 ]
71  %tmp15 = add nuw nsw i64 %tmp14, 1
72  %tmp16 = trunc i64 %tmp15 to i32
73  %tmp17 = icmp eq i32 %tmp16, %tmp
74  br i1 %tmp17, label %bb18, label %bb13
75
76bb18:                                             ; preds = %bb13
77  ret void
78}
Note: See TracBrowser for help on using the repository browser.