diff --git a/ghc/driver/Main.hs b/ghc/driver/Main.hs
index e3a3bc5cd33ad393921264d0e80835dd19cf3eee..6c982ad872c54ce4a9087e61a465855f4c3b000f 100644
--- a/ghc/driver/Main.hs
+++ b/ghc/driver/Main.hs
@@ -1123,7 +1123,8 @@ run_pipeline last_phase do_linking use_ofile orig_basename (phase, input_fn)
 	  case phase of
 		Hsc -> case lang of
 		 	    HscC   -> HCc
-			    HscAsm -> As
+			    HscAsm | split     -> SplitMangle
+				   | otherwise -> As
 
 		HCc  | mangle    -> Mangle
 		     | otherwise -> As