define i64 @f(i64 %x, i64* %y) { start: %y-deref = load i64, i64* %y, !range !0 %0 = icmp eq i64 %y-deref, 0 ; これは消せるはず br i1 %0, label %panic, label %bb2 bb2: ; preds = %start %1 = udiv i64 %x, %y-deref ret i64 %1 panic: …