Re-land [openmp] Fix warnings when building on Windows with latest MSVC or Clang...
[llvm-project.git] / llvm / test / Analysis / ScalarEvolution / no-wrap-symbolic-becount.ll
blob1831d81cc99fe60a9caade3b2db9eed546446fa6
1 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
2 ; RUN: opt < %s -disable-output -scalar-evolution-use-expensive-range-sharpening -passes='print<scalar-evolution>' 2>&1 | FileCheck %s
4 define i32 @test_01(i32 %start, ptr %p, ptr %q) {
5 ; CHECK-LABEL: 'test_01'
6 ; CHECK-NEXT:  Classifying expressions for: @test_01
7 ; CHECK-NEXT:    %0 = zext i32 %start to i64
8 ; CHECK-NEXT:    --> (zext i32 %start to i64) U: [0,4294967296) S: [0,4294967296)
9 ; CHECK-NEXT:    %indvars.iv = phi i64 [ %indvars.iv.next, %backedge ], [ %0, %entry ]
10 ; CHECK-NEXT:    --> {(zext i32 %start to i64),+,-1}<nsw><%loop> U: [0,4294967296) S: [0,4294967296) Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
11 ; CHECK-NEXT:    %iv = phi i32 [ %start, %entry ], [ %iv.next, %backedge ]
12 ; CHECK-NEXT:    --> {%start,+,-1}<%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
13 ; CHECK-NEXT:    %iv.next = add i32 %iv, -1
14 ; CHECK-NEXT:    --> {(-1 + %start),+,-1}<%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
15 ; CHECK-NEXT:    %index = zext i32 %iv.next to i64
16 ; CHECK-NEXT:    --> (zext i32 {(-1 + %start),+,-1}<%loop> to i64) U: [0,4294967296) S: [0,4294967296) Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
17 ; CHECK-NEXT:    %store.addr = getelementptr i32, ptr %p, i64 %index
18 ; CHECK-NEXT:    --> ((4 * (zext i32 {(-1 + %start),+,-1}<%loop> to i64))<nuw><nsw> + %p) U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
19 ; CHECK-NEXT:    %load.addr = getelementptr i32, ptr %q, i64 %index
20 ; CHECK-NEXT:    --> ((4 * (zext i32 {(-1 + %start),+,-1}<%loop> to i64))<nuw><nsw> + %q) U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
21 ; CHECK-NEXT:    %stop = load i32, ptr %load.addr, align 4
22 ; CHECK-NEXT:    --> %stop U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Variant }
23 ; CHECK-NEXT:    %indvars.iv.next = add nsw i64 %indvars.iv, -1
24 ; CHECK-NEXT:    --> {(-1 + (zext i32 %start to i64))<nsw>,+,-1}<nsw><%loop> U: [-4294967296,4294967295) S: [-1,4294967295) Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
25 ; CHECK-NEXT:  Determining loop execution counts for: @test_01
26 ; CHECK-NEXT:  Loop %loop: <multiple exits> Unpredictable backedge-taken count.
27 ; CHECK-NEXT:    exit count for loop: (zext i32 %start to i64)
28 ; CHECK-NEXT:    exit count for backedge: ***COULDNOTCOMPUTE***
29 ; CHECK-NEXT:  Loop %loop: constant max backedge-taken count is 4294967295
30 ; CHECK-NEXT:  Loop %loop: symbolic max backedge-taken count is (zext i32 %start to i64)
31 ; CHECK-NEXT:    symbolic max exit count for loop: (zext i32 %start to i64)
32 ; CHECK-NEXT:    symbolic max exit count for backedge: ***COULDNOTCOMPUTE***
33 ; CHECK-NEXT:  Loop %loop: Unpredictable predicated backedge-taken count.
35 entry:
36   %0 = zext i32 %start to i64
37   br label %loop
39 loop:                                             ; preds = %backedge, %entry
40   %indvars.iv = phi i64 [ %indvars.iv.next, %backedge ], [ %0, %entry ]
41   %iv = phi i32 [ %start, %entry ], [ %iv.next, %backedge ]
42   %cond = icmp eq i64 %indvars.iv, 0
43   br i1 %cond, label %exit, label %backedge
45 backedge:                                         ; preds = %loop
46   %iv.next = add i32 %iv, -1
47   %index = zext i32 %iv.next to i64
48   %store.addr = getelementptr i32, ptr %p, i64 %index
49   store i32 1, ptr %store.addr, align 4
50   %load.addr = getelementptr i32, ptr %q, i64 %index
51   %stop = load i32, ptr %load.addr, align 4
52   %loop.cond = icmp eq i32 %stop, 0
53   %indvars.iv.next = add nsw i64 %indvars.iv, -1
54   br i1 %loop.cond, label %loop, label %failure
56 exit:                                             ; preds = %loop
57   ret i32 0
59 failure:                                          ; preds = %backedge
60   unreachable
63 ; Check that we do not mess up with wrapping ranges.
64 define i32 @test_02(i32 %start, ptr %p, ptr %q) {
65 ; CHECK-LABEL: 'test_02'
66 ; CHECK-NEXT:  Classifying expressions for: @test_02
67 ; CHECK-NEXT:    %zext = zext i32 %start to i64
68 ; CHECK-NEXT:    --> (zext i32 %start to i64) U: [0,4294967296) S: [0,4294967296)
69 ; CHECK-NEXT:    %shl = shl i64 %zext, 31
70 ; CHECK-NEXT:    --> (2147483648 * (zext i32 %start to i64))<nuw><nsw> U: [0,9223372034707292161) S: [0,9223372034707292161)
71 ; CHECK-NEXT:    %indvars.iv = phi i64 [ %indvars.iv.next, %loop ], [ %shl, %entry ]
72 ; CHECK-NEXT:    --> {(2147483648 * (zext i32 %start to i64))<nuw><nsw>,+,-1}<nsw><%loop> U: [-9223372036854775808,9223372034707292161) S: [-9223372036854775808,9223372034707292161) Exits: -9223372036854775806 LoopDispositions: { %loop: Computable }
73 ; CHECK-NEXT:    %indvars.iv.next = add nsw i64 %indvars.iv, -1
74 ; CHECK-NEXT:    --> {(-1 + (2147483648 * (zext i32 %start to i64))<nuw><nsw>)<nsw>,+,-1}<nw><%loop> U: full-set S: full-set Exits: -9223372036854775807 LoopDispositions: { %loop: Computable }
75 ; CHECK-NEXT:  Determining loop execution counts for: @test_02
76 ; CHECK-NEXT:  Loop %loop: backedge-taken count is (9223372036854775806 + (2147483648 * (zext i32 %start to i64))<nuw><nsw>)<nuw>
77 ; CHECK-NEXT:  Loop %loop: constant max backedge-taken count is -2147483650
78 ; CHECK-NEXT:  Loop %loop: symbolic max backedge-taken count is (9223372036854775806 + (2147483648 * (zext i32 %start to i64))<nuw><nsw>)<nuw>
79 ; CHECK-NEXT:  Loop %loop: Predicated backedge-taken count is (9223372036854775806 + (2147483648 * (zext i32 %start to i64))<nuw><nsw>)<nuw>
80 ; CHECK-NEXT:   Predicates:
81 ; CHECK-NEXT:  Loop %loop: Trip multiple is 1
83 entry:
84   %zext = zext i32 %start to i64
85   %shl = shl i64 %zext, 31
86   br label %loop
88 loop:                                             ; preds = %backedge, %entry
89   %indvars.iv = phi i64 [ %indvars.iv.next, %loop ], [ %shl, %entry ]
90   %cond = icmp eq i64 %indvars.iv, -9223372036854775806
91   %indvars.iv.next = add nsw i64 %indvars.iv, -1
92   br i1 %cond, label %exit, label %loop
94 exit:                                             ; preds = %loop
95   ret i32 0
98 define void @pointer_iv_nowrap(ptr %startptr, ptr %endptr) local_unnamed_addr {
99 ; CHECK-LABEL: 'pointer_iv_nowrap'
100 ; CHECK-NEXT:  Classifying expressions for: @pointer_iv_nowrap
101 ; CHECK-NEXT:    %init = getelementptr inbounds i8, ptr %startptr, i64 2000
102 ; CHECK-NEXT:    --> (2000 + %startptr) U: full-set S: full-set
103 ; CHECK-NEXT:    %iv = phi ptr [ %init, %entry ], [ %iv.next, %loop ]
104 ; CHECK-NEXT:    --> {(2000 + %startptr),+,1}<nuw><%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
105 ; CHECK-NEXT:    %iv.next = getelementptr inbounds i8, ptr %iv, i64 1
106 ; CHECK-NEXT:    --> {(2001 + %startptr),+,1}<nuw><%loop> U: full-set S: full-set Exits: <<Unknown>> LoopDispositions: { %loop: Computable }
107 ; CHECK-NEXT:  Determining loop execution counts for: @pointer_iv_nowrap
108 ; CHECK-NEXT:  Loop %loop: Unpredictable backedge-taken count.
109 ; CHECK-NEXT:  Loop %loop: Unpredictable constant max backedge-taken count.
110 ; CHECK-NEXT:  Loop %loop: Unpredictable symbolic max backedge-taken count.
111 ; CHECK-NEXT:  Loop %loop: Unpredictable predicated backedge-taken count.
113 entry:
114   %init = getelementptr inbounds i8, ptr %startptr, i64 2000
115   br label %loop
117 loop:
118   %iv = phi ptr [ %init, %entry ], [ %iv.next, %loop ]
119   %iv.next = getelementptr inbounds i8, ptr %iv, i64 1
120   %ec = icmp ugt ptr %iv.next, %endptr
121   br i1 %ec, label %end, label %loop
123 end:
124   ret void
127 define void @pointer_iv_nowrap_guard(ptr %startptr, ptr %endptr) local_unnamed_addr {
128 ; CHECK-LABEL: 'pointer_iv_nowrap_guard'
129 ; CHECK-NEXT:  Classifying expressions for: @pointer_iv_nowrap_guard
130 ; CHECK-NEXT:    %init = getelementptr inbounds i32, ptr %startptr, i64 2000
131 ; CHECK-NEXT:    --> (8000 + %startptr)<nuw> U: [8000,0) S: [8000,0)
132 ; CHECK-NEXT:    %iv = phi ptr [ %init, %entry ], [ %iv.next, %loop ]
133 ; CHECK-NEXT:    --> {(8000 + %startptr)<nuw>,+,4}<nuw><%loop> U: [8000,0) S: [8000,0) Exits: (8000 + (4 * ((-8001 + (-1 * (ptrtoint ptr %startptr to i64)) + ((8004 + (ptrtoint ptr %startptr to i64)) umax (ptrtoint ptr %endptr to i64))) /u 4))<nuw> + %startptr) LoopDispositions: { %loop: Computable }
134 ; CHECK-NEXT:    %iv.next = getelementptr inbounds i32, ptr %iv, i64 1
135 ; CHECK-NEXT:    --> {(8004 + %startptr),+,4}<nuw><%loop> U: full-set S: full-set Exits: (8004 + (4 * ((-8001 + (-1 * (ptrtoint ptr %startptr to i64)) + ((8004 + (ptrtoint ptr %startptr to i64)) umax (ptrtoint ptr %endptr to i64))) /u 4))<nuw> + %startptr) LoopDispositions: { %loop: Computable }
136 ; CHECK-NEXT:  Determining loop execution counts for: @pointer_iv_nowrap_guard
137 ; CHECK-NEXT:  Loop %loop: backedge-taken count is ((-8001 + (-1 * (ptrtoint ptr %startptr to i64)) + ((8004 + (ptrtoint ptr %startptr to i64)) umax (ptrtoint ptr %endptr to i64))) /u 4)
138 ; CHECK-NEXT:  Loop %loop: constant max backedge-taken count is 4611686018427387903
139 ; CHECK-NEXT:  Loop %loop: symbolic max backedge-taken count is ((-8001 + (-1 * (ptrtoint ptr %startptr to i64)) + ((8004 + (ptrtoint ptr %startptr to i64)) umax (ptrtoint ptr %endptr to i64))) /u 4)
140 ; CHECK-NEXT:  Loop %loop: Predicated backedge-taken count is ((-8001 + (-1 * (ptrtoint ptr %startptr to i64)) + ((8004 + (ptrtoint ptr %startptr to i64)) umax (ptrtoint ptr %endptr to i64))) /u 4)
141 ; CHECK-NEXT:   Predicates:
142 ; CHECK-NEXT:  Loop %loop: Trip multiple is 1
144 entry:
145   %init = getelementptr inbounds i32, ptr %startptr, i64 2000
146   %cmp2 = icmp ult ptr %init, %endptr
147   br i1 %cmp2, label %loop, label %end
149 loop:
150   %iv = phi ptr [ %init, %entry ], [ %iv.next, %loop ]
151   %iv.next = getelementptr inbounds i32, ptr %iv, i64 1
152   %ec = icmp uge ptr %iv.next, %endptr
153   br i1 %ec, label %end, label %loop
155 end:
156   ret void