diff a/src/jdk.incubator.code/share/classes/jdk/incubator/code/dialect/java/ConstantExpressionTransformer.java b/src/jdk.incubator.code/share/classes/jdk/incubator/code/dialect/java/ConstantExpressionTransformer.java
--- /dev/null
+++ b/src/jdk.incubator.code/share/classes/jdk/incubator/code/dialect/java/ConstantExpressionTransformer.java
@@ -0,0 +1,39 @@
+package jdk.incubator.code.dialect.java;
+
+import jdk.incubator.code.Block;
+import jdk.incubator.code.CodeContext;
+import jdk.incubator.code.CodeTransformer;
+import jdk.incubator.code.Op;
+
+import java.lang.invoke.MethodHandles;
+import java.util.Optional;
+
+import static jdk.incubator.code.dialect.core.CoreOp.constant;
+import static jdk.incubator.code.dialect.java.JavaOp.JavaExpression.ConstantExpressionEvaluator;
+
+/**
+ * A transformer that replace every operation that model a constant expression with its value.
+ */
+public class ConstantExpressionTransformer implements CodeTransformer {
+    private final ConstantExpressionEvaluator constantExpressionEvaluator;
+
+    private ConstantExpressionTransformer(ConstantExpressionEvaluator constantExpressionEvaluator) {
+        this.constantExpressionEvaluator = constantExpressionEvaluator;
+    }
+
+    @Override
+    public Block.Builder acceptOp(Block.Builder b, Op op) {
+        Optional<Object> v = constantExpressionEvaluator.evaluate(op.result());
+        if (v.isPresent()) {
+            Op.Result c = b.op(constant(op.resultType(), v.get()));
+            b.context().mapValue(op.result(), c);
+        } else {
+            b.op(op);
+        }
+        return b;
+    }
+
+    public static Op transform(MethodHandles.Lookup l, Op op) {
+        return op.transform(CodeContext.create(), new ConstantExpressionTransformer(new ConstantExpressionEvaluator(l)));
+    }
+}