llvm/test/Transforms/LoopIndexSplit/SplitValue-2007-08-24-dbg.ll
Dan Gohman f2f6ce65b7 Change tests from "opt %s" to "opt < %s" so that opt doesn't see the
input filename so that opt doesn't print the input filename in the
output so that grep lines in the tests don't unintentionally match
strings in the input filename.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81537 91177308-0d34-0410-b5e6-96231b3b80d8
2009-09-11 18:01:28 +00:00

72 lines
3.7 KiB
LLVM

; Split loop. Save last value. Split value is off by one in this example.
; RUN: opt < %s -loop-index-split -disable-output -stats |& \
; RUN: grep "loop-index-split" | count 1
%llvm.dbg.anchor.type = type { i32, i32 }
%llvm.dbg.compile_unit.type = type { i32, { }*, i32, i8*, i8*, i8*, i1, i1, i8* }
@llvm.dbg.compile_units = linkonce constant %llvm.dbg.anchor.type { i32 458752, i32 17 }, section "llvm.metadata" ;
@.str = internal constant [4 x i8] c"a.c\00", section "llvm.metadata" ; <[4 x i8]*> [#uses=1]
@.str1 = internal constant [6 x i8] c"/tmp/\00", section "llvm.metadata" ; <[6 x i8]*> [#uses=1]
@.str2 = internal constant [55 x i8] c"4.2.1 (Based on Apple Inc. build 5636) (LLVM build 00)\00", section "llvm.metadata" ; <[55 x i8]*> [#uses=1]
@llvm.dbg.compile_unit = internal constant %llvm.dbg.compile_unit.type { i32 458769, { }* bitcast (%llvm.dbg.anchor.type* @llvm.dbg.compile_units to { }*), i32 1, i8* getelementptr ([4 x i8]* @.str, i32 0, i32 0), i8* getelementptr ([6 x i8]* @.str1, i32 0, i32 0), i8* getelementptr ([55 x i8]* @.str2, i32 0, i32 0), i1 true, i1 false, i8* null }, section "llvm.metadata" ; <%llvm.dbg.compile_unit.type*> [#uses=1]
declare void @llvm.dbg.stoppoint(i32, i32, { }*) nounwind
@k = external global i32 ; <i32*> [#uses=2]
define void @foobar(i32 %a, i32 %b) {
entry:
br label %bb
bb: ; preds = %cond_next16, %entry
%i.01.0 = phi i32 [ 0, %entry ], [ %tmp18, %cond_next16 ] ; <i32> [#uses=5]
%tsum.18.0 = phi i32 [ 42, %entry ], [ %tsum.013.1, %cond_next16 ] ; <i32> [#uses=3]
%tmp1 = icmp sgt i32 %i.01.0, 50 ; <i1> [#uses=1]
call void @llvm.dbg.stoppoint(i32 5, i32 0, { }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*))
br i1 %tmp1, label %cond_true, label %cond_false
cond_true: ; preds = %bb
%tmp4 = tail call i32 @foo( i32 %i.01.0 ) ; <i32> [#uses=1]
%tmp6 = add i32 %tmp4, %tsum.18.0 ; <i32> [#uses=2]
%tmp914 = load i32* @k, align 4 ; <i32> [#uses=1]
%tmp1015 = icmp eq i32 %tmp914, 0 ; <i1> [#uses=1]
call void @llvm.dbg.stoppoint(i32 5, i32 0, { }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*))
br i1 %tmp1015, label %cond_next16, label %cond_true13
cond_false: ; preds = %bb
%tmp8 = tail call i32 @bar( i32 %i.01.0 ) ; <i32> [#uses=0]
%tmp9 = load i32* @k, align 4 ; <i32> [#uses=1]
%tmp10 = icmp eq i32 %tmp9, 0 ; <i1> [#uses=1]
call void @llvm.dbg.stoppoint(i32 5, i32 0, { }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*))
br i1 %tmp10, label %cond_next16, label %cond_true13
cond_true13: ; preds = %cond_false, %cond_true
%tsum.013.0 = phi i32 [ %tmp6, %cond_true ], [ %tsum.18.0, %cond_false ] ; <i32> [#uses=1]
%tmp15 = tail call i32 @bar( i32 %i.01.0 ) ; <i32> [#uses=0]
call void @llvm.dbg.stoppoint(i32 5, i32 0, { }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*))
br label %cond_next16
cond_next16: ; preds = %cond_false, %cond_true, %cond_true13
%tsum.013.1 = phi i32 [ %tsum.013.0, %cond_true13 ], [ %tmp6, %cond_true ], [ %tsum.18.0, %cond_false ] ; <i32> [#uses=2]
%tmp18 = add i32 %i.01.0, 1 ; <i32> [#uses=3]
%tmp21 = icmp slt i32 %tmp18, 100 ; <i1> [#uses=1]
call void @llvm.dbg.stoppoint(i32 5, i32 0, { }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*))
br i1 %tmp21, label %bb, label %bb24
bb24: ; preds = %cond_next16
%tmp18.lcssa = phi i32 [ %tmp18, %cond_next16 ] ; <i32> [#uses=1]
%tsum.013.1.lcssa = phi i32 [ %tsum.013.1, %cond_next16 ] ; <i32> [#uses=1]
%tmp27 = tail call i32 @t( i32 %tmp18.lcssa, i32 %tsum.013.1.lcssa ) ; <i32> [#uses=0]
call void @llvm.dbg.stoppoint(i32 5, i32 0, { }* bitcast (%llvm.dbg.compile_unit.type* @llvm.dbg.compile_unit to { }*))
ret void
}
declare i32 @foo(i32)
declare i32 @bar(i32)
declare i32 @t(i32, i32)