洲 wrote:
Add Reviewer Richard Biener.
-原始邮件-
发件人: "Zhou Zhao"
发送时间:2025-01-02 19:37:07 (星期四)
收件人: gcc-patches@gcc.gnu.org
抄送: xry...@xry111.site, i...@xen0n.name, chengl...@loongson.cn,
xucheng...@loongson.cn, zhaoz...@loongson.cn
主题: [PATCH] match.pd: Fold pattern of round
t;>>>>>> Add Reviewer Richard Biener.
> >>>>>>>>
> >>>>>>>>
> >>>>>>>>> -----原始邮件-----
> >>>>>>>>> 发件人: "Zhou Zhao"
> >>>>>>>>> 发
gt;>>>>> 发件人: "Zhou Zhao"
> >>>>>>> 发送时间:2025-01-02 19:37:07 (星期四)
> >>>>>>> 收件人: gcc-patches@gcc.gnu.org
> >>>>>>> 抄送: xry...@xry111.site, i...@xen0n.name, chengl...@loongson.cn,
> >>>>>>
...@xry111.site, i...@xen0n.name, chengl...@loongson.cn,
xucheng...@loongson.cn, zhaoz...@loongson.cn
主题: [PATCH] match.pd: Fold pattern of round semantics.
This patch implements 4 rules for semantics of round func in match.pd
under
-funsafe-math-optimizations:
1) (x-floor(x)) < (ceil(x)-x) ? floo
gt;>> 发送时间:2025-01-02 19:37:07 (星期四)
> >>> 收件人: gcc-patches@gcc.gnu.org
> >>> 抄送: xry...@xry111.site, i...@xen0n.name, chengl...@loongson.cn,
> >>> xucheng...@loongson.cn, zhaoz...@loongson.cn
> >>> 主题: [PATCH] match.pd: Fold pattern of round
.cn, zhaoz...@loongson.cn
主题: [PATCH] match.pd: Fold pattern of round semantics.
This patch implements 4 rules for semantics of round func in match.pd under
-funsafe-math-optimizations:
1) (x-floor(x)) < (ceil(x)-x) ? floor(x) : ceil(x) -> floor(x+0.5)
2) (x-floor(x)) >= (ceil(x)-x) ? ceil(x)
> > xucheng...@loongson.cn, zhaoz...@loongson.cn
> > 主题: [PATCH] match.pd: Fold pattern of round semantics.
> >
> > This patch implements 4 rules for semantics of round func in match.pd under
> > -funsafe-math-optimizations:
> > 1) (x-floor(x)) < (ceil(x)-x) ? f
Add Reviewer Richard Biener.
> -原始邮件-
> 发件人: "Zhou Zhao"
> 发送时间:2025-01-02 19:37:07 (星期四)
> 收件人: gcc-patches@gcc.gnu.org
> 抄送: xry...@xry111.site, i...@xen0n.name, chengl...@loongson.cn,
> xucheng...@loongson.cn, zhaoz...@loongson.cn
> 主题: [PATCH]
This patch implements 4 rules for semantics of round func in match.pd under
-funsafe-math-optimizations:
1) (x-floor(x)) < (ceil(x)-x) ? floor(x) : ceil(x) -> floor(x+0.5)
2) (x-floor(x)) >= (ceil(x)-x) ? ceil(x) : floor(x) -> floor(x+0.5)
3) (ceil(x)-x) > (x-floor(x)) ? floor(x) : ceil(x) -> floor
