Tests constant folding in the optimizing compiler.