llvm-mirror/test/Transforms/InstCombine/2009-01-31-InfIterate.ll

; RUN: opt < %s -instcombine | llvm-dis
; PR3452
define i128 @test(i64 %A, i64 %B, i1 %C, i128 %Z, i128 %Y, i64* %P, i64* %Q) {
entry:
	%tmp2 = trunc i128 %Z to i64
	%tmp4 = trunc i128 %Y to i64
	store i64 %tmp2, i64* %P
	store i64 %tmp4, i64* %Q
	%x = sub i64 %tmp2, %tmp4
	%c = sub i64 %tmp2, %tmp4
	%tmp137 = zext i1 %C to i64
	%tmp138 = sub i64 %c, %tmp137
	br label %T

T:
	%G = phi i64 [%tmp138, %entry], [%tmp2, %Fal]
	%F = zext i64 %G to i128
	ret i128 %F

Fal:
	br label %T
}
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 -instcombine \| llvm-dis`
Fix PR3452 (an infinite loop bootstrapping) by disabling the recent improvements to the EvaluateInDifferentType code. This code works by just inserted a bunch of new code and then seeing if it is useful. Instcombine is not allowed to do this: it can only insert new code if it is useful, and only when it is converging to a more canonical fixed point. Now that we iterate when DCE makes progress, this causes an infinite loop when the code ends up not being used. llvm-svn: 63483 2009-01-31 20:05:27 +01:00			`; PR3452`
reduce testcase. llvm-svn: 63499 2009-02-02 07:55:45 +01:00			`define i128 @test(i64 %A, i64 %B, i1 %C, i128 %Z, i128 %Y, i64* %P, i64* %Q) {`
Fix PR3452 (an infinite loop bootstrapping) by disabling the recent improvements to the EvaluateInDifferentType code. This code works by just inserted a bunch of new code and then seeing if it is useful. Instcombine is not allowed to do this: it can only insert new code if it is useful, and only when it is converging to a more canonical fixed point. Now that we iterate when DCE makes progress, this causes an infinite loop when the code ends up not being used. llvm-svn: 63483 2009-01-31 20:05:27 +01:00			`entry:`
reduce testcase. llvm-svn: 63499 2009-02-02 07:55:45 +01:00			`%tmp2 = trunc i128 %Z to i64`
			`%tmp4 = trunc i128 %Y to i64`
			`store i64 %tmp2, i64* %P`
			`store i64 %tmp4, i64* %Q`
			`%x = sub i64 %tmp2, %tmp4`
			`%c = sub i64 %tmp2, %tmp4`
			`%tmp137 = zext i1 %C to i64`
			`%tmp138 = sub i64 %c, %tmp137`
			`br label %T`

			`T:`
			`%G = phi i64 [%tmp138, %entry], [%tmp2, %Fal]`
			`%F = zext i64 %G to i128`
			`ret i128 %F`

			`Fal:`
			`br label %T`
Fix PR3452 (an infinite loop bootstrapping) by disabling the recent improvements to the EvaluateInDifferentType code. This code works by just inserted a bunch of new code and then seeing if it is useful. Instcombine is not allowed to do this: it can only insert new code if it is useful, and only when it is converging to a more canonical fixed point. Now that we iterate when DCE makes progress, this causes an infinite loop when the code ends up not being used. llvm-svn: 63483 2009-01-31 20:05:27 +01:00			`}`