test/Transforms/InstCombine/2010-01-28-NegativeSRem.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2 ; PR6165
   3
   4 define i32 @f() {
   5 entry:
   6   br label %BB1
   7
   8 BB1:                                              ; preds = %BB1, %entry
   9 ; CHECK: BB1:
  10   %x = phi i32 [ -29, %entry ], [ 0, %BB1 ]       ; <i32> [#uses=2]
  11   %rem = srem i32 %x, 2                           ; <i32> [#uses=1]
  12   %t = icmp eq i32 %rem, -1                       ; <i1> [#uses=1]
  13   br i1 %t, label %BB2, label %BB1
  14 ; CHECK-NOT: br i1 false
  15
  16 BB2:                                              ; preds = %BB1
  17 ; CHECK: BB2:
  18   ret i32 %x
  19 }