summaryrefslogtreecommitdiff
path: root/powerpc
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-07-07 08:41:55 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-07-07 08:41:55 +0000
commit39027a6ea0446b45d2c8aee1eb0c256a6f0f7417 (patch)
tree93523618b9674f8070170d1ffb4e40a639ee6608 /powerpc
parenta0aaa3552d53b20a99566ac7116063fbb31b9964 (diff)
Bad printing of alignment on 'comm' symbols.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2291 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'powerpc')
-rw-r--r--powerpc/PrintAsm.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/PrintAsm.ml b/powerpc/PrintAsm.ml
index ab8b4f3..879d755 100644
--- a/powerpc/PrintAsm.ml
+++ b/powerpc/PrintAsm.ml
@@ -1144,7 +1144,7 @@ let print_var oc name v =
(if C2C.atom_is_static name then ".lcomm" else ".comm")
symbol name
(Z.to_string sz)
- (1 lsl align)
+ align
end
let print_globdef oc (name, gdef) =