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} 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} 86 87define void @f2(i8* %len_addr) { 88; CHECK-LABEL: Classifying expressions for: @f2 89 entry: 90 %len = load i8, i8* %len_addr, !range !0 91 %len_norange = load i8, i8* %len_addr 92; CHECK: %len = load i8, i8* %len_addr, !range !0 93; CHECK-NEXT: --> %len U: [0,127) S: [0,127) 94; CHECK: %len_norange = load i8, i8* %len_addr 95; CHECK-NEXT: --> %len_norange U: full-set S: full-set 96 97 %t0 = add i8 %len, 1 98 %t1 = add i8 %len, 2 99; CHECK: %t0 = add i8 %len, 1 100; CHECK-NEXT: --> (1 + %len)<nuw><nsw> 101; CHECK: %t1 = add i8 %len, 2 102; CHECK-NEXT: --> (2 + %len)<nuw> 103 104 %t0.zext = zext i8 %t0 to i16 105 %t1.zext = zext i8 %t1 to i16 106; CHECK: %t0.zext = zext i8 %t0 to i16 107; CHECK-NEXT: --> (1 + (zext i8 %len to i16))<nuw><nsw> U: [1,128) S: [1,128) 108; CHECK: %t1.zext = zext i8 %t1 to i16 109; CHECK-NEXT: --> (2 + (zext i8 %len to i16))<nuw><nsw> U: [2,129) S: [2,129) 110 111 %q0 = add i8 %len_norange, 1 112 %q1 = add i8 %len_norange, 2 113 %q0.zext = zext i8 %q0 to i16 114 %q1.zext = zext i8 %q1 to i16 115 116; CHECK: %q0.zext = zext i8 %q0 to i16 117; CHECK-NEXT: --> (zext i8 (1 + %len_norange) to i16) U: [0,256) S: [0,256) 118; CHECK: %q1.zext = zext i8 %q1 to i16 119; CHECK-NEXT: --> (zext i8 (2 + %len_norange) to i16) U: [0,256) S: [0,256) 120 121 ret void 122} 123