Original bug ID: 5541
Reporter: gerd
Status: resolved (set by @xavierleroy on 2012-03-16T09:12:37Z)
Resolution: suspended
Priority: normal
Severity: tweak
Version: 3.12.1
Category: back end (clambda to assembly)
Has duplicate: #4808 #5592
Monitored by: ronan.lehy@gmail.com mehdi dario Camarade_Tux @hcarty @Chris00
Bug description
I just observed that min/max are not inlined. This prevents that further optimizations on the comparison operator can be applied - min/max always use compare_val.
Maybe compiling Pervasives with a slightly increased inlining limit already solves the problem.
Steps to reproduce
ocamlobjinfo /pervasives.cmx
Original bug ID: 5541
Reporter: gerd
Status: resolved (set by @xavierleroy on 2012-03-16T09:12:37Z)
Resolution: suspended
Priority: normal
Severity: tweak
Version: 3.12.1
Category: back end (clambda to assembly)
Has duplicate: #4808 #5592
Monitored by: ronan.lehy@gmail.com mehdi dario Camarade_Tux @hcarty @Chris00
Bug description
I just observed that min/max are not inlined. This prevents that further optimizations on the comparison operator can be applied - min/max always use compare_val.
Maybe compiling Pervasives with a slightly increased inlining limit already solves the problem.
Steps to reproduce
ocamlobjinfo /pervasives.cmx