1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=instcombine -S | FileCheck %s 3 4; PR1907 5 6define i1 @test(i32 %c84.17) { 7; CHECK-LABEL: @test( 8; CHECK-NEXT: [[TMP2696:%.*]] = icmp ne i32 [[C84_17:%.*]], 34 9; CHECK-NEXT: [[TMP2699:%.*]] = icmp sgt i32 [[C84_17]], -1 10; CHECK-NEXT: [[TMP2703:%.*]] = and i1 [[TMP2696]], [[TMP2699]] 11; CHECK-NEXT: ret i1 [[TMP2703]] 12; 13 %tmp2696 = icmp ne i32 %c84.17, 34 ; <i1> [#uses=2] 14 %tmp2699 = icmp sgt i32 %c84.17, -1 ; <i1> [#uses=1] 15 %tmp2703 = and i1 %tmp2696, %tmp2699 ; <i1> [#uses=1] 16 ret i1 %tmp2703 17} 18 19define i1 @test_logical(i32 %c84.17) { 20; CHECK-LABEL: @test_logical( 21; CHECK-NEXT: [[TMP2696:%.*]] = icmp ne i32 [[C84_17:%.*]], 34 22; CHECK-NEXT: [[TMP2699:%.*]] = icmp sgt i32 [[C84_17]], -1 23; CHECK-NEXT: [[TMP2703:%.*]] = and i1 [[TMP2696]], [[TMP2699]] 24; CHECK-NEXT: ret i1 [[TMP2703]] 25; 26 %tmp2696 = icmp ne i32 %c84.17, 34 27 %tmp2699 = icmp sgt i32 %c84.17, -1 28 %tmp2703 = select i1 %tmp2696, i1 %tmp2699, i1 false 29 ret i1 %tmp2703 30} 31