Previous  Up  Next

Module IntPromotionOracle

module IntPromotionOracle: sig .. end

Oracle to promote integers into long (RISC-V only)

val int_promotion_oracle : BTL.code ->
       RTL.node -> Registers.reg list -> BTL.code * BTL_Invariants.gluemap