allow for pure function call removal optimization

2 files changed, 10 insertions, 0 deletions

diff --git a/test/src/comp-test-funcs.el b/test/src/comp-test-funcs.el
index ca604b748f3..20d15ac0e7a 100644
--- a/test/src/comp-test-funcs.el
+++ b/test/src/comp-test-funcs.el
@@ -252,6 +252,11 @@
 (defun comp-tests-signal-f ()
   (signal 'foo t))
 
+(defun comp-tests-func-call-removal-f ()
+  (let ((a 10)
+        (b 3))
+    (% a b)))
+
 
 ;;;;;;;;;;;;;;;;;;;;
 ;; Tromey's tests ;;
diff --git a/test/src/comp-tests.el b/test/src/comp-tests.el
index 0a1d45724fa..b008dbd574e 100644
--- a/test/src/comp-tests.el
+++ b/test/src/comp-tests.el
@@ -317,6 +317,11 @@ Check that the resulting binaries do not differ."
                      (comp-tests-signal-f)
                    (t err))
                  '(foo . t))))
+
+(ert-deftest comp-tests-func-call-removal ()
+  ;; See `comp-propagate-insn' `comp-function-call-remove'.
+  (should (= (comp-tests-func-call-removal-f) 1)))
+
 
 ;;;;;;;;;;;;;;;;;;;;
 ;; Tromey's tests ;;