69 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -S < %s | FileCheck %s2;3; void jd(int *A, int *B, int c) {4; for (int i = 0; i < 1024; i++)5; A[i] = B[c - 10] + B[5];6; }7;8; CHECK: %[[Ctx:[._a-zA-Z0-9]*]] = and i1 true9; CHECK-NEXT: %[[M0:[._a-zA-Z0-9]*]] = sext i32 %c to i6410; CHECK-NEXT: %[[M3:[._a-zA-Z0-9]*]] = call { i64, i1 } @llvm.ssub.with.overflow.i64(i64 %[[M0]], i64 9)11; CHECK-NEXT: %[[M3O:[._a-zA-Z0-9]*]] = extractvalue { i64, i1 } %[[M3]], 112; CHECK-NEXT: %[[OS0:[._a-zA-Z0-9]*]] = or i1 false, %[[M3O]]13; CHECK-NEXT: %[[M3R:[._a-zA-Z0-9]*]] = extractvalue { i64, i1 } %[[M3]], 014; CHECK-NEXT: %[[M1:[._a-zA-Z0-9]*]] = icmp sgt i64 6, %[[M3R]]15; CHECK-NEXT: %[[M4:[._a-zA-Z0-9]*]] = select i1 %[[M1]], i64 6, i64 %[[M3R]]16; CHECK-NEXT: %[[BMax:[._a-zA-Z0-9]*]] = getelementptr i32, ptr %B, i64 %[[M4]]17; CHECK-NEXT: %[[AMin:[._a-zA-Z0-9]*]] = getelementptr i32, ptr %A, i64 018; CHECK-NEXT: %[[BMaxI:[._a-zA-Z0-9]*]] = ptrtoint ptr %[[BMax]] to i6419; CHECK-NEXT: %[[AMinI:[._a-zA-Z0-9]*]] = ptrtoint ptr %[[AMin]] to i6420; CHECK-NEXT: %[[BltA:[._a-zA-Z0-9]*]] = icmp ule i64 %[[BMaxI]], %[[AMinI]]21; CHECK-NEXT: %[[AMax:[._a-zA-Z0-9]*]] = getelementptr i32, ptr %A, i64 102422; CHECK-NEXT: %[[m0:[._a-zA-Z0-9]*]] = sext i32 %c to i6423; CHECK-NEXT: %[[m3:[._a-zA-Z0-9]*]] = call { i64, i1 } @llvm.ssub.with.overflow.i64(i64 %[[m0]], i64 10)24; CHECK-NEXT: %[[m3O:[._a-zA-Z0-9]*]] = extractvalue { i64, i1 } %[[m3]], 125; CHECK-NEXT: %[[OS1:[._a-zA-Z0-9]*]] = or i1 %[[OS0]], %[[m3O]]26; CHECK-NEXT: %[[m3R:[._a-zA-Z0-9]*]] = extractvalue { i64, i1 } %[[m3]], 027; CHECK-NEXT: %[[m1:[._a-zA-Z0-9]*]] = icmp slt i64 5, %[[m3R]]28; CHECK-NEXT: %[[m4:[._a-zA-Z0-9]*]] = select i1 %[[m1]], i64 5, i64 %[[m3R]]29; CHECK-NEXT: %[[BMin:[._a-zA-Z0-9]*]] = getelementptr i32, ptr %B, i64 %[[m4]]30; CHECK-NEXT: %[[AMaxI:[._a-zA-Z0-9]*]] = ptrtoint ptr %[[AMax]] to i6431; CHECK-NEXT: %[[BMinI:[._a-zA-Z0-9]*]] = ptrtoint ptr %[[BMin]] to i6432; CHECK-NEXT: %[[AltB:[._a-zA-Z0-9]*]] = icmp ule i64 %[[AMaxI]], %[[BMinI]]33; CHECK-NEXT: %[[NoAlias:[._a-zA-Z0-9]*]] = or i1 %[[BltA]], %[[AltB]]34; CHECK-NEXT: %[[RTC:[._a-zA-Z0-9]*]] = and i1 %[[Ctx]], %[[NoAlias]]35; CHECK-NEXT: %[[NOV:[._a-zA-Z0-9]*]] = xor i1 %[[OS1]], true36; CHECK-NEXT: %[[RTCV:[._a-zA-Z0-9]*]] = and i1 %[[RTC]], %[[NOV]]37; CHECK-NEXT: br i1 %[[RTCV]], label %polly.start, label %for.cond38;39target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"40 41define void @jd(ptr %A, ptr %B, i32 %c) {42entry:43 br label %for.cond44 45for.cond: ; preds = %for.inc, %entry46 %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]47 %exitcond = icmp ne i64 %indvars.iv, 102448 br i1 %exitcond, label %for.body, label %for.end49 50for.body: ; preds = %for.cond51 %sub = add nsw i32 %c, -1052 %idxprom = sext i32 %sub to i6453 %arrayidx = getelementptr inbounds i32, ptr %B, i64 %idxprom54 %tmp = load i32, ptr %arrayidx, align 455 %arrayidx1 = getelementptr inbounds i32, ptr %B, i64 556 %tmp1 = load i32, ptr %arrayidx1, align 457 %add = add nsw i32 %tmp, %tmp158 %arrayidx3 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv59 store i32 %add, ptr %arrayidx3, align 460 br label %for.inc61 62for.inc: ; preds = %for.body63 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 164 br label %for.cond65 66for.end: ; preds = %for.cond67 ret void68}69