From 670bb2d242f9a672c979dabfe16c826ce9f59d0a Mon Sep 17 00:00:00 2001 From: Roman Venediktov Date: Fri, 28 Jun 2024 00:22:44 +0200 Subject: [PATCH] Modified escaping for llvm assembly --- src/X86.ml | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/X86.ml b/src/X86.ml index 03eb4b821..a16cb74b7 100644 --- a/src/X86.ml +++ b/src/X86.ml @@ -1156,11 +1156,12 @@ class env prg = let buf = Buffer.create (n * 2) in let rec iterate i = if i < n then ( - (match x.[i] with - | '"' -> Buffer.add_string buf "\\\"" - | '\n' -> Buffer.add_string buf "\n" - | '\t' -> Buffer.add_string buf "\t" - | c -> Buffer.add_char buf c); + match x.[i] with + | '"' -> Buffer.add_string buf "\\\"" + | '\n' -> Buffer.add_string buf "\\n" + | '\t' -> Buffer.add_string buf "\\t" + | '\\' -> Buffer.add_string buf "\\\\" + | c -> Buffer.add_char buf c; iterate (i + 1)) in iterate 0;