| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | 
 | ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s | 
 |  | 
 | ; rdar://12081007 | 
 |  | 
 | define i32 @and_1(i8 zeroext %a, i8 zeroext %b, i32 %x) { | 
 | ; CHECK-LABEL: and_1: | 
 | ; CHECK:       # %bb.0: | 
 | ; CHECK-NEXT:    xorl %eax, %eax | 
 | ; CHECK-NEXT:    testb %dil, %sil | 
 | ; CHECK-NEXT:    cmovnel %edx, %eax | 
 | ; CHECK-NEXT:    retq | 
 |   %1 = and i8 %b, %a | 
 |   %2 = icmp ne i8 %1, 0 | 
 |   %3 = select i1 %2, i32 %x, i32 0 | 
 |   ret i32 %3 | 
 | } | 
 |  | 
 | define zeroext i1 @and_2(i8 zeroext %a, i8 zeroext %b) { | 
 | ; CHECK-LABEL: and_2: | 
 | ; CHECK:       # %bb.0: | 
 | ; CHECK-NEXT:    testb %dil, %sil | 
 | ; CHECK-NEXT:    setne %al | 
 | ; CHECK-NEXT:    retq | 
 |   %1 = and i8 %b, %a | 
 |   %2 = icmp ne i8 %1, 0 | 
 |   ret i1 %2 | 
 | } | 
 |  | 
 | define i32 @xor_1(i8 zeroext %a, i8 zeroext %b, i32 %x) { | 
 | ; CHECK-LABEL: xor_1: | 
 | ; CHECK:       # %bb.0: | 
 | ; CHECK-NEXT:    xorl %eax, %eax | 
 | ; CHECK-NEXT:    xorb %dil, %sil | 
 | ; CHECK-NEXT:    cmovnel %edx, %eax | 
 | ; CHECK-NEXT:    retq | 
 |   %1 = xor i8 %b, %a | 
 |   %2 = icmp ne i8 %1, 0 | 
 |   %3 = select i1 %2, i32 %x, i32 0 | 
 |   ret i32 %3 | 
 | } | 
 |  | 
 | define zeroext i1 @xor_2(i8 zeroext %a, i8 zeroext %b) { | 
 | ; CHECK-LABEL: xor_2: | 
 | ; CHECK:       # %bb.0: | 
 | ; CHECK-NEXT:    xorb %dil, %sil | 
 | ; CHECK-NEXT:    setne %al | 
 | ; CHECK-NEXT:    retq | 
 |   %1 = xor i8 %b, %a | 
 |   %2 = icmp ne i8 %1, 0 | 
 |   ret i1 %2 | 
 | } | 
 |  |