
<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Hi,<div><br></div><div><blockquote type="cite"><div dir="ltr">I am very much in favor of having a div instruction with well defined div-by-zero and overflow behavior.</div></blockquote></div><div>Actually, an interest in these intrinsics has been shown for quite a long time, see for example thread [1].</div><div><br></div><div>I updated the patch, now the intrinsics return {iN, i1, i1} to separately indicate division by zero and overflow events. Though for unsigned version only division by zero is relevant, I decided to keep three elements in return structure for consistency (the last one is always 0 in this case). With this change various front-ends can take advantage of the intrinsics, depending on desired semantics.</div><div><br></div><div>Also I changed semantics of srem intrinsics to better match semantics of, for instance, Go. The original proposal stated that safe.srem(min<T>,-1) = min<T>, but it makes more sense to return 0 here. Thus, we’ll keep invariant X = div(X,Y)*Y + rem(X,Y).</div><div><br></div><div></div></body></html>