< programming , tool > compiler which attempts to analyse the code it produces and to produce more efficient code by performing program transformation such as branch elimination , partial evaluation , or peep-hole optimisation .
Contrast pessimising compiler .
(1995-02-01)