+++ /dev/null
-; RUN: llvm-as < %s | opt -gvn -debug |& grep {REMOVING NONLOCAL LOAD} | count 1
-
-; The bug this is testing for is that BasicAA considered:
-; alias(%a = noalias call, %b = gep(%a, %unknown))
-; to be NoAlias instead of MayAlias.
-
-@.str = external constant [3 x i8] ; <[3 x i8]*> [#uses=1]
-@.str1 = external constant [23 x i8] ; <[23 x i8]*> [#uses=1]
-
-define i32 @main(i32 %argc, i8** nocapture %argv) nounwind {
-entry:
- %0 = tail call i8* @calloc(i32 11, i32 4) nounwind ; <i8*> [#uses=1]
- %1 = bitcast i8* %0 to i32* ; <i32*> [#uses=7]
- %2 = tail call i8* @calloc(i32 11, i32 4) nounwind ; <i8*> [#uses=2]
- %3 = bitcast i8* %2 to i32* ; <i32*> [#uses=9]
- %4 = tail call i8* @calloc(i32 11, i32 4) nounwind ; <i8*> [#uses=1]
- %5 = bitcast i8* %4 to i32* ; <i32*> [#uses=3]
- br label %bb3.i
-
-bb3.i: ; preds = %bb3.i, %entry
- %i.0.reg2mem.0.i = phi i32 [ 0, %entry ], [ %7, %bb3.i ] ; <i32> [#uses=3]
- %6 = getelementptr i32* %3, i32 %i.0.reg2mem.0.i ; <i32*> [#uses=1]
- store i32 %i.0.reg2mem.0.i, i32* %6, align 4
- %7 = add i32 %i.0.reg2mem.0.i, 1 ; <i32> [#uses=2]
- %8 = icmp slt i32 %7, 11 ; <i1> [#uses=1]
- br i1 %8, label %bb3.i, label %bb8.i.loopexit
-
-bb5.i: ; preds = %bb29.i
- %9 = icmp sgt i32 %didpr.1.reg2mem.0.ph.i.ph, 29 ; <i1> [#uses=1]
- br i1 %9, label %bb11.i.outer, label %bb8.loopexit21.i
-
-bb8.loopexit21.i: ; preds = %bb5.i
- %phitmp = add i32 %didpr.1.reg2mem.0.ph.i.ph, 1 ; <i32> [#uses=1]
- br label %bb8.i.outer
-
-bb8.i.loopexit: ; preds = %bb3.i
- br label %bb8.i.outer
-
-bb8.i.outer: ; preds = %bb8.i.loopexit, %bb8.loopexit21.i
- %didpr.1.reg2mem.0.ph.i.ph = phi i32 [ %phitmp, %bb8.loopexit21.i ], [ 1, %bb8.i.loopexit ] ; <i32> [#uses=2]
- %r.1.reg2mem.0.ph.i.ph = phi i32 [ %r.2.i, %bb8.loopexit21.i ], [ 11, %bb8.i.loopexit ] ; <i32> [#uses=1]
- %flipsMax.1.reg2mem.0.ph.i.ph = phi i32 [ %flipsMax.0.ph.i.ph, %bb8.loopexit21.i ], [ 0, %bb8.i.loopexit ] ; <i32> [#uses=1]
- br label %bb8.i
-
-bb8.i: ; preds = %bb8.i, %bb8.i.outer
- %i.1.reg2mem.0.i = phi i32 [ %14, %bb8.i ], [ 0, %bb8.i.outer ] ; <i32> [#uses=2]
- %10 = getelementptr i32* %3, i32 %i.1.reg2mem.0.i ; <i32*> [#uses=1]
- %11 = load i32* %10, align 4 ; <i32> [#uses=1]
- %12 = add i32 %11, 1 ; <i32> [#uses=1]
- %13 = tail call i32 (i8*, ...)* @printf(i8* noalias getelementptr ([3 x i8]* @.str, i32 0, i32 0), i32 %12) nounwind ; <i32> [#uses=0]
- %14 = add i32 %i.1.reg2mem.0.i, 1 ; <i32> [#uses=2]
- %15 = icmp slt i32 %14, 11 ; <i1> [#uses=1]
- br i1 %15, label %bb8.i, label %bb9.i
-
-bb9.i: ; preds = %bb8.i
- %16 = tail call i32 @putchar(i32 10) nounwind ; <i32> [#uses=0]
- br label %bb11.i.outer
-
-bb11.i.outer: ; preds = %bb9.i, %bb5.i
- %flipsMax.1.reg2mem.1.ph.i.ph = phi i32 [ %flipsMax.1.reg2mem.0.ph.i.ph, %bb9.i ], [ %flipsMax.0.ph.i.ph, %bb5.i ] ; <i32> [#uses=4]
- %r.0.i.ph = phi i32 [ %r.1.reg2mem.0.ph.i.ph, %bb9.i ], [ %r.2.i, %bb5.i ] ; <i32> [#uses=1]
- br label %bb11.i
-
-bb10.i: ; preds = %bb11.i
- %17 = add i32 %r.0.i, -1 ; <i32> [#uses=1]
- %18 = getelementptr i32* %5, i32 %17 ; <i32*> [#uses=1]
- store i32 %r.0.i, i32* %18, align 4
- %19 = add i32 %r.0.i, -1 ; <i32> [#uses=1]
- br label %bb11.i
-
-bb11.i: ; preds = %bb10.i, %bb11.i.outer
- %r.0.i = phi i32 [ %19, %bb10.i ], [ %r.0.i.ph, %bb11.i.outer ] ; <i32> [#uses=5]
- %20 = icmp eq i32 %r.0.i, 1 ; <i1> [#uses=1]
- br i1 %20, label %bb12.i, label %bb10.i
-
-bb12.i: ; preds = %bb11.i
- %21 = load i32* %3, align 4 ; <i32> [#uses=1]
- %22 = icmp eq i32 %21, 0 ; <i1> [#uses=1]
- br i1 %22, label %bb24.i.preheader, label %bb13.i
-
-bb13.i: ; preds = %bb12.i
- %23 = getelementptr i8* %2, i32 40 ; <i8*> [#uses=1]
- %24 = bitcast i8* %23 to i32* ; <i32*> [#uses=1]
- %25 = load i32* %24, align 4 ; <i32> [#uses=1]
- %26 = icmp eq i32 %25, 10 ; <i1> [#uses=1]
- br i1 %26, label %bb24.i.preheader, label %bb16.i.preheader
-
-bb16.i.preheader: ; preds = %bb13.i
- br label %bb16.i
-
-bb16.i: ; preds = %bb16.i, %bb16.i.preheader
- %i.2.reg2mem.0.i = phi i32 [ %30, %bb16.i ], [ 1, %bb16.i.preheader ] ; <i32> [#uses=3]
- %27 = getelementptr i32* %3, i32 %i.2.reg2mem.0.i ; <i32*> [#uses=1]
- %28 = load i32* %27, align 4 ; <i32> [#uses=1]
- %29 = getelementptr i32* %1, i32 %i.2.reg2mem.0.i ; <i32*> [#uses=1]
- store i32 %28, i32* %29, align 4
- %30 = add i32 %i.2.reg2mem.0.i, 1 ; <i32> [#uses=2]
- %31 = icmp slt i32 %30, 11 ; <i1> [#uses=1]
- br i1 %31, label %bb16.i, label %bb17.i
-
-bb17.i: ; preds = %bb16.i
- %32 = load i32* %3, align 4 ; <i32> [#uses=2]
- br label %bb20.i.outer
-
-bb20.i.outer: ; preds = %bb21.i, %bb17.i
- %k.0.ph.i.ph = phi i32 [ %32, %bb17.i ], [ %43, %bb21.i ] ; <i32> [#uses=3]
- %flips.0.ph.i.ph = phi i32 [ 0, %bb17.i ], [ %41, %bb21.i ] ; <i32> [#uses=1]
- %j.0.in.i.ph = phi i32 [ %32, %bb17.i ], [ %43, %bb21.i ] ; <i32> [#uses=1]
- br label %bb20.i
-
-bb19.i: ; preds = %bb20.i
- %33 = getelementptr i32* %1, i32 %i.3.i ; <i32*> [#uses=1]
- %34 = load i32* %33, align 4 ; <i32> [#uses=1]
- %35 = getelementptr i32* %1, i32 %j.0.i ; <i32*> [#uses=1]
- %36 = load i32* %35, align 4 ; <i32> [#uses=1]
- %37 = getelementptr i32* %1, i32 %i.3.i ; <i32*> [#uses=1]
- store i32 %36, i32* %37, align 4
- %38 = getelementptr i32* %1, i32 %j.0.i ; <i32*> [#uses=1]
- store i32 %34, i32* %38, align 4
- %39 = add i32 %i.3.i, 1 ; <i32> [#uses=1]
- br label %bb20.i
-
-bb20.i: ; preds = %bb19.i, %bb20.i.outer
- %i.3.i = phi i32 [ %39, %bb19.i ], [ 1, %bb20.i.outer ] ; <i32> [#uses=4]
- %j.0.in.i = phi i32 [ %j.0.i, %bb19.i ], [ %j.0.in.i.ph, %bb20.i.outer ] ; <i32> [#uses=1]
- %j.0.i = add i32 %j.0.in.i, -1 ; <i32> [#uses=4]
- %40 = icmp slt i32 %i.3.i, %j.0.i ; <i1> [#uses=1]
- br i1 %40, label %bb19.i, label %bb21.i
-
-bb21.i: ; preds = %bb20.i
- %41 = add i32 %flips.0.ph.i.ph, 1 ; <i32> [#uses=3]
- %42 = getelementptr i32* %1, i32 %k.0.ph.i.ph ; <i32*> [#uses=1]
- %43 = load i32* %42, align 4 ; <i32> [#uses=3]
- %44 = getelementptr i32* %1, i32 %k.0.ph.i.ph ; <i32*> [#uses=1]
- store i32 %k.0.ph.i.ph, i32* %44, align 4
- %45 = icmp eq i32 %43, 0 ; <i1> [#uses=1]
- br i1 %45, label %bb22.i, label %bb20.i.outer
-
-bb22.i: ; preds = %bb21.i
- %46 = icmp slt i32 %flipsMax.1.reg2mem.1.ph.i.ph, %41 ; <i1> [#uses=1]
- br i1 %46, label %bb23.i, label %bb24.i.preheader
-
-bb23.i: ; preds = %bb22.i
- br label %bb24.i.preheader
-
-bb24.i.preheader: ; preds = %bb23.i, %bb22.i, %bb13.i, %bb12.i
- %flipsMax.0.ph.i.ph = phi i32 [ %flipsMax.1.reg2mem.1.ph.i.ph, %bb22.i ], [ %flipsMax.1.reg2mem.1.ph.i.ph, %bb13.i ], [ %flipsMax.1.reg2mem.1.ph.i.ph, %bb12.i ], [ %41, %bb23.i ] ; <i32> [#uses=3]
- br label %bb24.i
-
-bb24.i: ; preds = %bb30.i, %bb24.i.preheader
- %r.2.i = phi i32 [ %60, %bb30.i ], [ %r.0.i, %bb24.i.preheader ] ; <i32> [#uses=8]
- %47 = icmp eq i32 %r.2.i, 11 ; <i1> [#uses=1]
- br i1 %47, label %fannkuch.exit, label %bb26.i
-
-bb26.i: ; preds = %bb24.i
- %48 = load i32* %3, align 4 ; <i32> [#uses=1]
- br label %bb28.i
-
-bb27.i: ; preds = %bb28.i
- %49 = add i32 %i.4.i, 1 ; <i32> [#uses=2]
- %50 = getelementptr i32* %3, i32 %49 ; <i32*> [#uses=1]
- %51 = load i32* %50, align 4 ; <i32> [#uses=1]
- %52 = getelementptr i32* %3, i32 %i.4.i ; <i32*> [#uses=1]
- store i32 %51, i32* %52, align 4
- br label %bb28.i
-
-bb28.i: ; preds = %bb27.i, %bb26.i
- %i.4.i = phi i32 [ 0, %bb26.i ], [ %49, %bb27.i ] ; <i32> [#uses=3]
- %53 = icmp slt i32 %i.4.i, %r.2.i ; <i1> [#uses=1]
- br i1 %53, label %bb27.i, label %bb29.i
-
-bb29.i: ; preds = %bb28.i
- %54 = getelementptr i32* %3, i32 %r.2.i ; <i32*> [#uses=1]
- store i32 %48, i32* %54, align 4
- %55 = getelementptr i32* %5, i32 %r.2.i ; <i32*> [#uses=1]
- %56 = load i32* %55, align 4 ; <i32> [#uses=1]
- %57 = add i32 %56, -1 ; <i32> [#uses=2]
- %58 = getelementptr i32* %5, i32 %r.2.i ; <i32*> [#uses=1]
- store i32 %57, i32* %58, align 4
- %59 = icmp sgt i32 %57, 0 ; <i1> [#uses=1]
- br i1 %59, label %bb5.i, label %bb30.i
-
-bb30.i: ; preds = %bb29.i
- %60 = add i32 %r.2.i, 1 ; <i32> [#uses=1]
- br label %bb24.i
-
-fannkuch.exit: ; preds = %bb24.i
- %61 = tail call i32 (i8*, ...)* @printf(i8* noalias getelementptr ([23 x i8]* @.str1, i32 0, i32 0), i32 11, i32 %flipsMax.0.ph.i.ph) nounwind ; <i32> [#uses=0]
- ret i32 0
-}
-
-declare noalias i8* @calloc(i32, i32) nounwind
-
-declare i32 @printf(i8* nocapture, ...) nounwind
-
-declare i32 @putchar(i32) nounwind
projects / oota-llvm.git / commitdiff