1*9880d681SAndroid Build Coastguard Worker; For PR1248 2*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -instcombine -S | grep "ugt i32 .*, 11" 3*9880d681SAndroid Build Coastguard Workerdefine i1 @test(i32 %tmp6) { 4*9880d681SAndroid Build Coastguard Worker %tmp7 = sdiv i32 %tmp6, 12 ; <i32> [#uses=1] 5*9880d681SAndroid Build Coastguard Worker icmp ne i32 %tmp7, -6 ; <i1>:1 [#uses=1] 6*9880d681SAndroid Build Coastguard Worker ret i1 %1 7*9880d681SAndroid Build Coastguard Worker} 8