llvm-mirror/test/Transforms/InstCombine/2008-07-10-CastSextBool.ll

; RUN: opt < %s -instcombine -S | grep {%C = xor i1 %A, true}
; RUN: opt < %s -instcombine -S | grep {ret i1 false}
; PR2539

define i1 @test1(i1 %A) {
	%B = zext i1 %A to i32
	%C = icmp slt i32 %B, 1
	ret i1 %C
}


define i1 @test2(i1 zeroext  %b) {
entry:
	%cmptmp = icmp slt i1 %b, true		; <i1> [#uses=1]
	ret i1 %cmptmp
}
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 -S \| grep {%C = xor i1 %A, true}`
			`; RUN: opt < %s -instcombine -S \| grep {ret i1 false}`
Fix a bogus optimization: folding (slt (zext i1 A to i32), 1) -> (slt i1 A, true) This cause a regression in InstCombine/JavaCompare, which was doing the right thing on accident. To handle the missed case, generalize the comparisons based on masked bits a little bit to handle comparisons against the max value. For example, we can now xform (slt i32 (and X, 4), 4) -> (setne i32 (and X, 4), 4) llvm-svn: 53443 2008-07-11 06:09:09 +02:00			`; PR2539`

Fix folding of icmp's of i1 where the comparison is signed. The code was using the algorithm for folding unsigned comparisons which is completely wrong. This has been broken since the signless types change. llvm-svn: 53444 2008-07-11 06:20:58 +02:00			`define i1 @test1(i1 %A) {`
Fix a bogus optimization: folding (slt (zext i1 A to i32), 1) -> (slt i1 A, true) This cause a regression in InstCombine/JavaCompare, which was doing the right thing on accident. To handle the missed case, generalize the comparisons based on masked bits a little bit to handle comparisons against the max value. For example, we can now xform (slt i32 (and X, 4), 4) -> (setne i32 (and X, 4), 4) llvm-svn: 53443 2008-07-11 06:09:09 +02:00			`%B = zext i1 %A to i32`
			`%C = icmp slt i32 %B, 1`
			`ret i1 %C`
			`}`
Fix folding of icmp's of i1 where the comparison is signed. The code was using the algorithm for folding unsigned comparisons which is completely wrong. This has been broken since the signless types change. llvm-svn: 53444 2008-07-11 06:20:58 +02:00

			`define i1 @test2(i1 zeroext %b) {`
			`entry:`
			`%cmptmp = icmp slt i1 %b, true ; <i1> [#uses=1]`
			`ret i1 %cmptmp`
			`}`