77 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; if (A[i])6; switch (i % 4) {7; case 0:8; A[i] += 1;9; break;10; case 1:11; A[i] += 2;12; break;13; }14; }15;16; CHECK: polly.stmt.if.then:17; CHECK-NEXT: %2 = trunc i64 %polly.indvar to i218; CHECK-NEXT: %3 = zext i2 %2 to i3219; CHECK-NEXT: switch i32 %3, label %polly.stmt.sw.epilog [20; CHECK-NEXT: i32 0, label %polly.stmt.sw.bb21; CHECK-NEXT: i32 1, label %polly.stmt.sw.bb.322; CHECK-NEXT: ]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 %tobool = icmp eq i32 %tmp1, 040 br i1 %tobool, label %if.end, label %if.then41 42if.then: ; preds = %for.body43 %tmp2 = trunc i64 %indvars.iv to i3244 %rem = srem i32 %tmp2, 445 switch i32 %rem, label %sw.epilog [46 i32 0, label %sw.bb47 i32 1, label %sw.bb.348 ]49 50sw.bb: ; preds = %if.then51 %arrayidx2 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv52 %tmp3 = load i32, ptr %arrayidx2, align 453 %add = add nsw i32 %tmp3, 154 store i32 %add, ptr %arrayidx2, align 455 br label %sw.epilog56 57sw.bb.3: ; preds = %if.then58 %arrayidx5 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv59 %tmp4 = load i32, ptr %arrayidx5, align 460 %add6 = add nsw i32 %tmp4, 261 store i32 %add6, ptr %arrayidx5, align 462 br label %sw.epilog63 64sw.epilog: ; preds = %sw.bb.3, %sw.bb, %if.then65 br label %if.end66 67if.end: ; preds = %for.body, %sw.epilog68 br label %for.inc69 70for.inc: ; preds = %if.end71 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 172 br label %for.cond73 74for.end: ; preds = %for.cond75 ret void76}77