; RUN: opt %loadPolly -polly-detect -analyze < %s | FileCheck %s ; RUN: opt %loadPolly -polly-scops -analyze < %s ; CHECK: Valid Region for Scop: bb10 => bb16 ; Verify that -polly-scops does not crash. At some point this piece of ; code crashed as we extracted from the SCEV expression: ; ; ((8 * ((%a * %b) + %c)) + (-8 * %a))' ; ; the constant 8, which resulted in the new expression: ; ; (((-1 + %b) * %a) + %c) ; ; which introduced a new parameter (-1 + %b) * %a which was not registered ; correctly and consequently caused a crash due to an expression not being ; regiustered as a parameter. target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" define void @barney(i32* %arg, i32* %arg1, double* %arg2, i32* %arg3, i32 %a, i32 %b, i32 %c) { bb: br label %bb10 bb10: ; preds = %bb br i1 true, label %bb11, label %bb16 bb11: ; preds = %bb10 %tmp4 = add nsw i32 1, %a %tmp5 = sub i32 0, %tmp4 %tmp8 = add nsw i32 %c, 1 %tmp12 = mul nsw i32 %b, %a %tmp13 = add nsw i32 %tmp8, %tmp12 %tmp6 = getelementptr inbounds double, double* %arg2, i32 %tmp5 %tmp14 = getelementptr inbounds double, double* %tmp6, i32 %tmp13 %tmp15 = load double, double* %tmp14 br label %bb16 bb16: ; preds = %bb11, %bb10 ret void }