1; RUN: opt < %s -instcombine -S | FileCheck %s 2; PR6165 3 4define i32 @f() { 5entry: 6 br label %BB1 7 8BB1: ; 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 16BB2: ; preds = %BB1 17; CHECK: BB2: 18 ret i32 %x 19} 20