Add a small missed optimization: turn X == C ? X : Y into X == C ? C : Y. This

[llvm/stm8.git] / test / Assembler / 2007-07-30-AutoUpgradeZextSext.ll

; Test that upgrading zext/sext attributes to zeroext and signext
; works correctly.
; PR1553
; RUN: llvm-as < %s > /dev/null

define i32 @bar() {
        %t = call i8 @foo( i8 10 sext ) zext
        %x = zext i8 %t to i32
        ret i32 %x
}

declare i8 @foo(i8 signext ) zeroext