Skip to content

Latest commit

 

History

History

midend

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
CMakeLists.txt
CMakeLists.txt
 
 
README.md
README.md
 
 
actionSynthesis.cpp
actionSynthesis.cpp
 
 
actionSynthesis.h
actionSynthesis.h
 
 
booleanKeys.cpp
booleanKeys.cpp
 
 
booleanKeys.h
booleanKeys.h
 
 
checkExternInvocationCommon.h
checkExternInvocationCommon.h
 
 
checkSize.h
checkSize.h
 
 
compileTimeOps.h
compileTimeOps.h
 
 
complexComparison.cpp
complexComparison.cpp
 
 
complexComparison.h
complexComparison.h
 
 
convertEnums.cpp
convertEnums.cpp
 
 
convertEnums.h
convertEnums.h
 
 
convertErrors.cpp
convertErrors.cpp
 
 
convertErrors.h
convertErrors.h
 
 
copyStructures.cpp
copyStructures.cpp
 
 
copyStructures.h
copyStructures.h
 
 
coverage.cpp
coverage.cpp
 
 
coverage.h
coverage.h
 
 
eliminateInvalidHeaders.cpp
eliminateInvalidHeaders.cpp
 
 
eliminateInvalidHeaders.h
eliminateInvalidHeaders.h
 
 
eliminateNewtype.cpp
eliminateNewtype.cpp
 
 
eliminateNewtype.h
eliminateNewtype.h
 
 
eliminateSerEnums.cpp
eliminateSerEnums.cpp
 
 
eliminateSerEnums.h
eliminateSerEnums.h
 
 
eliminateSwitch.cpp
eliminateSwitch.cpp
 
 
eliminateSwitch.h
eliminateSwitch.h
 
 
eliminateTuples.cpp
eliminateTuples.cpp
 
 
eliminateTuples.h
eliminateTuples.h
 
 
eliminateTypedefs.cpp
eliminateTypedefs.cpp
 
 
eliminateTypedefs.h
eliminateTypedefs.h
 
 
expandEmit.cpp
expandEmit.cpp
 
 
expandEmit.h
expandEmit.h
 
 
expandLookahead.cpp
expandLookahead.cpp
 
 
expandLookahead.h
expandLookahead.h
 
 
expr_uses.h
expr_uses.h
 
 
fillEnumMap.cpp
fillEnumMap.cpp
 
 
fillEnumMap.h
fillEnumMap.h
 
 
flattenHeaders.cpp
flattenHeaders.cpp
 
 
flattenHeaders.h
flattenHeaders.h
 
 
flattenInterfaceStructs.cpp
flattenInterfaceStructs.cpp
 
 
flattenInterfaceStructs.h
flattenInterfaceStructs.h
 
 
flattenLogMsg.cpp
flattenLogMsg.cpp
 
 
flattenLogMsg.h
flattenLogMsg.h
 
 
flattenUnions.cpp
flattenUnions.cpp
 
 
flattenUnions.h
flattenUnions.h
 
 
global_copyprop.cpp
global_copyprop.cpp
 
 
global_copyprop.h
global_copyprop.h
 
 
has_side_effects.h
has_side_effects.h
 
 
hsIndexSimplify.cpp
hsIndexSimplify.cpp
 
 
hsIndexSimplify.h
hsIndexSimplify.h
 
 
interpreter.cpp
interpreter.cpp
 
 
interpreter.h
interpreter.h
 
 
local_copyprop.cpp
local_copyprop.cpp
 
 
local_copyprop.h
local_copyprop.h
 
 
midEndLast.h
midEndLast.h
 
 
nestedStructs.cpp
nestedStructs.cpp
 
 
nestedStructs.h
nestedStructs.h
 
 
noMatch.cpp
noMatch.cpp
 
 
noMatch.h
noMatch.h
 
 
orderArguments.cpp
orderArguments.cpp
 
 
orderArguments.h
orderArguments.h
 
 
parserUnroll.cpp
parserUnroll.cpp
 
 
parserUnroll.h
parserUnroll.h
 
 
predication.cpp
predication.cpp
 
 
predication.h
predication.h
 
 
removeAssertAssume.cpp
removeAssertAssume.cpp
 
 
removeAssertAssume.h
removeAssertAssume.h
 
 
removeComplexExpressions.cpp
removeComplexExpressions.cpp
 
 
removeComplexExpressions.h
removeComplexExpressions.h
 
 
removeExits.cpp
removeExits.cpp
 
 
removeExits.h
removeExits.h
 
 
removeLeftSlices.cpp
removeLeftSlices.cpp
 
 
removeLeftSlices.h
removeLeftSlices.h
 
 
removeMiss.cpp
removeMiss.cpp
 
 
removeMiss.h
removeMiss.h
 
 
removeSelectBooleans.cpp
removeSelectBooleans.cpp
 
 
removeSelectBooleans.h
removeSelectBooleans.h
 
 
removeUnusedParameters.cpp
removeUnusedParameters.cpp
 
 
removeUnusedParameters.h
removeUnusedParameters.h
 
 
replaceSelectRange.cpp
replaceSelectRange.cpp
 
 
replaceSelectRange.h
replaceSelectRange.h
 
 
saturationElim.cpp
saturationElim.cpp
 
 
saturationElim.h
saturationElim.h
 
 
simplifyBitwise.cpp
simplifyBitwise.cpp
 
 
simplifyBitwise.h
simplifyBitwise.h
 
 
simplifyKey.cpp
simplifyKey.cpp
 
 
simplifyKey.h
simplifyKey.h
 
 
simplifySelectCases.cpp
simplifySelectCases.cpp
 
 
simplifySelectCases.h
simplifySelectCases.h
 
 
simplifySelectList.cpp
simplifySelectList.cpp
 
 
simplifySelectList.h
simplifySelectList.h
 
 
singleArgumentSelect.cpp
singleArgumentSelect.cpp
 
 
singleArgumentSelect.h
singleArgumentSelect.h
 
 
tableHit.cpp
tableHit.cpp
 
 
tableHit.h
tableHit.h
 
 
validateProperties.cpp
validateProperties.cpp
 
 
validateProperties.h
validateProperties.h
 
 

README.md

This folder contains passes which may be useful for implementing various mid-ends. These are linked as part of the front-end library. These passes are not used in the front-end, but are still largely architecture-independent.