Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / a060e602fd6afa836f17da5b7fc865651714d259 / . / llvm / test / Analysis / ScalarEvolution / no-wrap-add-exprs.ll
blob: fc5c35f8788ebd02870623f8a8758d215eb13a56 [file] [log] [blame]
Sanjoy Das8f274152015-10-22 19:57:19 +0000[diff] [blame]1; RUN: opt -S -analyze -scalar-evolution < %s | FileCheck %s
2
3!0 = !{i8 0, i8 127}
4
5define void @f0(i8* %len_addr) {
6; CHECK-LABEL: Classifying expressions for: @f0
7 entry:
8 %len = load i8, i8* %len_addr, !range !0
9 %len_norange = load i8, i8* %len_addr
10; CHECK: %len = load i8, i8* %len_addr, !range !0
11; CHECK-NEXT: --> %len U: [0,127) S: [0,127)
12; CHECK: %len_norange = load i8, i8* %len_addr
13; CHECK-NEXT: --> %len_norange U: full-set S: full-set
14
15 %t0 = add i8 %len, 1
16 %t1 = add i8 %len, 2
17; CHECK: %t0 = add i8 %len, 1
18; CHECK-NEXT: --> (1 + %len)<nuw><nsw> U: [1,-128) S: [1,-128)
19; CHECK: %t1 = add i8 %len, 2
20; CHECK-NEXT: --> (2 + %len)<nuw> U: [2,-127) S: [2,-127)
21
22 %t2 = sub i8 %len, 1
23 %t3 = sub i8 %len, 2
24; CHECK: %t2 = sub i8 %len, 1
25; CHECK-NEXT: --> (-1 + %len)<nsw> U: [-1,126) S: [-1,126)
26; CHECK: %t3 = sub i8 %len, 2
27; CHECK-NEXT: --> (-2 + %len)<nsw> U: [-2,125) S: [-2,125)
28
29 %q0 = add i8 %len_norange, 1
30 %q1 = add i8 %len_norange, 2
31; CHECK: %q0 = add i8 %len_norange, 1
32; CHECK-NEXT: --> (1 + %len_norange) U: full-set S: full-set
33; CHECK: %q1 = add i8 %len_norange, 2
34; CHECK-NEXT: --> (2 + %len_norange) U: full-set S: full-set
35
36 %q2 = sub i8 %len_norange, 1
37 %q3 = sub i8 %len_norange, 2
38; CHECK: %q2 = sub i8 %len_norange, 1
39; CHECK-NEXT: --> (-1 + %len_norange) U: full-set S: full-set
40; CHECK: %q3 = sub i8 %len_norange, 2
41; CHECK-NEXT: --> (-2 + %len_norange) U: full-set S: full-set
42
43 ret void
44}
Sanjoy Dasa060e602015-10-22 19:57:25 +0000[diff] [blame^]45
46define void @f1(i8* %len_addr) {
47; CHECK-LABEL: Classifying expressions for: @f1
48 entry:
49 %len = load i8, i8* %len_addr, !range !0
50 %len_norange = load i8, i8* %len_addr
51; CHECK: %len = load i8, i8* %len_addr, !range !0
52; CHECK-NEXT: --> %len U: [0,127) S: [0,127)
53; CHECK: %len_norange = load i8, i8* %len_addr
54; CHECK-NEXT: --> %len_norange U: full-set S: full-set
55
56 %t0 = add i8 %len, -1
57 %t1 = add i8 %len, -2
58; CHECK: %t0 = add i8 %len, -1
59; CHECK-NEXT: --> (-1 + %len)<nsw> U: [-1,126) S: [-1,126)
60; CHECK: %t1 = add i8 %len, -2
61; CHECK-NEXT: --> (-2 + %len)<nsw> U: [-2,125) S: [-2,125)
62
63 %t0.sext = sext i8 %t0 to i16
64 %t1.sext = sext i8 %t1 to i16
65; CHECK: %t0.sext = sext i8 %t0 to i16
66; CHECK-NEXT: --> (-1 + (zext i8 %len to i16))<nsw> U: [-1,126) S: [-1,126)
67; CHECK: %t1.sext = sext i8 %t1 to i16
68; CHECK-NEXT: --> (-2 + (zext i8 %len to i16))<nsw> U: [-2,125) S: [-2,125)
69
70 %q0 = add i8 %len_norange, 1
71 %q1 = add i8 %len_norange, 2
72; CHECK: %q0 = add i8 %len_norange, 1
73; CHECK-NEXT: --> (1 + %len_norange) U: full-set S: full-set
74; CHECK: %q1 = add i8 %len_norange, 2
75; CHECK-NEXT: --> (2 + %len_norange) U: full-set S: full-set
76
77 %q0.sext = sext i8 %q0 to i16
78 %q1.sext = sext i8 %q1 to i16
79; CHECK: %q0.sext = sext i8 %q0 to i16
80; CHECK-NEXT: --> (sext i8 (1 + %len_norange) to i16) U: [-128,128) S: [-128,128)
81; CHECK: %q1.sext = sext i8 %q1 to i16
82; CHECK-NEXT: --> (sext i8 (2 + %len_norange) to i16) U: [-128,128) S: [-128,128)
83
84 ret void
85}