1 ; RUN: opt %s -instcombine -S | FileCheck %s
4 ; TODO: This should also optimize down.
5 ;define i32 @bar(i32 %a, i32 %b) nounwind readnone {
7 ; %0 = icmp sgt i32 %a, -1 ; <i1> [#uses=1]
8 ; %1 = icmp slt i32 %b, 0 ; <i1> [#uses=1]
9 ; %2 = xor i1 %1, %0 ; <i1> [#uses=1]
10 ; %3 = zext i1 %2 to i32 ; <i32> [#uses=1]
14 define i32 @qaz(i32 %a, i32 %b) nounwind readnone {
17 ; CHECK: xor i32 %a, %b
18 ; CHECK; lshr i32 %0, 31
19 ; CHECK: xor i32 %1, 1
20 %0 = lshr i32 %a, 31 ; <i32> [#uses=1]
21 %1 = lshr i32 %b, 31 ; <i32> [#uses=1]
22 %2 = icmp eq i32 %0, %1 ; <i1> [#uses=1]
23 %3 = zext i1 %2 to i32 ; <i32> [#uses=1]