diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/config.json b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/config.json
new file mode 100644
index 0000000000..3af06c8613
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/config.json
@@ -0,0 +1,8 @@
+{
+    "entry": "x/attribute-dynamic-complex",
+    "experimentalComplexExpressions": true,
+    "ssrFiles": {
+        "expected": "expected-ssr.html",
+        "error": "error-ssr.txt"
+    }
+}
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/error-ssr.txt b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/error-ssr.txt
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/error.txt b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/error.txt
new file mode 100644
index 0000000000..b7603fab66
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/error.txt
@@ -0,0 +1 @@
+LWC1034: Ambiguous attribute value class="{bar() + foo()}". If you want to make it a valid identifier you should remove the surrounding quotes class={bar() + foo()}. If you want to make it a string you should escape it class="\{bar() + foo()}".
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/expected-ssr.html b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/expected-ssr.html
new file mode 100644
index 0000000000..259866046b
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/expected-ssr.html
@@ -0,0 +1,6 @@
+<fixture-test>
+  <template shadowrootmode="open">
+    <div class="foobar">
+    </div>
+  </template>
+</fixture-test>
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/expected.html b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/expected.html
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/modules/x/attribute-dynamic-complex/attribute-dynamic-complex.html b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/modules/x/attribute-dynamic-complex/attribute-dynamic-complex.html
new file mode 100755
index 0000000000..4f9c66db53
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/modules/x/attribute-dynamic-complex/attribute-dynamic-complex.html
@@ -0,0 +1,3 @@
+<template>
+    <div class="{bar() + foo()}"></div>
+</template>
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/modules/x/attribute-dynamic-complex/attribute-dynamic-complex.js b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/modules/x/attribute-dynamic-complex/attribute-dynamic-complex.js
new file mode 100755
index 0000000000..602273dffa
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/attribute-dynamic-complex/modules/x/attribute-dynamic-complex/attribute-dynamic-complex.js
@@ -0,0 +1,10 @@
+import { LightningElement } from 'lwc';
+
+export default class AttributeDynamicComplex extends LightningElement {
+    bar() {
+        return 'foo';
+    }
+    foo() {
+        return 'bar';
+    }
+}
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/config.json b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/config.json
new file mode 100755
index 0000000000..b302e68ad6
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/config.json
@@ -0,0 +1,8 @@
+{
+    "entry": "x/for-each-block",
+    "experimentalComplexExpressions": true,
+    "ssrFiles": {
+        "expected": "expected-ssr.html",
+        "error": "error-ssr.txt"
+    }
+}
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/error-ssr.txt b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/error-ssr.txt
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/error.txt b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/error.txt
new file mode 100644
index 0000000000..f13176a7a6
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/error.txt
@@ -0,0 +1 @@
+LWC1034: Ambiguous attribute value for:each="{list()}". If you want to make it a valid identifier you should remove the surrounding quotes for:each={list()}. If you want to make it a string you should escape it for:each="\{list()}".
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/expected-ssr.html b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/expected-ssr.html
new file mode 100644
index 0000000000..3b62ecf650
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/expected-ssr.html
@@ -0,0 +1,15 @@
+<fixture-test>
+  <template shadowrootmode="open">
+    <ul>
+      <li>
+        0 - paris
+      </li>
+      <li>
+        1 - london
+      </li>
+      <li>
+        2 - tokyo
+      </li>
+    </ul>
+  </template>
+</fixture-test>
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/expected.html b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/expected.html
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/modules/x/for-each-block/for-each-block.html b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/modules/x/for-each-block/for-each-block.html
new file mode 100755
index 0000000000..664b217367
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/modules/x/for-each-block/for-each-block.html
@@ -0,0 +1,7 @@
+<template>
+    <ul>
+        <template for:each="{list()}" for:item="item" for:index="index">
+            <li key={item}>{index} - {item}</li>
+        </template>
+    </ul>
+</template>
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/modules/x/for-each-block/for-each-block.js b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/modules/x/for-each-block/for-each-block.js
new file mode 100755
index 0000000000..4a98edc205
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/for-each-block/complex/modules/x/for-each-block/for-each-block.js
@@ -0,0 +1,7 @@
+import { LightningElement } from 'lwc';
+
+export default class Component extends LightningElement {
+    list() {
+        return ['paris', 'london', 'tokyo'];
+    }
+}
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/config.json b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/config.json
new file mode 100644
index 0000000000..74eaaf0c4f
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/config.json
@@ -0,0 +1,8 @@
+{
+    "entry": "x/component",
+    "experimentalComplexExpressions": true,
+    "ssrFiles": {
+        "expected": "expected-ssr.html",
+        "error": "error-ssr.txt"
+    }
+}
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/error-ssr.txt b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/error-ssr.txt
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/error.txt b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/error.txt
new file mode 100644
index 0000000000..1f6547bdc5
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/error.txt
@@ -0,0 +1 @@
+LWC1034: Ambiguous attribute value lwc:if="{isTrue()}". If you want to make it a valid identifier you should remove the surrounding quotes lwc:if={isTrue()}. If you want to make it a string you should escape it lwc:if="\{isTrue()}".
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/expected-ssr.html b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/expected-ssr.html
new file mode 100644
index 0000000000..3985fdcdf6
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/expected-ssr.html
@@ -0,0 +1,10 @@
+<fixture-test>
+  <template shadowrootmode="open">
+    <!---->
+    I am true!
+    <!---->
+    <!---->
+    I am not false!
+    <!---->
+  </template>
+</fixture-test>
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/expected.html b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/expected.html
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/modules/x/component/component.html b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/modules/x/component/component.html
new file mode 100755
index 0000000000..83717eb733
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/modules/x/component/component.html
@@ -0,0 +1,15 @@
+<template>
+    <template lwc:if="{isTrue()}">
+        I am true!
+    </template>
+    <template lwc:else>
+        I am not true!
+    </template>
+
+    <template lwc:if="{isFalse()}">
+        I am false!
+    </template>
+    <template lwc:else>
+        I am not false!
+    </template>
+</template>
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/modules/x/component/component.js b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/modules/x/component/component.js
new file mode 100755
index 0000000000..ee524af201
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/lwc-if-else-complex/modules/x/component/component.js
@@ -0,0 +1,11 @@
+import { LightningElement } from 'lwc';
+
+export default class IfBlock extends LightningElement {
+    isTrue() {
+        return true;
+    }
+
+    isFalse() {
+        return this.false;
+    }
+}
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/config.json b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/config.json
new file mode 100644
index 0000000000..045b0db31b
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/config.json
@@ -0,0 +1,8 @@
+{
+    "entry": "x/complexParent",
+    "experimentalComplexExpressions": true,
+    "ssrFiles": {
+        "expected": "expected-ssr.html",
+        "error": "error-ssr.txt"
+    }
+}
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/error-ssr.txt b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/error-ssr.txt
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/error.txt b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/error.txt
new file mode 100644
index 0000000000..a4bc6c6950
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/error.txt
@@ -0,0 +1 @@
+LWC1060: Template expression doesn't allow CallExpression
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/expected-ssr.html b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/expected-ssr.html
new file mode 100644
index 0000000000..63dd5a68eb
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/expected-ssr.html
@@ -0,0 +1,15 @@
+<fixture-test>
+  <template shadowrootmode="open">
+    <x-complex-child>
+      <div>
+        <!---->
+        <!---->
+        <span>
+          99 - ssr
+        </span>
+        <!---->
+        <!---->
+      </div>
+    </x-complex-child>
+  </template>
+</fixture-test>
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/expected.html b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/expected.html
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexChild/complexChild.html b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexChild/complexChild.html
new file mode 100644
index 0000000000..c624f74879
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexChild/complexChild.html
@@ -0,0 +1,5 @@
+<template lwc:render-mode="light">
+    <div>
+        <slot lwc:slot-bind="{itemFn()}">Default slot content</slot>
+    </div>
+</template>
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexChild/complexChild.js b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexChild/complexChild.js
new file mode 100644
index 0000000000..c5970cfa44
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexChild/complexChild.js
@@ -0,0 +1,8 @@
+import { LightningElement } from 'lwc';
+
+export default class Child extends LightningElement {
+    static renderMode = 'light';
+    itemFn() {
+        return () => ({ id: 99, name: 'ssr' });
+    }
+}
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexParent/complexParent.html b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexParent/complexParent.html
new file mode 100644
index 0000000000..fda7fb7d7d
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexParent/complexParent.html
@@ -0,0 +1,7 @@
+<template>
+    <x-complex-child>
+        <template lwc:slot-data="itemFn">
+            <span>{itemFn().id} - {itemFn().name}</span>
+        </template>
+    </x-complex-child>
+</template>
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexParent/complexParent.js b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexParent/complexParent.js
new file mode 100644
index 0000000000..a5746a015a
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/scoped-slots/complex/modules/x/complexParent/complexParent.js
@@ -0,0 +1,3 @@
+import { LightningElement } from 'lwc';
+
+export default class Parent extends LightningElement {}
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/config.json b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/config.json
new file mode 100755
index 0000000000..7f133355aa
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/config.json
@@ -0,0 +1,11 @@
+{
+    "entry": "x/text-interpolation",
+    "props": {
+        "publicProp": "public-prop"
+    },
+    "experimentalComplexExpressions": true,
+    "ssrFiles": {
+        "expected": "expected-ssr.html",
+        "error": "error-ssr.txt"
+    }
+}
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/error-ssr.txt b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/error-ssr.txt
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/error.txt b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/error.txt
new file mode 100644
index 0000000000..35dac9946c
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/error.txt
@@ -0,0 +1 @@
+LWC1060: Template expression doesn't allow BinaryExpression
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/expected-ssr.html b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/expected-ssr.html
new file mode 100644
index 0000000000..68f5d530f9
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/expected-ssr.html
@@ -0,0 +1,7 @@
+<fixture-test>
+  <template shadowrootmode="open">
+    <p>
+      foo bar bar foo
+    </p>
+  </template>
+</fixture-test>
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/expected.html b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/expected.html
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/modules/x/text-interpolation/text-interpolation.html b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/modules/x/text-interpolation/text-interpolation.html
new file mode 100755
index 0000000000..2398b50a3d
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/modules/x/text-interpolation/text-interpolation.html
@@ -0,0 +1,3 @@
+<template>
+    <p>{bar() + ' ' + foo()} {foo() + ' ' + bar()}</p>
+</template>
\ No newline at end of file
diff --git a/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/modules/x/text-interpolation/text-interpolation.js b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/modules/x/text-interpolation/text-interpolation.js
new file mode 100755
index 0000000000..5959b04818
--- /dev/null
+++ b/packages/@lwc/engine-server/src/__tests__/fixtures/text-interpolation-complex/modules/x/text-interpolation/text-interpolation.js
@@ -0,0 +1,10 @@
+import { LightningElement } from 'lwc';
+
+export default class TextInterpolation extends LightningElement {
+    foo() {
+        return 'bar';
+    }
+    bar() {
+        return 'foo';
+    }
+}
diff --git a/packages/@lwc/ssr-compiler/src/__tests__/fixtures.spec.ts b/packages/@lwc/ssr-compiler/src/__tests__/fixtures.spec.ts
index 8c39d7ba7c..0af9fa2537 100644
--- a/packages/@lwc/ssr-compiler/src/__tests__/fixtures.spec.ts
+++ b/packages/@lwc/ssr-compiler/src/__tests__/fixtures.spec.ts
@@ -33,6 +33,9 @@ interface FixtureConfig {
 
     /** The string used to uniquely identify one set of dedupe IDs with multiple SSR islands */
     styleDedupe?: string;
+
+    /* TODO [#3370]: remove experimental template expression flag */
+    experimentalComplexExpressions?: boolean;
 }
 
 vi.mock('@lwc/ssr-runtime', async () => {
@@ -51,7 +54,15 @@ vi.mock('@lwc/ssr-runtime', async () => {
 
 const SSR_MODE: CompilationMode = DEFAULT_SSR_MODE;
 
-async function compileFixture({ entry, dirname }: { entry: string; dirname: string }) {
+async function compileFixture({
+    entry,
+    dirname,
+    experimentalComplexExpressions,
+}: {
+    entry: string;
+    dirname: string;
+    experimentalComplexExpressions: boolean;
+}) {
     const modulesDir = path.resolve(dirname, './modules');
     const outputFile = path.resolve(dirname, './dist/compiled-experimental-ssr.js');
     const input = 'virtual/fixture/test.js';
@@ -73,6 +84,7 @@ async function compileFixture({ entry, dirname }: { entry: string; dirname: stri
                     loader: path.join(__dirname, './utils/custom-loader.js'),
                     strictSpecifier: false,
                 },
+                experimentalComplexExpressions,
             }),
         ],
         onwarn({ message, code }) {
@@ -109,6 +121,7 @@ describe.concurrent('fixtures', () => {
                 compiledFixturePath = await compileFixture({
                     entry: config!.entry,
                     dirname,
+                    experimentalComplexExpressions: config!.experimentalComplexExpressions,
                 });
             } catch (err: any) {
                 return {
diff --git a/packages/@lwc/ssr-compiler/src/compile-template/expression.ts b/packages/@lwc/ssr-compiler/src/compile-template/expression.ts
index 63a3516a05..f554571f12 100644
--- a/packages/@lwc/ssr-compiler/src/compile-template/expression.ts
+++ b/packages/@lwc/ssr-compiler/src/compile-template/expression.ts
@@ -4,45 +4,71 @@
  * SPDX-License-Identifier: MIT
  * For full license text, see the LICENSE file in the repo root or https://opensource.org/licenses/MIT
  */
-
-import { builders as b } from 'estree-toolkit';
-
+import { bindExpression } from '@lwc/template-compiler';
 import type {
     ComplexExpression as IrComplexExpression,
     Expression as IrExpression,
     Identifier as IrIdentifier,
     MemberExpression as IrMemberExpression,
 } from '@lwc/template-compiler';
-import type {
-    Identifier as EsIdentifier,
-    Expression as EsExpression,
-    MemberExpression as EsMemberExpression,
-} from 'estree';
+import type { Identifier as EsIdentifier, Expression as EsExpression } from 'estree';
 import type { TransformerContext } from './types';
 
-function getRootMemberExpression(node: IrMemberExpression): IrMemberExpression {
-    return node.object.type === 'MemberExpression' ? getRootMemberExpression(node.object) : node;
-}
-
 export function expressionIrToEs(
     node: IrExpression | IrComplexExpression,
     cxt: TransformerContext
 ): EsExpression {
-    if (node.type === 'Identifier') {
-        const isLocalVar = cxt.isLocalVar((node as IrIdentifier).name);
-        return isLocalVar
-            ? (node as EsIdentifier)
-            : b.memberExpression(b.identifier('instance'), node as EsIdentifier);
-    } else if (node.type === 'MemberExpression') {
-        const nodeClone = structuredClone(node);
-        const rootMemberExpr = getRootMemberExpression(nodeClone as IrMemberExpression);
-        if (!cxt.isLocalVar((rootMemberExpr.object as IrIdentifier).name)) {
-            rootMemberExpr.object = b.memberExpression(
-                b.identifier('instance'),
-                rootMemberExpr.object as EsIdentifier
-            ) as unknown as IrMemberExpression;
-        }
-        return nodeClone as unknown as EsMemberExpression;
+    return bindExpression(
+        node as IrComplexExpression,
+        (n: EsIdentifier) => cxt.isLocalVar((n as EsIdentifier).name),
+        'instance',
+        cxt.templateOptions.experimentalComplexExpressions
+    );
+}
+
+/**
+ * Given an expression in a context, return an expression that may be scoped to that context.
+ * For example, for the expression `foo`, it will typically be `instance.foo`, but if we're
+ * inside a `for:each` block then the `foo` variable may refer to the scoped `foo`,
+ * e.g. `<template for:each={foos} for:item="foo">`
+ * @param expression
+ * @param cxt
+ */
+export function getScopedExpression(
+    expression: IrExpression,
+    cxt: TransformerContext
+): EsExpression {
+    let scopeReferencedId: IrExpression | null = null;
+    if (expression.type === 'MemberExpression') {
+        // e.g. `foo.bar` -> scopeReferencedId is `foo`
+        scopeReferencedId = getRootIdentifier(expression);
+    } else if (expression.type === 'Identifier') {
+        // e.g. `foo` -> scopeReferencedId is `foo`
+        scopeReferencedId = expression;
     }
-    throw new Error(`Unimplemented expression: ${node.type}`);
+
+    if (scopeReferencedId === null && !cxt.templateOptions.experimentalComplexExpressions) {
+        throw new Error(
+            `Invalid expression, must be a MemberExpression or Identifier, found type="${expression.type}": \`${JSON.stringify(expression)}\``
+        );
+    }
+
+    return cxt.isLocalVar(scopeReferencedId?.name)
+        ? (expression as EsExpression)
+        : expressionIrToEs(expression, cxt);
+}
+
+function getRootMemberExpression(node: IrMemberExpression): IrMemberExpression {
+    return node.object.type === 'MemberExpression' ? getRootMemberExpression(node.object) : node;
+}
+
+function getRootIdentifier(node: IrMemberExpression): IrIdentifier {
+    const rootMemberExpression = getRootMemberExpression(node);
+    if (rootMemberExpression.object.type === 'Identifier') {
+        return rootMemberExpression.object;
+    }
+
+    throw new Error(
+        `Invalid expression, must be an Identifier, found type="${rootMemberExpression.type}": \`${JSON.stringify(rootMemberExpression)}\``
+    );
 }
diff --git a/packages/@lwc/ssr-compiler/src/compile-template/shared.ts b/packages/@lwc/ssr-compiler/src/compile-template/shared.ts
index 2e2e4590a2..33f37c5a8c 100644
--- a/packages/@lwc/ssr-compiler/src/compile-template/shared.ts
+++ b/packages/@lwc/ssr-compiler/src/compile-template/shared.ts
@@ -22,8 +22,6 @@ import type {
 } from '@lwc/template-compiler';
 import type {
     Expression as EsExpression,
-    Identifier as EsIdentifier,
-    MemberExpression as EsMemberExpression,
     ObjectExpression as EsObjectExpression,
     Property as EsProperty,
     Statement as EsStatement,
@@ -79,59 +77,6 @@ export function bAttributeValue(node: IrNode, attrName: string): EsExpression {
     }
 }
 
-function getRootMemberExpression(node: EsMemberExpression): EsMemberExpression {
-    return node.object.type === 'MemberExpression' ? getRootMemberExpression(node.object) : node;
-}
-
-function getRootIdentifier(node: EsMemberExpression, cxt: TransformerContext): EsIdentifier | null {
-    const rootMemberExpression = getRootMemberExpression(node);
-    if (is.identifier(rootMemberExpression.object)) {
-        return rootMemberExpression.object;
-    }
-    if (cxt.templateOptions.experimentalComplexExpressions) {
-        // TODO [#3370]: Implement complex template expressions
-        return null;
-    }
-    // Should be impossible to hit, at least until we implement complex template expressions
-    /* v8 ignore next */
-    throw new Error(
-        `Invalid expression, must be an Identifier, found type="${rootMemberExpression.type}": \`${JSON.stringify(rootMemberExpression)}\``
-    );
-}
-
-/**
- * Given an expression in a context, return an expression that may be scoped to that context.
- * For example, for the expression `foo`, it will typically be `instance.foo`, but if we're
- * inside a `for:each` block then the `foo` variable may refer to the scoped `foo`,
- * e.g. `<template for:each={foos} for:item="foo">`
- * @param expression
- * @param cxt
- */
-export function getScopedExpression(expression: EsExpression, cxt: TransformerContext) {
-    let scopeReferencedId: EsExpression | null = null;
-    if (is.memberExpression(expression)) {
-        // e.g. `foo.bar` -> scopeReferencedId is `foo`
-        scopeReferencedId = getRootIdentifier(expression, cxt);
-    } else if (is.identifier(expression)) {
-        // e.g. `foo` -> scopeReferencedId is `foo`
-        scopeReferencedId = expression;
-    }
-    if (scopeReferencedId === null) {
-        if (cxt.templateOptions.experimentalComplexExpressions) {
-            // TODO [#3370]: Implement complex template expressions
-            return expression;
-        }
-        // Should be impossible to hit, at least until we implement complex template expressions
-        /* v8 ignore next */
-        throw new Error(
-            `Invalid expression, must be a MemberExpression or Identifier, found type="${expression.type}": \`${JSON.stringify(expression)}\``
-        );
-    }
-    return cxt.isLocalVar(scopeReferencedId.name)
-        ? expression
-        : b.memberExpression(b.identifier('instance'), expression);
-}
-
 export function normalizeClassAttributeValue(value: string) {
     // @ts-expect-error weird indirection results in wrong overload being picked up
     return StringReplace.call(StringTrim.call(value), /\s+/g, ' ');
diff --git a/packages/@lwc/ssr-compiler/src/compile-template/transformers/element.ts b/packages/@lwc/ssr-compiler/src/compile-template/transformers/element.ts
index 32c673fe7c..a6646d0a36 100644
--- a/packages/@lwc/ssr-compiler/src/compile-template/transformers/element.ts
+++ b/packages/@lwc/ssr-compiler/src/compile-template/transformers/element.ts
@@ -20,16 +20,15 @@ import {
     type Property as IrProperty,
 } from '@lwc/template-compiler';
 import { esTemplateWithYield } from '../../estemplate';
-import { expressionIrToEs } from '../expression';
+import { expressionIrToEs, getScopedExpression } from '../expression';
 import { irChildrenToEs } from '../ir-to-es';
-import { getScopedExpression, normalizeClassAttributeValue } from '../shared';
+import { normalizeClassAttributeValue } from '../shared';
 import type {
     ExternalComponent as IrExternalComponent,
     Slot as IrSlot,
 } from '@lwc/template-compiler';
 
 import type {
-    BinaryExpression,
     BlockStatement as EsBlockStatement,
     Expression as EsExpression,
     Statement as EsStatement,
@@ -165,11 +164,11 @@ function yieldAttrOrPropLiteralValue(name: string, valueNode: IrLiteral): EsStat
 function yieldAttrOrPropDynamicValue(
     elementName: string,
     name: string,
-    value: IrExpression | BinaryExpression,
+    value: IrExpression,
     cxt: TransformerContext
 ): EsStatement[] {
     cxt.import('htmlEscape');
-    const scopedExpression = getScopedExpression(value as EsExpression, cxt);
+    const scopedExpression = getScopedExpression(value, cxt);
     switch (name) {
         case 'class':
             cxt.import('normalizeClass');
diff --git a/packages/@lwc/ssr-compiler/src/compile-template/transformers/for-each.ts b/packages/@lwc/ssr-compiler/src/compile-template/transformers/for-each.ts
index a4b3d53e2a..be53b0b2d2 100644
--- a/packages/@lwc/ssr-compiler/src/compile-template/transformers/for-each.ts
+++ b/packages/@lwc/ssr-compiler/src/compile-template/transformers/for-each.ts
@@ -8,10 +8,11 @@
 import { builders as b, is } from 'estree-toolkit';
 import { esTemplate } from '../../estemplate';
 import { irChildrenToEs } from '../ir-to-es';
-import { getScopedExpression, optimizeAdjacentYieldStmts } from '../shared';
+import { optimizeAdjacentYieldStmts } from '../shared';
 
+import { getScopedExpression } from '../expression';
 import type { ForEach as IrForEach } from '@lwc/template-compiler';
-import type { Expression as EsExpression, ForOfStatement as EsForOfStatement } from 'estree';
+import type { ForOfStatement as EsForOfStatement } from 'estree';
 import type { Transformer } from '../types';
 
 const bForOfYieldFrom = esTemplate`
@@ -28,7 +29,7 @@ export const ForEach: Transformer<IrForEach> = function ForEach(node, cxt): EsFo
     const forEachStatements = irChildrenToEs(node.children, cxt);
     cxt.popLocalVars();
 
-    const expression = node.expression as EsExpression;
+    const expression = node.expression;
     const iterable = getScopedExpression(expression, cxt);
 
     return [
diff --git a/packages/@lwc/ssr-compiler/src/compile-template/transformers/slot.ts b/packages/@lwc/ssr-compiler/src/compile-template/transformers/slot.ts
index 60aa64a91c..ff8210166f 100644
--- a/packages/@lwc/ssr-compiler/src/compile-template/transformers/slot.ts
+++ b/packages/@lwc/ssr-compiler/src/compile-template/transformers/slot.ts
@@ -10,15 +10,12 @@ import { is, builders as b } from 'estree-toolkit';
 import { esTemplateWithYield } from '../../estemplate';
 
 import { irChildrenToEs } from '../ir-to-es';
-import { bAttributeValue, getScopedExpression } from '../shared';
+import { bAttributeValue } from '../shared';
 import { isNullableOf } from '../../estree/validators';
+import { getScopedExpression } from '../expression';
 import { Element } from './element';
 import type { Slot as IrSlot } from '@lwc/template-compiler';
-import type {
-    Statement as EsStatement,
-    IfStatement as EsIfStatement,
-    Expression as EsExpression,
-} from 'estree';
+import type { Statement as EsStatement, IfStatement as EsIfStatement } from 'estree';
 import type { Transformer } from '../types';
 
 const bConditionalSlot = esTemplateWithYield`
@@ -86,7 +83,7 @@ const bConditionalSlot = esTemplateWithYield`
 export const Slot: Transformer<IrSlot> = function Slot(node, ctx): EsStatement[] {
     const slotBindDirective = node.directives.find((dir) => dir.name === 'SlotBind');
     const slotBound = slotBindDirective?.value
-        ? getScopedExpression(slotBindDirective.value as EsExpression, ctx)
+        ? getScopedExpression(slotBindDirective.value, ctx)
         : null;
     const slotName = bAttributeValue(node, 'name');
     // FIXME: avoid serializing the slot's children twice
diff --git a/packages/@lwc/template-compiler/src/codegen/codegen.ts b/packages/@lwc/template-compiler/src/codegen/codegen.ts
index b991b09104..e1da655d4c 100644
--- a/packages/@lwc/template-compiler/src/codegen/codegen.ts
+++ b/packages/@lwc/template-compiler/src/codegen/codegen.ts
@@ -4,7 +4,6 @@
  * SPDX-License-Identifier: MIT
  * For full license text, see the LICENSE file in the repo root or https://opensource.org/licenses/MIT
  */
-import { walk } from 'estree-walker';
 import {
     getAPIVersionFromNumber,
     SVG_NAMESPACE,
@@ -47,7 +46,7 @@ import {
     hasDynamicText,
 } from './static-element';
 import { serializeStaticElement } from './static-element-serializer';
-import { bindAttributeExpression, bindComplexExpression } from './expression';
+import { bindAttributeExpression, bindExpression } from './expression';
 import type State from '../state';
 import type {
     ChildNode,
@@ -65,7 +64,6 @@ import type {
     OnDirective,
 } from '../shared/types';
 import type { APIVersion } from '@lwc/shared';
-import type { Node } from 'estree-walker';
 
 type RenderPrimitive =
     | 'iterator'
@@ -630,50 +628,12 @@ export default class CodeGen {
      * @param expression
      */
     bindExpression(expression: Expression | Literal | ComplexExpression): t.Expression {
-        if (t.isIdentifier(expression)) {
-            if (!this.isLocalIdentifier(expression)) {
-                return t.memberExpression(t.identifier(TEMPLATE_PARAMS.INSTANCE), expression);
-            } else {
-                return expression;
-            }
-        }
-
-        // TODO [#3370]: remove experimental template expression flag
-        if (this.state.config.experimentalComplexExpressions) {
-            // Cloning here is necessary because `this.replace()` is destructive, and we might use the
-            // node later during static content optimization
-            expression = structuredClone(expression);
-            return bindComplexExpression(expression as ComplexExpression, this);
-        }
-
-        // We need access to both this `this` and the walker's `this` in the walker
-        // eslint-disable-next-line @typescript-eslint/no-this-alias
-        const scope = this;
-
-        // Cloning here is necessary because `this.replace()` is destructive, and we might use the
-        // node later during static content optimization
-        expression = structuredClone(expression);
-        // TODO [#3370]: when the template expression flag is removed, the
-        // ComplexExpression type should be redefined as an ESTree Node. Doing
-        // so when the flag is still in place results in a cascade of required
-        // type changes across the codebase.
-        walk(expression as Node, {
-            leave(node, parent) {
-                if (
-                    parent !== null &&
-                    t.isIdentifier(node) &&
-                    t.isMemberExpression(parent) &&
-                    parent.object === node &&
-                    !scope.isLocalIdentifier(node)
-                ) {
-                    this.replace(
-                        t.memberExpression(t.identifier(TEMPLATE_PARAMS.INSTANCE), node) as Node
-                    );
-                }
-            },
-        });
-
-        return expression as t.Expression;
+        return bindExpression(
+            expression,
+            this.isLocalIdentifier.bind(this),
+            TEMPLATE_PARAMS.INSTANCE,
+            this.state.config.experimentalComplexExpressions
+        );
     }
 
     genStaticElement(element: StaticElement, slotParentName?: string): t.Expression {
diff --git a/packages/@lwc/template-compiler/src/codegen/expression.ts b/packages/@lwc/template-compiler/src/codegen/expression.ts
index e0ceccc1fa..cc17a3f6aa 100644
--- a/packages/@lwc/template-compiler/src/codegen/expression.ts
+++ b/packages/@lwc/template-compiler/src/codegen/expression.ts
@@ -9,7 +9,6 @@ import { walk } from 'estree-walker';
 import { ParserDiagnostics, invariant } from '@lwc/errors';
 import { isBooleanAttribute } from '@lwc/shared';
 import * as t from '../shared/estree';
-import { TEMPLATE_PARAMS } from '../shared/constants';
 import { isProperty, isStringLiteral } from '../shared/ast';
 import {
     isAllowedFragOnlyUrlsXHTML,
@@ -18,7 +17,13 @@ import {
     isIdReferencingAttribute,
     isSvgUseHref,
 } from '../parser/attribute';
-import type { Attribute, BaseElement, ComplexExpression, Property } from '../shared/types';
+import type {
+    Attribute,
+    BaseElement,
+    Expression,
+    ComplexExpression,
+    Property,
+} from '../shared/types';
 import type { Node } from 'estree-walker';
 import type CodeGen from './codegen';
 
@@ -26,6 +31,62 @@ type VariableName = string;
 type VariableShadowingMultiplicity = number;
 type VariableNames = Set<string>;
 
+/**
+ * Bind the passed expression to the component instance. It applies the following transformation to the expression:
+ * - {value} --> {$cmp.value}
+ * - {value[index]} --> {$cmp.value[$cmp.index]}
+ * @param expression
+ */
+export function bindExpression(
+    expression: Expression | t.Literal | ComplexExpression,
+    isLocalIdentifier: (node: t.Identifier) => boolean,
+    templateInstanceName: string,
+    experimentalComplexExpressions: boolean
+): t.Expression {
+    if (t.isIdentifier(expression)) {
+        if (!isLocalIdentifier(expression)) {
+            return t.memberExpression(t.identifier(templateInstanceName), expression);
+        } else {
+            return expression;
+        }
+    }
+
+    // TODO [#3370]: remove experimental template expression flag
+    if (experimentalComplexExpressions) {
+        // Cloning here is necessary because `this.replace()` is destructive, and we might use the
+        // node later during static content optimization
+        expression = structuredClone(expression);
+        return bindComplexExpression(
+            expression as ComplexExpression,
+            isLocalIdentifier,
+            templateInstanceName
+        );
+    }
+
+    // Cloning here is necessary because `this.replace()` is destructive, and we might use the
+    // node later during static content optimization
+    expression = structuredClone(expression);
+    // TODO [#3370]: when the template expression flag is removed, the
+    // ComplexExpression type should be redefined as an ESTree Node. Doing
+    // so when the flag is still in place results in a cascade of required
+    // type changes across the codebase.
+    walk(expression as Node, {
+        leave(node, parent) {
+            if (
+                parent !== null &&
+                t.isIdentifier(node) &&
+                t.isMemberExpression(parent) &&
+                parent.object === node &&
+                !isLocalIdentifier(node)
+            ) {
+                this.replace(t.memberExpression(t.identifier(templateInstanceName), node) as Node);
+            }
+        },
+    });
+
+    return expression as t.Expression;
+}
+
 /**
  * Bind the passed expression to the component instance. It applies the following
  * transformation to the expression:
@@ -49,7 +110,8 @@ type VariableNames = Set<string>;
  */
 export function bindComplexExpression(
     expression: ComplexExpression,
-    codeGen: CodeGen
+    isLocalIdentifier: (node: t.Identifier) => boolean,
+    templateInstanceName: string
 ): t.Expression {
     const expressionScopes = new ExpressionScopes();
     // TODO [#3370]: when the template expression flag is removed, the
@@ -76,12 +138,10 @@ export function bindComplexExpression(
                 isIdentifier &&
                 !(t.isMemberExpression(parent) && parent.property === node && !parent.computed) &&
                 !(t.isProperty(parent) && parent.key === node) &&
-                !codeGen.isLocalIdentifier(node) &&
+                !isLocalIdentifier(node) &&
                 !expressionScopes.isScopedToExpression(node)
             ) {
-                this.replace(
-                    t.memberExpression(t.identifier(TEMPLATE_PARAMS.INSTANCE), node) as Node
-                );
+                this.replace(t.memberExpression(t.identifier(templateInstanceName), node) as Node);
             }
         },
     });
diff --git a/packages/@lwc/template-compiler/src/index.ts b/packages/@lwc/template-compiler/src/index.ts
index f16cfe1aab..5cd5f37b98 100644
--- a/packages/@lwc/template-compiler/src/index.ts
+++ b/packages/@lwc/template-compiler/src/index.ts
@@ -22,6 +22,7 @@ export { Config } from './config';
 export { toPropertyName } from './shared/utils';
 export { kebabcaseToCamelcase } from './shared/naming';
 export { generateScopeTokens } from './scopeTokens';
+export { bindExpression } from './codegen/expression';
 
 /**
  * Parses HTML markup into an AST