50 lines · plain
1; RUN: opt %loadNPMPolly -disable-output '-passes=polly-custom<ast>' -polly-print-ast -polly-process-unprofitable < %s 2>&1 | FileCheck %s2 3; CHECK: for (int c0 = 0; c0 <= 19999; c0 += 1) {4; CHECK-NEXT: if (c0 % 2 == 0)5; CHECK-NEXT: Stmt_if_then(c0);6; CHECK-NEXT: Stmt_if_end(c0);7; CHECK-NEXT: if (c0 % 2 == 0)8; CHECK-NEXT: Stmt_if_then5(c0);9; CHECK-NEXT: }10 11target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64"12 13define void @f(ptr %a, i32 %x) {14entry:15 br label %for.body16 17for.body: ; preds = %entry, %for.inc18 %i.03 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]19 %rem1 = and i32 %i.03, 120 %cmp1 = icmp eq i32 %rem1, 021 br i1 %cmp1, label %if.then, label %if.end22 23if.then: ; preds = %for.body24 %arrayidx = getelementptr inbounds i32, ptr %a, i32 %i.0325 store i32 3, ptr %arrayidx, align 426 br label %if.end27 28if.end: ; preds = %if.then, %for.body29 %mul = shl nsw i32 %i.03, 130 %arrayidx2 = getelementptr inbounds i32, ptr %a, i32 %mul31 store i32 3, ptr %arrayidx2, align 432 %rem32 = and i32 %i.03, 133 %cmp4 = icmp eq i32 %rem32, 034 br i1 %cmp4, label %if.then5, label %for.inc35 36if.then5: ; preds = %if.end37 %mul6 = mul nsw i32 %i.03, 338 %arrayidx7 = getelementptr inbounds i32, ptr %a, i32 %mul639 store i32 3, ptr %arrayidx7, align 440 br label %for.inc41 42for.inc: ; preds = %if.end, %if.then543 %inc = add nsw i32 %i.03, 144 %cmp = icmp slt i32 %inc, 2000045 br i1 %cmp, label %for.body, label %for.end46 47for.end: ; preds = %for.inc48 ret void49}50