diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-16 13:12:20 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-16 16:29:38 +0100 |
| commit | 1099583341e3a218accf80391202a7e5390f54cc (patch) | |
| tree | ea108305f673f6d8d65fdf4693116260133ff67e /driver/Configuration.ml | |
| parent | 455b3384f85a23923001741d6b04deb88e997fd2 (diff) | |
| download | compcert-kvx-1099583341e3a218accf80391202a7e5390f54cc.tar.gz compcert-kvx-1099583341e3a218accf80391202a7e5390f54cc.zip | |
Move struct passing/return style to Machine.
Since the used configuration for passing and returning values
struct values is pretty much static it can be hardwired into the
machine settings.
Diffstat (limited to 'driver/Configuration.ml')
0 files changed, 0 insertions, 0 deletions