1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 ; Remove an icmp by using its operand in the subsequent logic directly. 4 5 define i8 @zext_or_icmp_icmp(i8 %a, i8 %b) { 6 %mask = and i8 %a, 1 7 %toBool1 = icmp eq i8 %mask, 0 8 %toBool2 = icmp eq i8 %b, 0 9 %bothCond = or i1 %toBool1, %toBool2 10 %zext = zext i1 %bothCond to i8 11 ret i8 %zext 12 13 ; CHECK-LABEL: zext_or_icmp_icmp( 14 ; CHECK-NEXT: %mask = and i8 %a, 1 15 ; CHECK-NEXT: %toBool2 = icmp eq i8 %b, 0 16 ; CHECK-NEXT: %1 = xor i8 %mask, 1 17 ; CHECK-NEXT: %toBool22 = zext i1 %toBool2 to i8 18 ; CHECK-NEXT: %zext = or i8 %1, %toBool22 19 ; CHECK-NEXT: ret i8 %zext 20 } 21 22
