cs: fix optimizer bug

An optimization pass used mostly for inlining did not reqcognize
`quote`, and it could replace a quoted name with a constant-propagated
value.

Closes #3339

pkgs/racket-test-core/tests/racket/module.rktl

@@ -3342,4 +3342,21 @@ case of module-leve bindings; it doesn't cover local bindings.
 
 ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
+(module regression-test-for-cross-module-inline-quoted-identifier  racket/base
+  (module a racket/base
+    (provide FOUNDING)
+    (define-values (FOUNDING) 'FOUNDING))
+
+  (module b racket/base
+    (require (submod ".." a))
+    (define (f x_2) (eq? x_2 'FOUNDING)) ; quoted `FOUNDING` should not get replaced
+    (if (f FOUNDING) FOUNDING (raise-user-error 'die)))
+
+  (require (submod "." b)))
+
+(parameterize ([current-output-port (open-output-bytes)])
+  (dynamic-require ''regression-test-for-cross-module-inline-quoted-identifier #f))
+
+;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
 (report-errs)

racket/src/cs/convert.rkt

@@ -345,7 +345,8 @@
                           (hash-map k
                                     (lambda (k v)
                                       (list `(quote ,k)
-                                            `(quote ,v))))))]
+                                            `(quote ,v)))
+                                    #t)))]
               [(pair? k)
                `(cons ,(loop (car k)) ,(loop (cdr k)))]
               [(keyword? k)