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