aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/Asm.v
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2015-08-17 11:25:52 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2015-08-17 11:25:52 +0200
commitb1a7b024933140296c7f995d20ef840687949771 (patch)
tree028aa5d5aaf7ee946194bfff3125f509d4cfa004 /powerpc/Asm.v
parente46fa563d09371c74994957e260b7db14df9a7db (diff)
downloadcompcert-kvx-b1a7b024933140296c7f995d20ef840687949771.tar.gz
compcert-kvx-b1a7b024933140296c7f995d20ef840687949771.zip
Update clightgen w.r.t. teh calling_conventions record (new field cc_unproto).
Diffstat (limited to 'powerpc/Asm.v')
0 files changed, 0 insertions, 0 deletions