| ; RUN: opt < %s -disable-output -passes=indvars |
| |
| ; Do not timeout (and do not crash). |
| ; |
| ; This test case used to take around 10 minutes to run (well, that of course |
| ; depends on which kind of build that is used and on which kind of server the |
| ; test is executed). There is a less reduced version of this test case in |
| ; PR51869 that takes much longer time to execute (I've not seen that one |
| ; terminate within reasonable time). Maybe this test case is reduced a bit too |
| ; much if being considered as a regression tests that would timeout without |
| ; the fix. It can at least be used to show compile time explosion that |
| ; happened when using isKnownPredicate inside ScalarEvolution::isImpliedCond. |
| |
| @v_228 = external dso_local global i32, align 1 |
| |
| ; Function Attrs: nounwind |
| define dso_local i16 @main(i16* %0, i16* %1, i16* %2, i16* %3, i16* %4, i16* %5, i16* %6, i16* %7, i16* %8, i16* %9, i16* %10, i1 %11) #0 { |
| br i1 %11, label %27, label %13 |
| |
| 13: ; preds = %12 |
| %14 = load i32, i32* @v_228, align 1 |
| %15 = trunc i32 %14 to i16 |
| %16 = mul i16 %15, 2 |
| %17 = sub i16 10, %16 |
| %18 = icmp ult i16 10, %16 |
| %19 = icmp ult i16 %17, 1 |
| %20 = or i1 %18, %19 |
| br i1 %20, label %139, label %21 |
| |
| 21: ; preds = %13 |
| %22 = add i16 %16, 1 |
| %23 = sub i16 10, %22 |
| %24 = icmp ult i16 10, %22 |
| %25 = icmp ult i16 %23, 1 |
| %26 = or i1 %24, %25 |
| br i1 %26, label %139, label %27 |
| |
| 27: ; preds = %21, %12 |
| %28 = load i16, i16* %1, align 1 |
| br label %29 |
| |
| 29: ; preds = %29, %27 |
| %30 = phi i16 [ %28, %27 ], [ %31, %29 ] |
| %31 = add i16 %30, 1 |
| %32 = icmp slt i16 %31, 28 |
| br i1 %32, label %29, label %33 |
| |
| 33: ; preds = %29 |
| %34 = load i16, i16* %2, align 1 |
| br label %35 |
| |
| 35: ; preds = %43, %33 |
| %36 = phi i16 [ %34, %33 ], [ %44, %43 ] |
| %37 = sext i16 %36 to i32 |
| %38 = mul i32 %37, 2 |
| %39 = sub i32 56, %38 |
| %40 = icmp ult i32 56, %38 |
| %41 = icmp ult i32 %39, 2 |
| %42 = or i1 %40, %41 |
| br i1 %42, label %139, label %43 |
| |
| 43: ; preds = %35 |
| %44 = add i16 %36, 1 |
| %45 = icmp slt i16 %44, 28 |
| br i1 %45, label %35, label %46 |
| |
| 46: ; preds = %43 |
| %47 = load i16, i16* %3, align 1 |
| br label %48 |
| |
| 48: ; preds = %55, %46 |
| %49 = phi i16 [ %47, %46 ], [ %56, %55 ] |
| %50 = mul i16 %49, 4 |
| %51 = sub i16 28, %50 |
| %52 = icmp ult i16 28, %50 |
| %53 = icmp ult i16 %51, 4 |
| %54 = or i1 %52, %53 |
| br i1 %54, label %139, label %55 |
| |
| 55: ; preds = %48 |
| %56 = add i16 %49, 1 |
| %57 = icmp slt i16 %56, 7 |
| br i1 %57, label %48, label %58 |
| |
| 58: ; preds = %55 |
| %59 = load i16, i16* %4, align 1 |
| br label %60 |
| |
| 60: ; preds = %67, %58 |
| %61 = phi i16 [ %59, %58 ], [ %68, %67 ] |
| %62 = sext i16 %61 to i32 |
| %63 = sub i32 1, %62 |
| %64 = icmp ult i32 1, %62 |
| %65 = icmp ult i32 %63, 1 |
| %66 = or i1 %64, %65 |
| br i1 %66, label %139, label %67 |
| |
| 67: ; preds = %60 |
| %68 = add i16 %61, 1 |
| %69 = icmp slt i16 %68, 1 |
| br i1 %69, label %60, label %70 |
| |
| 70: ; preds = %67 |
| %71 = load i16, i16* %5, align 1 |
| br label %72 |
| |
| 72: ; preds = %79, %70 |
| %73 = phi i16 [ %71, %70 ], [ %80, %79 ] |
| %74 = sext i16 %73 to i32 |
| %75 = sub i32 1, %74 |
| %76 = icmp ult i32 1, %74 |
| %77 = icmp ult i32 %75, 1 |
| %78 = or i1 %76, %77 |
| br i1 %78, label %139, label %79 |
| |
| 79: ; preds = %72 |
| %80 = add i16 %73, 1 |
| %81 = icmp slt i16 %80, 1 |
| br i1 %81, label %72, label %82 |
| |
| 82: ; preds = %79 |
| %83 = load i16, i16* %6, align 1 |
| br label %84 |
| |
| 84: ; preds = %91, %82 |
| %85 = phi i16 [ %83, %82 ], [ %92, %91 ] |
| %86 = sext i16 %85 to i32 |
| %87 = sub i32 1, %86 |
| %88 = icmp ult i32 1, %86 |
| %89 = icmp ult i32 %87, 1 |
| %90 = or i1 %88, %89 |
| br i1 %90, label %139, label %91 |
| |
| 91: ; preds = %84 |
| %92 = add i16 %85, 1 |
| %93 = icmp slt i16 %92, 1 |
| br i1 %93, label %84, label %94 |
| |
| 94: ; preds = %91 |
| %95 = load i16, i16* %7, align 1 |
| br label %96 |
| |
| 96: ; preds = %103, %94 |
| %97 = phi i16 [ %95, %94 ], [ %104, %103 ] |
| %98 = sext i16 %97 to i32 |
| %99 = sub i32 1, %98 |
| %100 = icmp ult i32 1, %98 |
| %101 = icmp ult i32 %99, 1 |
| %102 = or i1 %100, %101 |
| br i1 %102, label %139, label %103 |
| |
| 103: ; preds = %96 |
| %104 = add i16 %97, 1 |
| %105 = icmp slt i16 %104, 1 |
| br i1 %105, label %96, label %106 |
| |
| 106: ; preds = %103 |
| %107 = load i16, i16* %8, align 1 |
| br label %108 |
| |
| 108: ; preds = %115, %106 |
| %109 = phi i16 [ %107, %106 ], [ %116, %115 ] |
| %110 = mul i16 %109, 4 |
| %111 = sub i16 24, %110 |
| %112 = icmp ult i16 24, %110 |
| %113 = icmp ult i16 %111, 4 |
| %114 = or i1 %112, %113 |
| br i1 %114, label %139, label %115 |
| |
| 115: ; preds = %108 |
| %116 = add i16 %109, 1 |
| %117 = icmp slt i16 %116, 6 |
| br i1 %117, label %108, label %118 |
| |
| 118: ; preds = %115 |
| %119 = load i16, i16* %9, align 1 |
| br label %120 |
| |
| 120: ; preds = %128, %118 |
| %121 = phi i16 [ %119, %118 ], [ %129, %128 ] |
| %122 = sext i16 %121 to i32 |
| %123 = mul i32 %122, 2 |
| %124 = sub i32 4, %123 |
| %125 = icmp ult i32 4, %123 |
| %126 = icmp ult i32 %124, 2 |
| %127 = or i1 %125, %126 |
| br i1 %127, label %139, label %128 |
| |
| 128: ; preds = %120 |
| %129 = add i16 %121, 1 |
| %130 = icmp slt i16 %129, 2 |
| br i1 %130, label %120, label %131 |
| |
| 131: ; preds = %128 |
| %132 = load i16, i16* %10, align 1 |
| br label %133 |
| |
| 133: ; preds = %133, %131 |
| %134 = phi i16 [ %132, %131 ], [ %135, %133 ] |
| %135 = add i16 %134, 1 |
| %136 = icmp slt i16 %135, 6 |
| br i1 %136, label %133, label %137 |
| |
| 137: ; preds = %133 |
| %138 = load i16, i16* %0, align 1 |
| ret i16 %138 |
| |
| 139: ; preds = %120, %108, %96, %84, %72, %60, %48, %35, %21, %13 |
| call void @llvm.trap() #2 |
| unreachable |
| } |
| |
| ; Function Attrs: cold noreturn nounwind |
| declare void @llvm.trap() #1 |
| |
| attributes #0 = { nounwind } |
| attributes #1 = { cold noreturn nounwind } |
| attributes #2 = { noreturn nounwind } |
