summaryrefslogtreecommitdiff
path: root/runtime/gen_domain_state64_inc.awk
diff options
context:
space:
mode:
authorKC Sivaramakrishnan <kc@kcsrk.info>2019-08-01 13:51:52 +0530
committerKC Sivaramakrishnan <kc@kcsrk.info>2019-08-23 09:50:05 +0530
commite96220a96ff6ac9b327db14821e9bbc2eff504aa (patch)
treef00c137273783ff4edea0cc21e0ef598967cfd18 /runtime/gen_domain_state64_inc.awk
parent29b53b1fad38091554a7fa25c34592b61bdee336 (diff)
downloadocaml-e96220a96ff6ac9b327db14821e9bbc2eff504aa.tar.gz
Simplify awk scripts, fix comments and signatures.
Diffstat (limited to 'runtime/gen_domain_state64_inc.awk')
-rw-r--r--runtime/gen_domain_state64_inc.awk18
1 files changed, 9 insertions, 9 deletions
diff --git a/runtime/gen_domain_state64_inc.awk b/runtime/gen_domain_state64_inc.awk
index 7e3e346c04..8280d4d19f 100644
--- a/runtime/gen_domain_state64_inc.awk
+++ b/runtime/gen_domain_state64_inc.awk
@@ -12,22 +12,22 @@
#* *
#**************************************************************************
-BEGIN{FS=",";count=0};
+BEGIN{FS="[,)] *";count=0};
/DOMAIN_STATE/{
- print "Store_" substr($2,2,length($2)-2) " MACRO reg";
+ print "Store_" $2 " MACRO reg";
print " mov [r14+" count "], reg";
print "ENDM";
- print "Load_" substr($2,2,length($2)-2) " MACRO reg";
+ print "Load_" $2 " MACRO reg";
print " mov reg, [r14+" count "]";
print "ENDM";
- print "Push_" substr($2,2, length($2)-2) " MACRO";
- print " push [r14 + " count "]";
+ print "Push_" $2 " MACRO";
+ print " push [r14+" count "]";
print "ENDM";
- print "Pop_" substr($2, 2, length($2)-2) " MACRO";
- print " pop [r14 + " count "]";
+ print "Pop_" $2 " MACRO";
+ print " pop [r14+" count "]";
print "ENDM";
- print "Cmp_" substr($2, 2, length($2)-2) " MACRO reg";
- print " cmp reg, [r14 + " count "]";
+ print "Cmp_" $2 " MACRO reg";
+ print " cmp reg, [r14+" count "]";
print "ENDM";
count+=8
}