llvm/test/Transforms/InstCombine/2008-01-13-AndCmpCmp.ll

   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
   6 define 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
  19 define 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 }