|  | ; RUN: llc -O3 -mcpu=mips64 -mtriple=mips64el-unknown-linux-gnuabi64 < %s -o - | FileCheck %s | 
|  |  | 
|  | define noundef signext i32 @xor_and(i32 noundef signext %a, i32 noundef signext %b) local_unnamed_addr { | 
|  | ; CHECK-LABEL: xor_and: | 
|  | ; CHECK:       # %bb.0: # %entry | 
|  | ; CHECK-NEXT:    and $1, $5, $4 | 
|  | ; CHECK-NEXT:    daddiu $2, $zero, -1 | 
|  | ; CHECK-NEXT:    jr $ra | 
|  | ; CHECK-NEXT:    xor $2, $1, $2 | 
|  |  | 
|  | entry: | 
|  | %0 = and i32 %b, %a | 
|  | %or1 = xor i32 %0, -1 | 
|  | ret i32 %or1 | 
|  | } | 
|  |  | 
|  | define noundef signext i32 @input_i16(i16 noundef signext %a, i16 noundef signext %b) local_unnamed_addr { | 
|  | ; CHECK-LABEL: input_i16: | 
|  | ; CHECK:       # %bb.0: # %entry | 
|  | ; CHECK-NEXT:    and $1, $5, $4 | 
|  | ; CHECK-NEXT:    daddiu $2, $zero, -1 | 
|  | ; CHECK-NEXT:    jr $ra | 
|  | ; CHECK-NEXT:    xor $2, $1, $2 | 
|  |  | 
|  | entry: | 
|  | %0 = and i16 %b, %a | 
|  | %1 = xor i16 %0, -1 | 
|  | %or4 = sext i16 %1 to i32 | 
|  | ret i32 %or4 | 
|  | } | 
|  |  | 
|  | define i64 @return_i64(i32 noundef signext %a, i32 noundef signext %b) local_unnamed_addr { | 
|  | ; CHECK-LABEL: return_i64: | 
|  | ; CHECK:       # %bb.0: # %entry | 
|  | ; CHECK-NEXT:    and $1, $5, $4 | 
|  | ; CHECK-NEXT:    daddiu $2, $zero, -1 | 
|  | ; CHECK-NEXT:    jr $ra | 
|  | ; CHECK-NEXT:    xor $2, $1, $2 | 
|  |  | 
|  | entry: | 
|  | %0 = and i32 %b, %a | 
|  | %or1 = xor i32 %0, -1 | 
|  | %conv = sext i32 %or1 to i64 | 
|  | ret i64 %conv | 
|  | } |