56 lines · plain
1; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s2 3target datalayout = "e-p:64:64:64-p1:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"4target triple = "x86_64-unknown-linux-gnu"5 6@foo.a = internal constant [8 x i32] [i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7], align 167@foo.a_as1 = internal addrspace(1) constant [8 x i32] [i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7], align 168 9 10define i32 @foo() nounwind uwtable noinline {11entry:12 br label %for.cond13 14for.cond: ; preds = %for.inc, %entry15 %sum.0 = phi i32 [ 0, %entry ], [ %add, %for.inc ]16; CHECK: --> %sum.0{{ U: [^ ]+ S: [^ ]+}}{{ *}}Exits: 2817 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]18 %cmp = icmp ult i32 %i.0, 819 br i1 %cmp, label %for.inc, label %for.end20 21for.inc: ; preds = %for.cond22 %idxprom = sext i32 %i.0 to i6423 %arrayidx = getelementptr inbounds [8 x i32], ptr @foo.a, i64 0, i64 %idxprom24 %0 = load i32, ptr %arrayidx, align 425 %add = add nsw i32 %sum.0, %026 %inc = add nsw i32 %i.0, 127 br label %for.cond28 29for.end: ; preds = %for.cond30 ret i32 %sum.031}32 33define i32 @foo_as1() nounwind uwtable noinline {34entry:35 br label %for.cond36 37for.cond: ; preds = %for.inc, %entry38 %sum.0 = phi i32 [ 0, %entry ], [ %add, %for.inc ]39; CHECK: --> %sum.0{{ U: [^ ]+ S: [^ ]+}}{{ *}}Exits: 2840 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]41 %cmp = icmp ult i32 %i.0, 842 br i1 %cmp, label %for.inc, label %for.end43 44for.inc: ; preds = %for.cond45 %idxprom = sext i32 %i.0 to i6446 %arrayidx = getelementptr inbounds [8 x i32], ptr addrspace(1) @foo.a_as1, i64 0, i64 %idxprom47 %0 = load i32, ptr addrspace(1) %arrayidx, align 448 %add = add nsw i32 %sum.0, %049 %inc = add nsw i32 %i.0, 150 br label %for.cond51 52for.end: ; preds = %for.cond53 ret i32 %sum.054}55 56