1; NOTE: Assertions have been autogenerated by update_test_checks.py 2; RUN: opt < %s -instsimplify -S | FileCheck %s 3 4; PR12189 5define i1 @test1(i32 %x) { 6; CHECK-LABEL: @test1( 7; CHECK: ret i1 %e 8; 9 br i1 true, label %a, label %b 10 11a: 12 %aa = or i32 %x, 10 13 br label %c 14 15b: 16 %bb = or i32 %x, 10 17 br label %c 18 19c: 20 %cc = phi i32 [ %bb, %b ], [%aa, %a ] 21 %d = urem i32 %cc, 2 22 %e = icmp eq i32 %d, 0 23 ret i1 %e 24} 25