1 ; NOTE: Assertions have been autogenerated by update_test_checks.py 2 ; RUN: opt < %s -instsimplify -S | FileCheck %s 3 4 ; PR12189 5 define i1 @test1(i32 %x) { 6 ; CHECK-LABEL: @test1( 7 ; CHECK: ret i1 %e 8 ; 9 br i1 true, label %a, label %b 10 11 a: 12 %aa = or i32 %x, 10 13 br label %c 14 15 b: 16 %bb = or i32 %x, 10 17 br label %c 18 19 c: 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
