36 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s2target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"3 4; CHECK: Valid Region for Scop: bb14 => bb175 6; Make sure we do not detect the larger region bb14->bb19 that contains7; a multi-dimensional memory access with a size of 'undef * undef'.8 9define void @hoge(ptr %arg) {10bb:11 br label %bb612 13bb6: ; preds = %bb14 %tmp = mul i64 undef, undef15 %tmp7 = add i64 %tmp, undef16 %tmp8 = add i64 %tmp7, 017 %tmp9 = add i64 %tmp8, 818 %tmp10 = sub i64 %tmp9, undef19 %tmp11 = getelementptr i8, ptr %arg, i64 %tmp1020 %tmp12 = getelementptr inbounds i8, ptr %tmp11, i64 421 %tmp13 = getelementptr inbounds i8, ptr %tmp12, i64 2022 br label %bb1423 24bb14: ; preds = %bb14, %bb625 %tmp15 = phi i32 [ %tmp16, %bb14 ], [ 2, %bb6 ]26 %tmp16 = add nuw nsw i32 %tmp15, 127 br i1 false, label %bb14, label %bb1728 29bb17: ; preds = %bb1430 store i32 undef, ptr %tmp13, align 431 br label %bb1932 33bb19: ; preds = %bb1734 unreachable35}36