Summary
inline call to known variable if its value refers to an intrinsic
Metadata
- Id: 6e77125653b7c95edb163127c36113c469dc1d8f
- Trac id: 756
- Type: enhancement
- Reporter: felix
- Owner: felix
- Cc:
- Status: closed
- Component: compiler
- Estimated difficulty:
- Resolution: fixed
- Priority: minor
- Milestone:
- Version: 4.7.x
- Changetime: 2012-01-30 08:36:34 UTC
- Created: 2011-12-17 17:40:00 UTC
- Keywords: inlining intrinsic
Description
For example:
(define foo +) (print (foo 3 4))
should completely constant-fold the expression. `foo` has a known value of `(##core#variable +)`, and `+` is an intrinsic.