llvm-6502/test/Transforms/IndVarSimplify/shrunk-constant.ll

; RUN: opt < %s -scalar-evolution -analyze \
; RUN:  | grep {\\-->  (zext i4 {-7,+,-8}<%loop> to i32)}

define fastcc void @foo() nounwind {
entry:
	br label %loop

loop:
	%i = phi i32 [ 0, %entry ], [ %t2, %loop ]
	%t0 = add i32 %i, 9
	%t1 = and i32 %t0, 9
        store i32 %t1, i32* null
	%t2 = add i32 %i, 8
	br label %loop
}
-disable-output is no longer needed with -analyze. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94574 91177308-0d34-0410-b5e6-96231b3b80d8 2010-01-26 19:25:59 +00:00			`; RUN: opt < %s -scalar-evolution -analyze \`
Use WriteAsOperand instead of getName() to print loop header names, so that unnamed blocks are handled. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@93059 91177308-0d34-0410-b5e6-96231b3b80d8 2010-01-09 18:17:45 +00:00			`; RUN: \| grep {\\--> (zext i4 {-7,+,-8}<%loop> to i32)}`
Instcombine's ShrinkDemandedConstant may strip bits out of constants, obscuring what would otherwise be a low-bits mask. Use ComputeMaskedBits to compute what ShrinkDemandedConstant knew about to reconstruct a low-bits mask value. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73540 91177308-0d34-0410-b5e6-96231b3b80d8 2009-06-16 19:52:01 +00:00
			`define fastcc void @foo() nounwind {`
			`entry:`
			`br label %loop`

			`loop:`
			`%i = phi i32 [ 0, %entry ], [ %t2, %loop ]`
			`%t0 = add i32 %i, 9`
			`%t1 = and i32 %t0, 9`
			`store i32 %t1, i32* null`
			`%t2 = add i32 %i, 8`
			`br label %loop`
			`}`