180 lines · plain
1; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb '-passes=polly-custom<scops>' -polly-print-scops -polly-allow-modref-calls -polly-invariant-load-hoisting=true -disable-output < %s 2>&1 | FileCheck %s2; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb '-passes=polly-custom<scops>' -polly-print-scops -polly-allow-nonaffine -polly-invariant-load-hoisting=true -polly-allow-modref-calls -disable-output < %s 2>&1 | FileCheck %s --check-prefix=NONAFFINE3 4; TODO: We should delinearize the accesses despite the use in a call to a5; readonly function. For now we verify we do not delinearize them though.6 7; CHECK: Function: ham8; CHECK-NEXT: Region: %bb12---%bb289; CHECK-NEXT: Max Loop Depth: 110; CHECK-NEXT: Invariant Accesses: {11; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]12; CHECK-NEXT: [tmp14, p_1] -> { Stmt_bb12[] -> MemRef_arg1[0] };13; CHECK-NEXT: Execution Context: [tmp14, p_1] -> { : }14; CHECK-NEXT: }15; CHECK-NEXT: Context:16; CHECK-NEXT: [tmp14, p_1] -> { : -9223372036854775808 <= tmp14 <= 9223372036854775807 and -9223372036854775808 <= p_1 <= 9223372036854775807 }17; CHECK-NEXT: Assumed Context:18; CHECK-NEXT: [tmp14, p_1] -> { : }19; CHECK-NEXT: Invalid Context:20; CHECK-NEXT: [tmp14, p_1] -> { : tmp14 > 0 and (p_1 <= -1152921504606846977 or tmp14 >= 1152921504606846977 or p_1 >= 1152921504606846977 - tmp14) }21; CHECK: p0: %tmp1422; CHECK-NEXT: p1: {0,+,(0 smax %tmp)}<%bb12>23; CHECK-NEXT: Arrays {24; CHECK-NEXT: i64 MemRef_arg1[*]; // Element size 825; CHECK-NEXT: i64 MemRef_tmp13; // Element size 826; CHECK-NEXT: double MemRef_arg4[*]; // Element size 827; CHECK-NEXT: }28; CHECK-NEXT: Arrays (Bounds as pw_affs) {29; CHECK-NEXT: i64 MemRef_arg1[*]; // Element size 830; CHECK-NEXT: i64 MemRef_tmp13; // Element size 831; CHECK-NEXT: double MemRef_arg4[*]; // Element size 832; CHECK-NEXT: }33; CHECK-NEXT: Alias Groups (0):34; CHECK-NEXT: n/a35; CHECK-NEXT: Statements {36; CHECK-NEXT: Stmt_bb1237; CHECK-NEXT: Domain :=38; CHECK-NEXT: [tmp14, p_1] -> { Stmt_bb12[] };39; CHECK-NEXT: Schedule :=40; CHECK-NEXT: [tmp14, p_1] -> { Stmt_bb12[] -> [0, 0] };41; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]42; CHECK-NEXT: [tmp14, p_1] -> { Stmt_bb12[] -> MemRef_tmp13[] };43; CHECK-NEXT: Stmt_bb1744; CHECK-NEXT: Domain :=45; CHECK-NEXT: [tmp14, p_1] -> { Stmt_bb17[i0] : 0 <= i0 < tmp14 };46; CHECK-NEXT: Schedule :=47; CHECK-NEXT: [tmp14, p_1] -> { Stmt_bb17[i0] -> [1, i0] };48; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]49; CHECK-NEXT: [tmp14, p_1] -> { Stmt_bb17[i0] -> MemRef_arg4[p_1 + i0] };50; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]51; CHECK-NEXT: [tmp14, p_1] -> { Stmt_bb17[i0] -> MemRef_arg1[o0] };52; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]53; CHECK-NEXT: [tmp14, p_1] -> { Stmt_bb17[i0] -> MemRef_arg4[o0] };54; CHECK-NEXT: }55 56 57; NONAFFINE: Function: ham58; NONAFFINE-NEXT: Region: %bb5---%bb3259; NONAFFINE-NEXT: Max Loop Depth: 260; NONAFFINE-NEXT: Invariant Accesses: {61; NONAFFINE-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]62; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb5[] -> MemRef_arg[0] };63; NONAFFINE-NEXT: Execution Context: [tmp9, tmp14] -> { : }64; NONAFFINE-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]65; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb12[i0] -> MemRef_arg1[0] };66; NONAFFINE-NEXT: Execution Context: [tmp9, tmp14] -> { : }67; NONAFFINE-NEXT: }68; NONAFFINE-NEXT: Context:69; NONAFFINE-NEXT: [tmp9, tmp14] -> { : -9223372036854775808 <= tmp9 <= 9223372036854775807 and -9223372036854775808 <= tmp14 <= 9223372036854775807 }70; NONAFFINE-NEXT: Assumed Context:71; NONAFFINE-NEXT: [tmp9, tmp14] -> { : }72; NONAFFINE-NEXT: Invalid Context:73; NONAFFINE-NEXT: [tmp9, tmp14] -> { : false }74; NONAFFINE: p0: %tmp975; NONAFFINE-NEXT: p1: %tmp1476; NONAFFINE-NEXT: Arrays {77; NONAFFINE-NEXT: i64 MemRef_arg[*]; // Element size 878; NONAFFINE-NEXT: i64 MemRef_arg1[*]; // Element size 879; NONAFFINE-NEXT: i64 MemRef_tmp7; // Element size 880; NONAFFINE-NEXT: i64 MemRef_tmp8; // Element size 881; NONAFFINE-NEXT: double MemRef_arg4[*]; // Element size 882; NONAFFINE-NEXT: }83; NONAFFINE-NEXT: Arrays (Bounds as pw_affs) {84; NONAFFINE-NEXT: i64 MemRef_arg[*]; // Element size 885; NONAFFINE-NEXT: i64 MemRef_arg1[*]; // Element size 886; NONAFFINE-NEXT: i64 MemRef_tmp7; // Element size 887; NONAFFINE-NEXT: i64 MemRef_tmp8; // Element size 888; NONAFFINE-NEXT: double MemRef_arg4[*]; // Element size 889; NONAFFINE-NEXT: }90; NONAFFINE-NEXT: Alias Groups (0):91; NONAFFINE-NEXT: n/a92; NONAFFINE-NEXT: Statements {93; NONAFFINE-NEXT: Stmt_bb594; NONAFFINE-NEXT: Domain :=95; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb5[] };96; NONAFFINE-NEXT: Schedule :=97; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb5[] -> [0, 0, 0] };98; NONAFFINE-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]99; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb5[] -> MemRef_tmp7[] };100; NONAFFINE-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]101; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb5[] -> MemRef_tmp8[] };102; NONAFFINE-NEXT: Stmt_bb17103; NONAFFINE-NEXT: Domain :=104; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb17[i0, i1] : 0 <= i0 < tmp9 and 0 <= i1 < tmp14 };105; NONAFFINE-NEXT: Schedule :=106; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb17[i0, i1] -> [1, i0, i1] };107; NONAFFINE-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]108; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb17[i0, i1] -> MemRef_tmp7[] };109; NONAFFINE-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]110; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb17[i0, i1] -> MemRef_tmp8[] };111; NONAFFINE-NEXT: MayWriteAccess := [Reduction Type: NONE] [Scalar: 0]112; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb17[i0, i1] -> MemRef_arg4[o0] };113; NONAFFINE-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]114; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb17[i0, i1] -> MemRef_arg[o0] };115; NONAFFINE-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]116; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb17[i0, i1] -> MemRef_arg1[o0] };117; NONAFFINE-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]118; NONAFFINE-NEXT: [tmp9, tmp14] -> { Stmt_bb17[i0, i1] -> MemRef_arg4[o0] };119 120target datalayout = "e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"121 122define void @ham(ptr noalias %arg, ptr noalias %arg1, ptr noalias %arg2, ptr noalias %arg3, ptr noalias %arg4) unnamed_addr {123bb:124 br label %bb5125 126bb5: ; preds = %bb127 %tmp = load i64, ptr %arg1, align 8128 %tmp6 = icmp slt i64 %tmp, 0129 %tmp7 = select i1 %tmp6, i64 0, i64 %tmp130 %tmp8 = xor i64 %tmp7, -1131 %tmp9 = load i64, ptr %arg, align 8132 %tmp10 = icmp sgt i64 %tmp9, 0133 br i1 %tmp10, label %bb11, label %bb32134 135bb11: ; preds = %bb5136 br label %bb12137 138bb12: ; preds = %bb28, %bb11139 %tmp13 = phi i64 [ %tmp30, %bb28 ], [ 1, %bb11 ]140 %tmp14 = load i64, ptr %arg1, align 8141 %tmp15 = icmp sgt i64 %tmp14, 0142 br i1 %tmp15, label %bb16, label %bb28143 144bb16: ; preds = %bb12145 br label %bb17146 147bb17: ; preds = %bb17, %bb16148 %tmp18 = phi i64 [ %tmp26, %bb17 ], [ 1, %bb16 ]149 %tmp19 = mul i64 %tmp13, %tmp7150 %tmp20 = add i64 %tmp19, %tmp8151 %tmp21 = add i64 %tmp20, %tmp18152 %tmp22 = add i64 %tmp18, %tmp13153 %tmp23 = sitofp i64 %tmp22 to double154 %tmp24 = getelementptr [1000 x double], ptr %arg4, i64 0, i64 %tmp21155 %call = call double @func(ptr %tmp24) #2156 %sum = fadd double %call, %tmp23157 store double %sum, ptr %tmp24, align 8158 %tmp25 = icmp eq i64 %tmp18, %tmp14159 %tmp26 = add i64 %tmp18, 1160 br i1 %tmp25, label %bb27, label %bb17161 162bb27: ; preds = %bb17163 br label %bb28164 165bb28: ; preds = %bb27, %bb12166 %tmp29 = icmp eq i64 %tmp13, %tmp9167 %tmp30 = add i64 %tmp13, 1168 br i1 %tmp29, label %bb31, label %bb12169 170bb31: ; preds = %bb28171 br label %bb32172 173bb32: ; preds = %bb31, %bb5174 ret void175}176 177declare double @func(ptr) #1178 179attributes #1 = { nounwind readonly }180