Module SelectLongproof


Instruction selection for 64-bit integer operations

Require Import String Coqlib Maps Integers Floats Errors.
Require Archi.
Require Import AST Values Memory Globalenvs Events.
Require Import Cminor Op CminorSel.
Require Import SelectOp SelectOpproof SplitLong SplitLongproof.
Require Import SelectLong.

This file is empty because we use the default implementation provided in SplitLong.