[FeepingCreature]

If it knows it's a pure function, it's possible. It'd have to be a very specific optimization pass though.