aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/StructReturn.ml
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2015-09-21 17:49:22 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2015-09-21 17:49:22 +0200
commit3174d685154a1e0febf305d305fc79422a1adcd3 (patch)
tree185cbc49bea43ddb179bf372321aa0abc1f84348 /cparser/StructReturn.ml
parentbc1fbdd0baaab41aa048b3214ec71bb0cc04dfcc (diff)
downloadcompcert-3174d685154a1e0febf305d305fc79422a1adcd3.tar.gz
compcert-3174d685154a1e0febf305d305fc79422a1adcd3.zip
Removed unnecessary move register and use the correct register as base value for the rlwinm.
Diffstat (limited to 'cparser/StructReturn.ml')
0 files changed, 0 insertions, 0 deletions