Add more tests with different inline arrangements

resources/tests/strict/cse_doesnt_dominate_superior_let_iodi.clsp

@@ -0,0 +1,20 @@
+(mod (X)
+  (include *standard-cl-23*)
+
+  (defun-inline L (Z X) (* (+ Z 1) (+ Z 1) (+ Z 1) (+ X 1) (+ X 1) (+ X 1)))
+
+  ;; (+ X 1) should be an eliminated subexpression but it doesn't dominate the
+  ;; condition.
+  (defun-inline F1 (X)
+    (let ((Z X))
+      (if X
+        (L Z X)
+        17
+        )
+      )
+    )
+
+  (defun F (X) (F1 X))
+
+  (F X)
+  )

resources/tests/strict/cse_doesnt_dominate_superior_let_odi.clsp

@@ -0,0 +1,18 @@
+(mod (X)
+  (include *standard-cl-23*)
+
+  ;; (+ X 1) should be an eliminated subexpression but it doesn't dominate the
+  ;; condition.
+  (defun-inline F1 (X)
+    (let ((Z X))
+      (if X
+        (* (+ Z 1) (+ Z 1) (+ Z 1) (+ X 1) (+ X 1) (+ X 1))
+        17
+        )
+      )
+    )
+
+  (defun F (X) (F1 X))
+
+  (F X)
+  )

resources/tests/strict/cse_doesnt_dominate_superior_let_outside_in_defun.clsp

@@ -0,0 +1,16 @@
+(mod (X)
+  (include *standard-cl-23*)
+
+  ;; (+ X 1) should be an eliminated subexpression but it doesn't dominate the
+  ;; condition.
+  (defun F (X)
+    (let ((Z X))
+      (if X
+        (* (+ Z 1) (+ Z 1) (+ Z 1) (+ X 1) (+ X 1) (+ X 1))
+        17
+        )
+      )
+    )
+
+  (F X)
+  )

src/tests/classic/run.rs

@@ -2139,3 +2139,42 @@ fn test_cse_not_dominating_conditions_with_superior_let_outside_in_inline() {
         .to_string();
     assert_eq!(outcome, "0x5c13d840"); // 34 * 34 * 34 * 34 * 34 * 34
 }
+
+#[test]
+fn test_cse_not_dominating_conditions_with_superior_let_outside_in_defun() {
+    let program = do_basic_run(&vec![
+        "run".to_string(),
+        "resources/tests/strict/cse_doesnt_dominate_superior_let_outside_in_defun.clsp"
+            .to_string(),
+    ]);
+    let outcome = do_basic_brun(&vec!["brun".to_string(), program, "(33)".to_string()])
+        .trim()
+        .to_string();
+    assert_eq!(outcome, "0x5c13d840"); // 34 * 34 * 34 * 34 * 34 * 34
+}
+
+#[test]
+fn test_cse_not_dominating_conditions_with_superior_let_odi() {
+    let program = do_basic_run(&vec![
+        "run".to_string(),
+        "resources/tests/strict/cse_doesnt_dominate_superior_let_odi.clsp"
+            .to_string(),
+    ]);
+    let outcome = do_basic_brun(&vec!["brun".to_string(), program, "(33)".to_string()])
+        .trim()
+        .to_string();
+    assert_eq!(outcome, "0x5c13d840"); // 34 * 34 * 34 * 34 * 34 * 34
+}
+
+#[test]
+fn test_cse_not_dominating_conditions_with_superior_let_iodi() {
+    let program = do_basic_run(&vec![
+        "run".to_string(),
+        "resources/tests/strict/cse_doesnt_dominate_superior_let_iodi.clsp"
+            .to_string(),
+    ]);
+    let outcome = do_basic_brun(&vec!["brun".to_string(), program, "(33)".to_string()])
+        .trim()
+        .to_string();
+    assert_eq!(outcome, "0x5c13d840"); // 34 * 34 * 34 * 34 * 34 * 34
+}