llvm-mirror/test/Transforms/IndVarSimplify/signed-trip-count.ll

; RUN: opt < %s -indvars -S > %t
; RUN: not grep sext %t
; RUN: grep phi %t | count 1

define void @foo(i64* nocapture %x, i32 %n) nounwind {
entry:
	%tmp102 = icmp sgt i32 %n, 0		; <i1> [#uses=1]
	br i1 %tmp102, label %bb.nph, label %return

bb.nph:		; preds = %entry
	br label %bb

bb:		; preds = %bb7, %bb.nph
	%i.01 = phi i32 [ %tmp6, %bb7 ], [ 0, %bb.nph ]		; <i32> [#uses=3]
	%tmp1 = sext i32 %i.01 to i64		; <i64> [#uses=1]
	%tmp4 = getelementptr i64* %x, i32 %i.01		; <i64*> [#uses=1]
	store i64 %tmp1, i64* %tmp4, align 8
	%tmp6 = add i32 %i.01, 1		; <i32> [#uses=2]
	br label %bb7

bb7:		; preds = %bb
	%tmp10 = icmp slt i32 %tmp6, %n		; <i1> [#uses=1]
	br i1 %tmp10, label %bb, label %bb7.return_crit_edge

bb7.return_crit_edge:		; preds = %bb7
	br label %return

return:		; preds = %bb7.return_crit_edge, %entry
	ret void
}
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. llvm-svn: 81537 2009-09-11 20:01:28 +02:00			`; RUN: opt < %s -indvars -S > %t`
Back out the change in 64918 that used sign-extensions when promoting trip counts that use signed comparisons. It's not obviously the best approach for preserving trip count information, and at any rate there isn't anything in the tree right now that makes use of that, so for now always using zero-extensions is preferable. llvm-svn: 65347 2009-02-24 00:20:35 +01:00			`; RUN: not grep sext %t`
Use a sign-extend instead of a zero-extend when promoting a trip count value when the original loop iteration condition is signed and the canonical induction variable won't undergo signed overflow. This isn't required for correctness; it just preserves more information about original loop iteration values. Add a getTruncateOrSignExtend method to ScalarEvolution, following getTruncateOrZeroExtend. llvm-svn: 64918 2009-02-18 18:22:41 +01:00			`; RUN: grep phi %t \| count 1`

			`define void @foo(i64* nocapture %x, i32 %n) nounwind {`
			`entry:`
			`%tmp102 = icmp sgt i32 %n, 0 ; <i1> [#uses=1]`
			`br i1 %tmp102, label %bb.nph, label %return`

			`bb.nph: ; preds = %entry`
			`br label %bb`

			`bb: ; preds = %bb7, %bb.nph`
			`%i.01 = phi i32 [ %tmp6, %bb7 ], [ 0, %bb.nph ] ; <i32> [#uses=3]`
			`%tmp1 = sext i32 %i.01 to i64 ; <i64> [#uses=1]`
			`%tmp4 = getelementptr i64* %x, i32 %i.01 ; <i64*> [#uses=1]`
			`store i64 %tmp1, i64* %tmp4, align 8`
			`%tmp6 = add i32 %i.01, 1 ; <i32> [#uses=2]`
			`br label %bb7`

			`bb7: ; preds = %bb`
			`%tmp10 = icmp slt i32 %tmp6, %n ; <i1> [#uses=1]`
			`br i1 %tmp10, label %bb, label %bb7.return_crit_edge`

			`bb7.return_crit_edge: ; preds = %bb7`
			`br label %return`

			`return: ; preds = %bb7.return_crit_edge, %entry`
			`ret void`
			`}`