68 lines · plain
1; RUN: opt %loadNPMPolly -S '-passes=polly<no-default-opts>' < %s | FileCheck %s2;3; void f(int *A, int N) {4; for (int i = 0; i < N; i++)5; switch (A[i]) {6; case 0:7; A[i] += 1;8; break;9; case 1:10; A[i] += 2;11; break;12; }13; }14;15; CHECK: polly.stmt.for.body:16; CHECK: %[[offset:.*]] = shl nuw nsw i64 %polly.indvar, 217; CHECK: %scevgep = getelementptr i8, ptr %A, i64 %[[offset]]18; CHECK: %tmp1_p_scalar_ = load i32, ptr %scevgep, align 419; CHECK: switch i32 %tmp1_p_scalar_, label %polly.stmt.sw.epilog.exit [20; CHECK: i32 0, label %polly.stmt.sw.bb21; CHECK: i32 1, label %polly.stmt.sw.bb.322; CHECK: ]23;24target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"25 26define void @f(ptr %A, i32 %N) {27entry:28 %tmp = sext i32 %N to i6429 br label %for.cond30 31for.cond: ; preds = %for.inc, %entry32 %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]33 %cmp = icmp slt i64 %indvars.iv, %tmp34 br i1 %cmp, label %for.body, label %for.end35 36for.body: ; preds = %for.cond37 %arrayidx = getelementptr inbounds i32, ptr %A, i64 %indvars.iv38 %tmp1 = load i32, ptr %arrayidx, align 439 switch i32 %tmp1, label %sw.epilog [40 i32 0, label %sw.bb41 i32 1, label %sw.bb.342 ]43 44sw.bb: ; preds = %for.body45 %arrayidx2 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv46 %tmp2 = load i32, ptr %arrayidx2, align 447 %add = add nsw i32 %tmp2, 148 store i32 %add, ptr %arrayidx2, align 449 br label %sw.epilog50 51sw.bb.3: ; preds = %for.body52 %arrayidx5 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv53 %tmp3 = load i32, ptr %arrayidx5, align 454 %add6 = add nsw i32 %tmp3, 255 store i32 %add6, ptr %arrayidx5, align 456 br label %sw.epilog57 58sw.epilog: ; preds = %sw.bb.3, %sw.bb, %for.body59 br label %for.inc60 61for.inc: ; preds = %sw.epilog62 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 163 br label %for.cond64 65for.end: ; preds = %for.cond66 ret void67}68