1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2 ; RUN: opt < %s -instcombine -S | FileCheck %s 3 4 define i1 @PR2539_A(i1 %A) { 5 ; CHECK-LABEL: @PR2539_A( 6 ; CHECK-NEXT: [[C:%.*]] = xor i1 %A, true 7 ; CHECK-NEXT: ret i1 [[C]] 8 ; 9 %B = zext i1 %A to i32 10 %C = icmp slt i32 %B, 1 11 ret i1 %C 12 } 13 14 15 define i1 @PR2539_B(i1 zeroext %b) { 16 ; CHECK-LABEL: @PR2539_B( 17 ; CHECK-NEXT: ret i1 false 18 ; 19 %cmp = icmp slt i1 %b, true 20 ret i1 %cmp 21 } 22 23
