31 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4; PR19075 6define i1 @test(i32 %c84.17) {7; CHECK-LABEL: @test(8; CHECK-NEXT: [[TMP2696:%.*]] = icmp ne i32 [[C84_17:%.*]], 349; CHECK-NEXT: [[TMP2699:%.*]] = icmp sgt i32 [[C84_17]], -110; 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 %tmp270317}18 19define i1 @test_logical(i32 %c84.17) {20; CHECK-LABEL: @test_logical(21; CHECK-NEXT: [[TMP2696:%.*]] = icmp ne i32 [[C84_17:%.*]], 3422; CHECK-NEXT: [[TMP2699:%.*]] = icmp sgt i32 [[C84_17]], -123; CHECK-NEXT: [[TMP2703:%.*]] = and i1 [[TMP2696]], [[TMP2699]]24; CHECK-NEXT: ret i1 [[TMP2703]]25;26 %tmp2696 = icmp ne i32 %c84.17, 3427 %tmp2699 = icmp sgt i32 %c84.17, -128 %tmp2703 = select i1 %tmp2696, i1 %tmp2699, i1 false29 ret i1 %tmp270330}31