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