llvm-project/llvm/test/Transforms/SCCP/logical-nuke.ll

; RUN: opt < %s -sccp -S | grep {ret i32 0}

; Test that SCCP has basic knowledge of when and/or nuke overdefined values.

define i32 @test(i32 %X) {
	%Y = and i32 %X, 0		; <i32> [#uses=1]
	ret i32 %Y
}
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-12 02:01:28 +08:00			`; RUN: opt < %s -sccp -S \| grep {ret i32 0}`
New testcase. If one side of and/or is known to be 0/-1, it doesn't matter if the other side is overdefined. llvm-svn: 18806 2004-12-12 07:14:40 +08:00
			`; Test that SCCP has basic knowledge of when and/or nuke overdefined values.`

Upgrade tests to not use llvm-upgrade. llvm-svn: 48529 2008-03-19 12:14:49 +08:00			`define i32 @test(i32 %X) {`
			`%Y = and i32 %X, 0 ; <i32> [#uses=1]`
			`ret i32 %Y`
New testcase. If one side of and/or is known to be 0/-1, it doesn't matter if the other side is overdefined. llvm-svn: 18806 2004-12-12 07:14:40 +08:00			`}`
Upgrade tests to not use llvm-upgrade. llvm-svn: 48529 2008-03-19 12:14:49 +08:00