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 } 20
