llvm-6502/test/Transforms/InstCombine/2006-10-19-SignedToUnsignedCastAndConst-2.ll

; The optimizer should be able to remove cast operation here.
; RUN: llvm-upgrade %s -o - | llvm-as | opt -instcombine | llvm-dis | not grep 'sext.*i32'

bool %eq_signed_to_small_unsigned(sbyte %SB) {
   %Y = cast sbyte %SB to uint         ; <uint> [#uses=1]
   %C = seteq uint %Y, 17              ; <bool> [#uses=1]
   ret bool %C
 }
It is OK to remove extra cast if operation is EQ/NE even though source and destination sign may not match but other conditions are met. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31056 91177308-0d34-0410-b5e6-96231b3b80d8 2006-10-19 20:59:13 +00:00			`; The optimizer should be able to remove cast operation here.`
For PR950: Update the test suite to accommodate the change from signed integer types to signless integer types. The changes were of only a few kinds: 1. Make sure llvm-upgrade is run on the source which does the bulk of the changes automatically. 2. Change things like "grep 'int'" to "grep 'i32'" 3. In several tests bitcasting caused the same name to be reused in the same type plane. These had to be manually fixed. The fix was (generally) to leave the bitcast and provide the instruction with a new name. This should not affect the semantics of the test. In a few cases, the bitcasts were known to be superfluous and irrelevant to the test case so they were removed. 4. One test case uses a bytecode file which needed to be updated to the latest bytecode format. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32789 91177308-0d34-0410-b5e6-96231b3b80d8 2006-12-31 06:02:00 +00:00			`; RUN: llvm-upgrade %s -o - \| llvm-as \| opt -instcombine \| llvm-dis \| not grep 'sext.*i32'`
It is OK to remove extra cast if operation is EQ/NE even though source and destination sign may not match but other conditions are met. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31056 91177308-0d34-0410-b5e6-96231b3b80d8 2006-10-19 20:59:13 +00:00
			`bool %eq_signed_to_small_unsigned(sbyte %SB) {`
			`%Y = cast sbyte %SB to uint ; <uint> [#uses=1]`
			`%C = seteq uint %Y, 17 ; <bool> [#uses=1]`
			`ret bool %C`
			`}`