{-# LANGUAGE
  MultiParamTypeClasses,
  TemplateHaskell,
  QuasiQuotes
  #-}
module LLVM.Internal.CallingConvention where

import LLVM.Prelude

import LLVM.Internal.Coding
import Foreign.C.Types (CUInt(..))

import qualified LLVM.Internal.FFI.LLVMCTypes as FFI
import LLVM.Internal.FFI.LLVMCTypes (callingConventionP)

import qualified LLVM.AST.CallingConvention as A.CC

instance Monad m => EncodeM m A.CC.CallingConvention FFI.CallingConvention where
  encodeM :: CallingConvention -> m CallingConvention
encodeM cc :: CallingConvention
cc = CallingConvention -> m CallingConvention
forall (m :: * -> *) a. Monad m => a -> m a
return (CallingConvention -> m CallingConvention)
-> CallingConvention -> m CallingConvention
forall a b. (a -> b) -> a -> b
$ 
        case CallingConvention
cc of
          A.CC.C -> CallingConvention
FFI.callingConventionC
          A.CC.Fast -> CallingConvention
FFI.callingConventionFast
          A.CC.Cold -> CallingConvention
FFI.callingConventionCold
          A.CC.GHC -> CallingConvention
FFI.callingConventionGHC
          A.CC.HiPE -> CallingConvention
FFI.callingConventionHiPE
          A.CC.WebKit_JS -> CallingConvention
FFI.callingConventionWebKit_JS
          A.CC.AnyReg -> CallingConvention
FFI.callingConventionAnyReg
          A.CC.PreserveMost -> CallingConvention
FFI.callingConventionPreserveMost
          A.CC.PreserveAll -> CallingConvention
FFI.callingConventionPreserveAll
          A.CC.Swift -> CallingConvention
FFI.callingConventionSwift
          A.CC.CXX_FastTLS -> CallingConvention
FFI.callingConventionCXX_FAST_TLS
          A.CC.X86_StdCall -> CallingConvention
FFI.callingConventionX86_StdCall
          A.CC.X86_FastCall -> CallingConvention
FFI.callingConventionX86_FastCall
          A.CC.ARM_APCS -> CallingConvention
FFI.callingConventionARM_APCS
          A.CC.ARM_AAPCS -> CallingConvention
FFI.callingConventionARM_AAPCS
          A.CC.ARM_AAPCS_VFP -> CallingConvention
FFI.callingConventionARM_AAPCS_VFP
          A.CC.MSP430_INTR -> CallingConvention
FFI.callingConventionMSP430_INTR
          A.CC.X86_ThisCall -> CallingConvention
FFI.callingConventionX86_ThisCall
          A.CC.PTX_Kernel -> CallingConvention
FFI.callingConventionPTX_Kernel
          A.CC.PTX_Device -> CallingConvention
FFI.callingConventionPTX_Device
          A.CC.SPIR_FUNC -> CallingConvention
FFI.callingConventionSPIR_FUNC
          A.CC.SPIR_KERNEL -> CallingConvention
FFI.callingConventionSPIR_KERNEL
          A.CC.Intel_OCL_BI -> CallingConvention
FFI.callingConventionIntel_OCL_BI
          A.CC.X86_64_SysV -> CallingConvention
FFI.callingConventionX86_64_SysV
          A.CC.Win64 -> CallingConvention
FFI.callingConventionWin64
          A.CC.X86_VectorCall -> CallingConvention
FFI.callingConventionX86_VectorCall
          A.CC.HHVM -> CallingConvention
FFI.callingConventionHHVM
          A.CC.HHVM_C -> CallingConvention
FFI.callingConventionHHVM_C
          A.CC.X86_Intr -> CallingConvention
FFI.callingConventionX86_INTR
          A.CC.AVR_Intr -> CallingConvention
FFI.callingConventionAVR_INTR
          A.CC.AVR_Signal -> CallingConvention
FFI.callingConventionAVR_SIGNAL
          A.CC.AVR_Builtin -> CallingConvention
FFI.callingConventionAVR_BUILTIN
          A.CC.AMDGPU_VS -> CallingConvention
FFI.callingConventionAMDGPU_VS
          A.CC.AMDGPU_HS -> CallingConvention
FFI.callingConventionAMDGPU_HS
          A.CC.AMDGPU_GS -> CallingConvention
FFI.callingConventionAMDGPU_GS
          A.CC.AMDGPU_PS -> CallingConvention
FFI.callingConventionAMDGPU_PS
          A.CC.AMDGPU_CS -> CallingConvention
FFI.callingConventionAMDGPU_CS
          A.CC.AMDGPU_Kernel -> CallingConvention
FFI.callingConventionAMDGPU_KERNEL
          A.CC.X86_RegCall -> CallingConvention
FFI.callingConventionX86_RegCall
          A.CC.MSP430_Builtin -> CallingConvention
FFI.callingConventionMSP430_BUILTIN
          A.CC.Numbered cc' :: Word32
cc' -> CUInt -> CallingConvention
FFI.CallingConvention (Word32 -> CUInt
forall a b. (Integral a, Num b) => a -> b
fromIntegral Word32
cc')

instance Monad m => DecodeM m A.CC.CallingConvention FFI.CallingConvention where
  decodeM :: CallingConvention -> m CallingConvention
decodeM cc :: CallingConvention
cc = CallingConvention -> m CallingConvention
forall (m :: * -> *) a. Monad m => a -> m a
return (CallingConvention -> m CallingConvention)
-> CallingConvention -> m CallingConvention
forall a b. (a -> b) -> a -> b
$ case CallingConvention
cc of
    [callingConventionP|C|] -> CallingConvention
A.CC.C
    [callingConventionP|Fast|] -> CallingConvention
A.CC.Fast
    [callingConventionP|Cold|] -> CallingConvention
A.CC.Cold
    [callingConventionP|GHC|] -> CallingConvention
A.CC.GHC
    [callingConventionP|HiPE|] -> CallingConvention
A.CC.HiPE
    [callingConventionP|WebKit_JS|] -> CallingConvention
A.CC.WebKit_JS
    [callingConventionP|AnyReg|] -> CallingConvention
A.CC.AnyReg
    [callingConventionP|PreserveMost|] -> CallingConvention
A.CC.PreserveMost
    [callingConventionP|PreserveAll|] -> CallingConvention
A.CC.PreserveAll
    [callingConventionP|Swift|] -> CallingConvention
A.CC.Swift
    [callingConventionP|CXX_FAST_TLS|] -> CallingConvention
A.CC.CXX_FastTLS
    [callingConventionP|X86_StdCall|] -> CallingConvention
A.CC.X86_StdCall
    [callingConventionP|X86_FastCall|] -> CallingConvention
A.CC.X86_FastCall
    [callingConventionP|ARM_APCS|] -> CallingConvention
A.CC.ARM_APCS
    [callingConventionP|ARM_AAPCS|] -> CallingConvention
A.CC.ARM_AAPCS
    [callingConventionP|ARM_AAPCS_VFP|] -> CallingConvention
A.CC.ARM_AAPCS_VFP
    [callingConventionP|MSP430_INTR|] -> CallingConvention
A.CC.MSP430_INTR
    [callingConventionP|X86_ThisCall|] -> CallingConvention
A.CC.X86_ThisCall
    [callingConventionP|PTX_Kernel|] -> CallingConvention
A.CC.PTX_Kernel
    [callingConventionP|PTX_Device|] -> CallingConvention
A.CC.PTX_Device
    [callingConventionP|SPIR_FUNC|] -> CallingConvention
A.CC.SPIR_FUNC
    [callingConventionP|SPIR_KERNEL|] -> CallingConvention
A.CC.SPIR_KERNEL
    [callingConventionP|Intel_OCL_BI|] -> CallingConvention
A.CC.Intel_OCL_BI
    [callingConventionP|X86_64_SysV|] -> CallingConvention
A.CC.X86_64_SysV
    [callingConventionP|Win64|] -> CallingConvention
A.CC.Win64
    [callingConventionP|X86_VectorCall|] -> CallingConvention
A.CC.X86_VectorCall
    [callingConventionP|HHVM|] -> CallingConvention
A.CC.HHVM
    [callingConventionP|HHVM_C|] -> CallingConvention
A.CC.HHVM_C
    [callingConventionP|X86_INTR|] -> CallingConvention
A.CC.X86_Intr
    [callingConventionP|AVR_INTR|] -> CallingConvention
A.CC.AVR_Intr
    [callingConventionP|AVR_SIGNAL|] -> CallingConvention
A.CC.AVR_Signal
    [callingConventionP|AVR_BUILTIN|] -> CallingConvention
A.CC.AVR_Builtin
    [callingConventionP|AMDGPU_VS|] -> CallingConvention
A.CC.AMDGPU_VS
    [callingConventionP|AMDGPU_HS|] -> CallingConvention
A.CC.AMDGPU_HS
    [callingConventionP|AMDGPU_GS|] -> CallingConvention
A.CC.AMDGPU_GS
    [callingConventionP|AMDGPU_PS|] -> CallingConvention
A.CC.AMDGPU_PS
    [callingConventionP|AMDGPU_CS|] -> CallingConvention
A.CC.AMDGPU_CS
    [callingConventionP|AMDGPU_KERNEL|] -> CallingConvention
A.CC.AMDGPU_Kernel
    [callingConventionP|X86_RegCall|] -> CallingConvention
A.CC.X86_RegCall
    [callingConventionP|MSP430_BUILTIN|] -> CallingConvention
A.CC.MSP430_Builtin
    FFI.CallingConvention (CUInt ci :: Word32
ci)
      | Word32
ci Word32 -> Word32 -> Bool
forall a. Ord a => a -> a -> Bool
>= 64 -> Word32 -> CallingConvention
A.CC.Numbered (Word32 -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral Word32
ci)
      | Bool
otherwise -> [Char] -> CallingConvention
forall a. HasCallStack => [Char] -> a
error ("Unknown calling convention: " [Char] -> [Char] -> [Char]
forall a. Semigroup a => a -> a -> a
<> Word32 -> [Char]
forall a. Show a => a -> [Char]
show Word32
ci)