To protect your data, the CISO officer has suggested users to enable GitLab 2FA as soon as possible.

Commit 5a41c4df authored by nathyong's avatar nathyong
Browse files

Fix minor type issues regarding references

parent cbad728e
......@@ -108,8 +108,8 @@ instance Binary Bundle
data Definition
= TypeDefinition TypedefName Type
| SignatureDefinition SignatureName [Type] [Type]
| FunctionDefinition FunctionName Version SignatureName [BasicBlock]
| SignatureDefinition SignatureName [TypedefName] [TypedefName]
| FunctionDefinition FunctionName Version SignatureName BasicBlock [BasicBlock]
| Constant ConstantName TypedefName ConstConstructor
| GlobalCell GlobalCellName TypedefName
| ExposedFunction ExposeName FunctionName CallConvention CookieName
......@@ -129,7 +129,8 @@ instance HasName Definition where
toName = Name . nameOf
data ConstConstructor = IntCtor Integer
| FloatCtor Rational
| FloatCtor Float
| DoubleCtor Double
| ListCtor [ConstConstructor]
| NullCtor
| ExternCtor ByteString
......@@ -600,57 +601,46 @@ data Expression
, storeNewVal :: VarName
-- | Optional exception clause
, storeExecClause :: Maybe ExceptionClause}
| ExtractValueS { structExtractType :: TypedefName
| ExtractValue { structExtractType :: TypedefName
, structExtractIndex :: Int
, structExtractStruct :: VarName
, structExtractExecClause :: Maybe ExceptionClause}
| InsertValueS { structInsertType :: TypedefName
, structExtractStruct :: VarName}
| InsertValue { structInsertType :: TypedefName
, structInsertIndex :: Int
, structInsertStruct :: VarName
, structInsertNewVal :: VarName
, structInsertExecClause :: Maybe ExceptionClause}
| ExtractValue { arrExtractType :: TypedefName
, structInsertNewVal :: VarName}
| ExtractElement { arrExtractType :: TypedefName
, arrExtractIndexType :: TypedefName
, arrExtractOpnd :: VarName
, arrExtractIndex :: VarName
, arrExtractExecClause :: Maybe ExceptionClause}
| InsertValue { arrInsertType :: TypedefName
, arrExtractIndex :: VarName}
| InsertElement { arrInsertType :: TypedefName
, arrInsertIndexType :: TypedefName
, arrInsertOpnd :: VarName
, arrInsertIndex :: VarName
, arrInsertNewVal :: VarName
, arrInsertExecClause :: Maybe ExceptionClause}
, arrInsertNewVal :: VarName}
| ShuffleVector { arrShuffleV1Type :: TypedefName
, arrShuffleV2Type :: TypedefName
, arrShuffleV1 :: VarName
, arrShuffleV2 :: VarName
, arrShuffleMask :: VarName
, arrShuffleExecClause :: Maybe ExceptionClause}
, arrShuffleMask :: VarName}
| GetIRef { getIRefType :: TypedefName
, getIRefOpnd :: VarName
, getIRefExecClause :: Maybe ExceptionClause}
, getIRefOpnd :: VarName}
| GetFieldIRef { getFieldIRefPtr :: Bool
, getFieldIRefTypeOpnd :: TypedefName
, getFieldIRefIndex :: Int
, getFieldIRefOpnd :: VarName
, getFieldIRefExecClause :: Maybe ExceptionClause}
, getFieldIRefOpnd :: VarName}
| GetElemIRef { getElemIRefPtr :: Bool
, getElemIRefTypeOpnd :: TypedefName
, getElemIRefTypeIndex :: TypedefName
, getElemIRefOpnd :: VarName
, getElemIRefIndex :: VarName
, getElemIRefExecClause :: Maybe ExceptionClause}
, getElemIRefIndex :: VarName}
| ShiftIRef { shiftIRefPtr :: Bool
, shiftIRefTypeOpnd :: TypedefName
, shiftIRefTypeIndex :: TypedefName
, shiftIRefOpnd :: VarName
, shiftIRefOffset :: VarName
, shiftIRefExecClause :: Maybe ExceptionClause}
, shiftIRefOffset :: VarName}
| GetVarPartIRef { getVarPartIRefPtr :: Bool
, getVarPartIRefTypeOpnd :: TypedefName
, getVarPartIRefOpnd :: VarName
, getVarPartIRefExecClause :: Maybe ExceptionClause}
| Comment { commentVal :: String}
, getVarPartIRefOpnd :: VarName}
deriving (Generic)
instance Binary Expression
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment