87 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; This checks that the no-wraps checks will be computed fast as some example4; already showed huge slowdowns even though the inbounds and nsw flags were5; all in place.6;7; // Inspired by itrans8x8 in transform8x8.c from the ldecode benchmark.8; void fast(char *A, char N, char M) {9; for (char i = 0; i < 8; i++) {10; char index0 = i + N;11; char index1 = index0 * 16;12; char index2 = index1 + M;13; A[(short)index2]++;14; }15; }16;17; void slow(char *A, char N, char M) {18; for (char i = 0; i < 8; i++) {19; char index0 = i + N;20; char index1 = index0 * 16;21; short index2 = ((short)index1) + ((short)M);22; A[index2]++;23; }24; }25;26; CHECK: Function: fast27; CHECK: Function: slow28;29target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"30 31define void @fast(ptr %A, i8 %N, i8 %M) {32entry:33 br label %for.cond34 35for.cond: ; preds = %for.inc, %entry36 %indvars.iv = phi i8 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]37 %exitcond = icmp ne i8 %indvars.iv, 838 br i1 %exitcond, label %for.body, label %for.end39 40for.body: ; preds = %for.cond41 %tmp3 = add nsw i8 %indvars.iv, %N42 %mul = mul nsw i8 %tmp3, 1643 %add2 = add nsw i8 %mul, %M44 %add2ext = sext i8 %add2 to i1645 %arrayidx = getelementptr inbounds i8, ptr %A, i16 %add2ext46 %tmp4 = load i8, ptr %arrayidx, align 447 %inc = add nsw i8 %tmp4, 148 store i8 %inc, ptr %arrayidx, align 449 br label %for.inc50 51for.inc: ; preds = %for.body52 %indvars.iv.next = add nuw nsw i8 %indvars.iv, 153 br label %for.cond54 55for.end: ; preds = %for.cond56 ret void57}58 59define void @slow(ptr %A, i8 %N, i8 %M) {60entry:61 br label %for.cond62 63for.cond: ; preds = %for.inc, %entry64 %indvars.iv = phi i8 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]65 %exitcond = icmp ne i8 %indvars.iv, 866 br i1 %exitcond, label %for.body, label %for.end67 68for.body: ; preds = %for.cond69 %tmp3 = add nsw i8 %indvars.iv, %N70 %mul = mul nsw i8 %tmp3, 1671 %mulext = sext i8 %mul to i1672 %Mext = sext i8 %M to i1673 %add2 = add nsw i16 %mulext, %Mext74 %arrayidx = getelementptr inbounds i8, ptr %A, i16 %add275 %tmp4 = load i8, ptr %arrayidx, align 476 %inc = add nsw i8 %tmp4, 177 store i8 %inc, ptr %arrayidx, align 478 br label %for.inc79 80for.inc: ; preds = %for.body81 %indvars.iv.next = add nuw nsw i8 %indvars.iv, 182 br label %for.cond83 84for.end: ; preds = %for.cond85 ret void86}87