1 ; RUN: opt < %s -instcombine -S | grep "lshr.*3" 2 ; RUN: opt < %s -instcombine -S | grep "call .*%cond" 3 ; PR2506 4 5 ; We can simplify the operand of udiv to '8', but not the operand to the 6 ; call. If the callee never returns, we can't assume the div is reachable. 7 define i32 @a(i32 %x, i32 %y) { 8 entry: 9 %tobool = icmp ne i32 %y, 0 ; <i1> [#uses=1] 10 %cond = select i1 %tobool, i32 8, i32 0 ; <i32> [#uses=2] 11 %call = call i32 @b( i32 %cond ) ; <i32> [#uses=0] 12 %div = udiv i32 %x, %cond ; <i32> [#uses=1] 13 ret i32 %div 14 } 15 16 declare i32 @b(i32) 17
