Arseny Kapoulkine 859475d315 Compiler: Optimize k*n and k+n when types are known ... When type information is specified, we can compile k*n and k+n into MULK/ADDK forms that are faster to execute, as long as we think n is a number. Since we generally restrict type aware optimizations to O2, this does that as well. This makes trig benchmark ~4% faster on Apple M2 in VM, and also a tiny improvment on scimark (~0.1%) can be observed. The optimization only affects interpreted execution, as NCG already can synthesize optimal code here. If the type information is not truthful (e.g. user annotates type as a number and it's not), the worst case scenario is flipped arguments to metamethods like __add/__mul for constant left hand side.		2024-11-16 16:05:08 +09:00
..
include	Sync to upstream/release/650 (#1502)	2024-11-01 12:06:07 -07:00
src	Compiler: Optimize k*n and k+n when types are known	2024-11-16 16:05:08 +09:00