├── .gitignore ├── CMakeLists.txt ├── LICENSE ├── LICENSE.mit ├── README.md ├── include ├── CMakeLists.txt └── revng-c │ ├── Backend │ ├── DecompileFunction.h │ ├── DecompilePipe.h │ ├── DecompileToDirectoryPipe.h │ ├── DecompileToSingleFile.h │ ├── DecompileToSingleFilePipe.h │ └── DecompiledCCodeIndentation.h │ ├── CMakeLists.txt │ ├── DataLayoutAnalysis │ ├── DLALayouts.h │ ├── DLAPass.h │ └── DLATypeSystem.h │ ├── HeadersGeneration │ ├── Options.h │ └── PTMLHeaderBuilder.h │ ├── InitModelTypes │ └── InitModelTypes.h │ ├── PromoteStackPointer │ ├── CleanupStackSizeMarkersPass.h │ ├── ComputeStackAccessesBoundsPass.h │ ├── DetectStackSizePass.h │ ├── InjectStackSizeProbesAtCallSitesPass.h │ ├── InstrumentStackAccessesPass.h │ ├── PromoteStackPointerPass.h │ ├── RemoveStackAlignmentPass.h │ └── SegregateStackAccessesPass.h │ ├── RemoveExtractValues │ └── RemoveExtractValuesPass.h │ ├── RestructureCFG │ ├── ASTNode.h │ ├── ASTNodeUtils.h │ ├── ASTTree.h │ ├── BasicBlockNode.h │ ├── BasicBlockNodeBB.h │ ├── BasicBlockNodeImpl.h │ ├── BeautifyGHAST.h │ ├── ExprNode.h │ ├── GenerateAst.h │ ├── GenericRegion.h │ ├── GenericRegionInfo.h │ ├── GenericRegionPass.h │ ├── MetaRegion.h │ ├── MetaRegionBB.h │ ├── MetaRegionImpl.h │ ├── RegionCFGTree.h │ ├── RegionCFGTreeBB.h │ ├── RegionCFGTreeImpl.h │ ├── RestructureCFG.h │ └── Utils.h │ ├── Support │ ├── Annotations.h │ ├── DecompilationHelpers.h │ ├── ModelHelpers.h │ ├── PTML.h │ ├── PTMLC.h │ └── TokenDefinitions.h │ ├── TypeNames │ ├── DependencyGraph.h │ ├── LLVMTypeNames.h │ └── PTMLCTypeBuilder.h │ └── mlir │ ├── CMakeLists.txt │ ├── Dialect │ ├── CMakeLists.txt │ └── Clift │ │ ├── CMakeLists.txt │ │ ├── IR │ │ ├── CMakeLists.txt │ │ ├── Clift.h │ │ ├── Clift.td │ │ ├── CliftAttributes.h │ │ ├── CliftAttributes.td │ │ ├── CliftEnums.h │ │ ├── CliftEnums.td │ │ ├── CliftInterfaces.h │ │ ├── CliftInterfaces.td │ │ ├── CliftOpInterfaces.h │ │ ├── CliftOpInterfaces.td │ │ ├── CliftOpTraits.h │ │ ├── CliftOpTraits.td │ │ ├── CliftOps.h │ │ ├── CliftOps.td │ │ ├── CliftTypes.h │ │ └── CliftTypes.td │ │ ├── Transforms │ │ ├── CMakeLists.txt │ │ ├── ModelOption.h │ │ ├── Passes.h │ │ └── Passes.td │ │ └── Utils │ │ ├── Helpers.h │ │ └── ImportModel.h │ └── Pipes │ └── MLIRContainer.h ├── lib ├── Backend │ ├── ALAPVariableDeclaration.cpp │ ├── ALAPVariableDeclaration.h │ ├── CMakeLists.txt │ ├── DecompileFunction.cpp │ ├── DecompilePipe.cpp │ ├── DecompileToDirectoryPipe.cpp │ ├── DecompileToSingleFile.cpp │ └── DecompileToSingleFilePipe.cpp ├── CMakeLists.txt ├── Canonicalize │ ├── CMakeLists.txt │ ├── ExitSSAPass.cpp │ ├── FoldModelGEP.cpp │ ├── HoistStructPhis.cpp │ ├── ImplicitModelCastPass.cpp │ ├── LoopRewriteWithCanonicalIV.cpp │ ├── MakeLocalVariables.cpp │ ├── MakeModelCastPass.cpp │ ├── MakeModelGEPPass.cpp │ ├── OperatorPrecedenceResolutionPass.cpp │ ├── PeepholeOptimizationPass.cpp │ ├── PrepareLLVMIRForMLIR.cpp │ ├── PrettyIntFormattingPass.cpp │ ├── RemoveBrokenDebugInformation.cpp │ ├── RemoveLLVMAssumeCallsPass.cpp │ ├── RemoveLoadStore.cpp │ ├── RemovePointerCasts.cpp │ ├── SimplifySwitchPass.cpp │ ├── SplitOverflowIntrinsicsPass.cpp │ ├── SwitchToStatements.cpp │ ├── TernaryReductionPass.cpp │ └── TwosComplementArithmeticNormalizationPass.cpp ├── DataLayoutAnalysis │ ├── Backend │ │ ├── DLAMakeModelTypes.cpp │ │ ├── DLAMakeModelTypes.h │ │ └── DLAUpdateModelTypes.cpp │ ├── CMakeLists.txt │ ├── DLAPass.cpp │ ├── DLATypeSystem.cpp │ ├── Frontend │ │ ├── DLACreateInterProceduralTypes.cpp │ │ ├── DLACreateIntraProceduralTypes.cpp │ │ ├── DLATypeSystemBuilder.cpp │ │ ├── DLATypeSystemBuilder.h │ │ ├── SCEVBaseAddressExplorer.cpp │ │ └── SCEVBaseAddressExplorer.h │ ├── FuncOrCallInst.cpp │ ├── FuncOrCallInst.h │ └── Middleend │ │ ├── ArrangeAccessesHierarchically.cpp │ │ ├── CollapseSCC.cpp │ │ ├── CompactCompatibleArrays.cpp │ │ ├── DLACollapseSingleChild.cpp │ │ ├── DLAComputeNonInterferingComponents.cpp │ │ ├── DLAComputeUpperMemberAccess.cpp │ │ ├── DLAPruneLayoutNodesWithoutLayout.cpp │ │ ├── DLAStep.cpp │ │ ├── DLAStep.h │ │ ├── DecomposeStridedEdges.cpp │ │ ├── DeduplicateFields.cpp │ │ ├── FieldSizeComputation.cpp │ │ ├── FieldSizeComputation.h │ │ ├── MergePointeesOfPointerUnion.cpp │ │ ├── MergePointerNodes.cpp │ │ ├── PushDownPointers.cpp │ │ ├── RemoveBackedges.cpp │ │ ├── RemoveBackedges.h │ │ ├── RemoveInvalidPointers.cpp │ │ ├── RemoveInvalidStrideEdges.cpp │ │ ├── ResolveLeafUnions.cpp │ │ └── SimplifyInstanceAtOffset0.cpp ├── HeadersGeneration │ ├── CMakeLists.txt │ ├── HelpersToHeader.cpp │ ├── HelpersToHeaderPipe.cpp │ ├── ModelToHeader.cpp │ ├── ModelToHeaderPipe.cpp │ ├── ModelTypeDefinitionPipe.cpp │ └── Options.cpp ├── ImportFromC │ ├── CMakeLists.txt │ ├── HeaderToModel.cpp │ ├── HeaderToModel.h │ ├── ImportFromCAnalysis.cpp │ ├── ImportFromCAnalysis.h │ └── ImportFromCHelpers.h ├── InitModelTypes │ ├── CMakeLists.txt │ └── InitModelTypes.cpp ├── PromoteStackPointer │ ├── CMakeLists.txt │ ├── CleanupStackSizeMarkersPass.cpp │ ├── ComputeStackAccessesBoundsPass.cpp │ ├── DetectStackSizePass.cpp │ ├── Helpers.h │ ├── InjectStackSizeProbesAtCallSitesPass.cpp │ ├── InstrumentStackAccessesPass.cpp │ ├── PromoteStackPointerPass.cpp │ ├── RemoveStackAlignmentPass.cpp │ └── SegregateStackAccessesPass.cpp ├── RemoveExtractValues │ ├── CMakeLists.txt │ └── RemoveExtractValuesPass.cpp ├── RemoveLiftingArtifacts │ ├── CMakeLists.txt │ ├── CleanupIRPass.cpp │ ├── MakeSegmentRefPass.cpp │ ├── MakeSegmentRefPass.h │ ├── MakeSegmentRefPipe.cpp │ ├── PromoteInitCSVToUndef.cpp │ └── RemoveLiftingArtifacts.cpp ├── RestructureCFG │ ├── ASTNode.cpp │ ├── ASTNodeUtils.cpp │ ├── ASTTree.cpp │ ├── BasicBlockNode.cpp │ ├── BeautifyGHAST.cpp │ ├── CMakeLists.txt │ ├── ExprNode.cpp │ ├── FallThroughScopeAnalysis.cpp │ ├── FallThroughScopeAnalysis.h │ ├── GenericRegionInfo.cpp │ ├── GenericRegionPass.cpp │ ├── InlineDispatcherSwitch.cpp │ ├── InlineDispatcherSwitch.h │ ├── MetaRegion.cpp │ ├── PromoteCallNoReturn.cpp │ ├── PromoteCallNoReturn.h │ ├── RegionCFGTree.cpp │ ├── RemoveDeadCode.cpp │ ├── RemoveDeadCode.h │ ├── RestructureCFG.cpp │ ├── SimplifyCompareNode.cpp │ ├── SimplifyCompareNode.h │ ├── SimplifyDualSwitch.cpp │ ├── SimplifyDualSwitch.h │ ├── SimplifyHybridNot.cpp │ ├── SimplifyHybridNot.h │ ├── SimplifyImplicitStatement.cpp │ └── SimplifyImplicitStatement.h ├── Support │ ├── CMakeLists.txt │ ├── ModelHelpers.cpp │ └── SimplifyCFGWithHoistAndSinkPass.cpp ├── TypeNames │ ├── CMakeLists.txt │ ├── DependencyGraph.cpp │ ├── LLVMTypeNames.cpp │ ├── ModelTypeNames.cpp │ └── TypePrinters.cpp └── mlir │ ├── CMakeLists.txt │ ├── Dialect │ ├── CMakeLists.txt │ └── Clift │ │ ├── CMakeLists.txt │ │ ├── IR │ │ ├── CMakeLists.txt │ │ ├── Clift.cpp │ │ ├── CliftAttributes.cpp │ │ ├── CliftEnums.cpp │ │ ├── CliftInterfaces.cpp │ │ ├── CliftOpInterfaces.cpp │ │ ├── CliftOpTraits.cpp │ │ ├── CliftOps.cpp │ │ ├── CliftParser.cpp │ │ ├── CliftParser.h │ │ ├── CliftStorage.h │ │ └── CliftTypes.cpp │ │ ├── Transforms │ │ ├── CMakeLists.txt │ │ └── ModelOption.cpp │ │ └── Utils │ │ ├── CMakeLists.txt │ │ └── ImportModel.cpp │ └── Pipes │ ├── CMakeLists.txt │ ├── ImportCliftTypesPipe.cpp │ ├── ImportLLVMToMLIRPipe.cpp │ └── MLIRContainer.cpp ├── libexec └── revng │ └── check-decompiled-c ├── share ├── revng-c │ ├── compile-flags.cfg │ └── include │ │ ├── attributes.h │ │ └── primitive-types.h └── revng │ ├── cmake │ └── revngcConfig.cmake │ ├── pipelines │ └── revng-c-pipelines.yml │ └── test │ ├── configuration │ └── revng-c │ │ ├── daemon.yml │ │ ├── decompilation.yml │ │ ├── detect-stack-size.yml │ │ ├── docs.yml │ │ ├── end-to-end.yml │ │ ├── import-from-c.yml │ │ ├── model-to-header.yml │ │ ├── name-collisions.yml │ │ ├── precedence-tests.yml │ │ ├── runtime-segregation-tests.yml │ │ ├── segregate-stack-accesses.yml │ │ └── simplify-switch.yml │ └── tests │ ├── analysis │ ├── CollectCFG │ │ └── x86_64 │ │ │ └── switch-jump-table.S.filecheck │ ├── Decompilation │ │ ├── clang │ │ │ ├── linked-lists.c.filecheck │ │ │ └── linked-lists.c.model.yml │ │ └── x86-64 │ │ │ ├── dual-case-switch.c.filecheck │ │ │ ├── dual-case-switch.c.model.yml │ │ │ ├── pretty-ints.c.filecheck │ │ │ ├── pretty-ints.c.model.yml │ │ │ ├── reduce-c-casts.c.filecheck │ │ │ ├── reduce-c-casts.c.model.yml │ │ │ ├── segments-and-sections.c.filecheck │ │ │ └── segments-and-sections.c.model.yml │ ├── DetectStackSize │ │ └── dynamic_native │ │ │ ├── memcpy-from-stack-arguments.c.model.yml │ │ │ └── stackframe.c.model.yml │ ├── ImportFromCAnalysis │ │ ├── cft-with-an-unknown-abi │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── cft-with-complex-arguments │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── cft-with-no-abi │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── cft │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── enum-with-a-broken-annotation │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── enum-with-a-non-primitive-underlying-type │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── enum-with-a-void-underlying-type │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── enum-without-an-annotation │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── enum │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── primitives │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft-with-a-misplaced-stack-argument │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft-with-a-non-struct-stack-argument │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft-with-a-register-stack-argument │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft-with-a-stack-return-value │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft-with-a-stack │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft-with-an-unannotated-argument │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft-with-an-unannotated-return-value │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft-with-an-unknown-architecture │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft-with-an-unknown-argument-register │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft-with-an-unknown-return-value-register │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft-with-multiple-return-values │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── rft │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-a-broken-annotation │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-a-broken-field │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-a-forbidden-type │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-a-rare-type │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-a-typo │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-an-unsupported-field │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-code │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-conflicting-annotations │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-conflicting-padding-information │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-conflicting-padding │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-explicit-padding │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-with-overlapping-fields │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct-without-the-packed-attribute │ │ │ ├── edit.c │ │ │ ├── expected-error.txt │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── struct │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ ├── typedef │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ │ └── union │ │ │ ├── check-against.yml │ │ │ ├── edit.c │ │ │ ├── input-model.yml │ │ │ └── type-to-edit.location │ └── SegregateStackAccesses │ │ └── dynamic_native │ │ ├── segregate.c.filecheck.ll │ │ └── segregate.c.override.yml │ ├── c-operator-precedence │ └── precedence.c.filecheck │ ├── model-to-header │ ├── annotate-attibutes.model.yml │ ├── annotate-attibutes.model.yml.filecheck │ ├── do-not-generate-struct-for-stack-type.h.model.yml │ ├── do-not-generate-struct-for-stack-type.h.model.yml.filecheck │ ├── do-not-inline-types-pointing-to-itself.h.model.yml │ ├── do-not-inline-types-pointing-to-itself.h.model.yml.filecheck │ ├── do-not-inline-used-stack-type.h.model.yml │ ├── do-not-inline-used-stack-type.h.model.yml.filecheck │ ├── inline-complex-struct.h.model.yml │ ├── inline-complex-struct.h.model.yml.filecheck │ ├── inline-enum.h.model.yml │ ├── inline-enum.h.model.yml.filecheck │ ├── inline-struct.h.model.yml │ ├── inline-struct.h.model.yml.filecheck │ ├── inline-union.h.model.yml │ ├── inline-union.h.model.yml.filecheck │ ├── pointer-to-struct.h.model.yml │ ├── pointer-to-struct.h.model.yml.filecheck │ ├── primitive-types.h.model.yml │ ├── primitive-types.h.model.yml.filecheck │ ├── struct.h.model.yml │ ├── struct.h.model.yml.filecheck │ ├── union.h.model.yml │ └── union.h.model.yml.filecheck │ └── name-collisions │ ├── custom-collision-suffix │ ├── expected-header.txt │ └── input-model.yml │ ├── custom-generated-name-prefix │ ├── expected-header.txt │ └── input-model.yml │ ├── global-name-collision │ ├── expected-header.txt │ └── input-model.yml │ ├── local-name-collision-with-global │ ├── expected-header.txt │ └── input-model.yml │ ├── local-name-collision-with-local │ ├── expected-header.txt │ └── input-model.yml │ ├── multi-level-collision │ ├── expected-header.txt │ └── input-model.yml │ └── no-collisions │ ├── expected-header.txt │ └── input-model.yml ├── tests ├── CMakeLists.txt └── unit │ ├── CMakeLists.txt │ ├── Clift.cpp │ ├── CliftType.cpp │ ├── CombingPass.cpp │ ├── DLAStepManager.cpp │ ├── DLASteps.cpp │ ├── PointerArrayEmission.cpp │ ├── TestGraphs │ ├── simple.dot │ └── trivial.dot │ ├── llvm_lit_tests │ ├── CMakeLists.txt │ ├── Example.ll │ ├── GenericRegion.ll │ ├── OperatorPrecedenceResolutionPass.ll │ ├── RemoveExtractValues.ll │ ├── TernaryReduction.ll │ ├── TwosComplementArithmeticNormalization.ll │ ├── lit.cfg.py │ ├── lit.site.cfg.py.in │ └── peephole-optimization-for-decompilation.ll │ └── mlir_lit_tests │ ├── CMakeLists.txt │ ├── ParseCliftTypes.mlir │ ├── ParseRecursiveStructs.mlir │ ├── __init__.py │ ├── expressions │ ├── addressof-immediate.mlir │ ├── addressof-indirection.mlir │ ├── addressof-local-variable.mlir │ ├── addressof-lvalue-object-access.mlir │ ├── addressof-pointer-access.mlir │ ├── addressof-rvalue-object-access.mlir │ ├── addressof-subscript.mlir │ ├── arithmetic-add.mlir │ ├── arithmetic-neg.mlir │ ├── arithmetic-shl.mlir │ ├── arithmetic.mlir │ ├── assign-const-local-variable.mlir │ ├── assign-function-parameter.mlir │ ├── assign-immediate.mlir │ ├── assign-local-variable.mlir │ ├── call-directly-recursive.mlir │ ├── call-function-pointer.mlir │ ├── call-global-function.mlir │ ├── call-non-function-1.mlir │ ├── call-non-function-2.mlir │ ├── call-nonexistent-global-function.mlir │ ├── call-with-extra-arguments.mlir │ ├── call-with-missing-arguments.mlir │ ├── call-with-wrong-argument-types.mlir │ ├── call-with-wrong-return-type.mlir │ ├── call.mlir │ ├── cast-decay-array.mlir │ ├── cast-decay-function.mlir │ ├── cast-decay-int.mlir │ ├── cast-extend-i16-to-u32.mlir │ ├── cast-extend-i32-to-i32.mlir │ ├── cast-extend.mlir │ ├── cast-reinterpret-i16-to-132.mlir │ ├── cast-reinterpret-p16-to-p32.mlir │ ├── cast-reinterpret.mlir │ ├── cast-truncate-i32-to-i32.mlir │ ├── cast-truncate-i32-to-u16.mlir │ ├── cast-truncate.mlir │ ├── increment-const-local-variable.mlir │ ├── increment-immediate.mlir │ ├── increment-local-variable.mlir │ ├── object-access-of-wrong-type.mlir │ ├── object-access-out-of-range.mlir │ ├── use-global-variable.mlir │ └── use-nonexistent-global-variable.mlir │ ├── lit.cfg.py │ ├── lit.site.cfg.py.in │ ├── model-import │ ├── ArrayType.yml │ ├── CABIFunctionType1.yml │ ├── CABIFunctionType2.yml │ ├── EnumType.yml │ ├── RawFunctionType1.yml │ ├── RawFunctionType2.yml │ ├── RawFunctionType3.yml │ ├── RecursiveStructType.yml │ ├── StructType.yml │ ├── TypedefType.yml │ ├── UnionType.yml │ └── lit.local.cfg.py │ ├── operations │ ├── do-while-with-scalar-condition.mlir │ ├── do-while-with-struct-condition.mlir │ ├── do-while-without-condition.mlir │ ├── for-with-scalar-condition.mlir │ ├── for-with-struct-condition.mlir │ ├── for-without-condition.mlir │ ├── function-with-attributes.mlir │ ├── function-with-mistyped-return.mlir │ ├── global-variable-with-mistyped-initializer.mlir │ ├── global-variable.mlir │ ├── if-with-scalar-condition.mlir │ ├── if-with-struct-condition.mlir │ ├── if-without-condition.mlir │ ├── local-variable-with-mistyped-initializer.mlir │ ├── local-variable.mlir │ ├── loop-break-within-switch.mlir │ ├── loop-break-without-loop.mlir │ ├── loop-continue-within-switch.mlir │ ├── loop-continue-without-loop.mlir │ ├── module-with-duplicate-type-id.mlir │ ├── module-with-non-clift-type.mlir │ ├── return-with-array-type.mlir │ ├── return-with-function-type.mlir │ ├── return-with-valid-type.mlir │ ├── switch-break-within-loop.mlir │ ├── switch-break-without-switch.mlir │ ├── switch-with-cases.mlir │ ├── switch-with-duplicate-cases.mlir │ ├── switch-with-float-condition.mlir │ ├── switch-with-integer-condition.mlir │ ├── switch-with-mismatched-cases.mlir │ ├── switch-with-pointer-condition.mlir │ ├── switch-without-condition.mlir │ ├── while-with-scalar-condition.mlir │ ├── while-with-struct-condition.mlir │ └── while-without-condition.mlir │ └── types │ ├── function-with-function-argument.mlir │ ├── function-with-function-return.mlir │ ├── function-with-object-types.mlir │ ├── function-with-void-argument.mlir │ ├── function-with-void-return.mlir │ ├── struct-with-function-field.mlir │ ├── struct-with-indirect-recursion.mlir │ ├── struct-with-pointer-recursion.mlir │ └── struct-with-recursion.mlir └── tools ├── CMakeLists.txt └── clift-opt ├── CMakeLists.txt └── Main.cpp /.gitignore: -------------------------------------------------------------------------------- 1 | .clang-format 2 | -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/LICENSE -------------------------------------------------------------------------------- /LICENSE.mit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/LICENSE.mit -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/README.md -------------------------------------------------------------------------------- /include/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/CMakeLists.txt -------------------------------------------------------------------------------- /include/revng-c/Backend/DecompileFunction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Backend/DecompileFunction.h -------------------------------------------------------------------------------- /include/revng-c/Backend/DecompilePipe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Backend/DecompilePipe.h -------------------------------------------------------------------------------- /include/revng-c/Backend/DecompileToDirectoryPipe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Backend/DecompileToDirectoryPipe.h -------------------------------------------------------------------------------- /include/revng-c/Backend/DecompileToSingleFile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Backend/DecompileToSingleFile.h -------------------------------------------------------------------------------- /include/revng-c/Backend/DecompileToSingleFilePipe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Backend/DecompileToSingleFilePipe.h -------------------------------------------------------------------------------- /include/revng-c/Backend/DecompiledCCodeIndentation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Backend/DecompiledCCodeIndentation.h -------------------------------------------------------------------------------- /include/revng-c/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | add_subdirectory(mlir) 2 | -------------------------------------------------------------------------------- /include/revng-c/DataLayoutAnalysis/DLALayouts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/DataLayoutAnalysis/DLALayouts.h -------------------------------------------------------------------------------- /include/revng-c/DataLayoutAnalysis/DLAPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/DataLayoutAnalysis/DLAPass.h -------------------------------------------------------------------------------- /include/revng-c/DataLayoutAnalysis/DLATypeSystem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/DataLayoutAnalysis/DLATypeSystem.h -------------------------------------------------------------------------------- /include/revng-c/HeadersGeneration/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/HeadersGeneration/Options.h -------------------------------------------------------------------------------- /include/revng-c/HeadersGeneration/PTMLHeaderBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/HeadersGeneration/PTMLHeaderBuilder.h -------------------------------------------------------------------------------- /include/revng-c/InitModelTypes/InitModelTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/InitModelTypes/InitModelTypes.h -------------------------------------------------------------------------------- /include/revng-c/PromoteStackPointer/CleanupStackSizeMarkersPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/PromoteStackPointer/CleanupStackSizeMarkersPass.h -------------------------------------------------------------------------------- /include/revng-c/PromoteStackPointer/ComputeStackAccessesBoundsPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/PromoteStackPointer/ComputeStackAccessesBoundsPass.h -------------------------------------------------------------------------------- /include/revng-c/PromoteStackPointer/DetectStackSizePass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/PromoteStackPointer/DetectStackSizePass.h -------------------------------------------------------------------------------- /include/revng-c/PromoteStackPointer/InjectStackSizeProbesAtCallSitesPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/PromoteStackPointer/InjectStackSizeProbesAtCallSitesPass.h -------------------------------------------------------------------------------- /include/revng-c/PromoteStackPointer/InstrumentStackAccessesPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/PromoteStackPointer/InstrumentStackAccessesPass.h -------------------------------------------------------------------------------- /include/revng-c/PromoteStackPointer/PromoteStackPointerPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/PromoteStackPointer/PromoteStackPointerPass.h -------------------------------------------------------------------------------- /include/revng-c/PromoteStackPointer/RemoveStackAlignmentPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/PromoteStackPointer/RemoveStackAlignmentPass.h -------------------------------------------------------------------------------- /include/revng-c/PromoteStackPointer/SegregateStackAccessesPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/PromoteStackPointer/SegregateStackAccessesPass.h -------------------------------------------------------------------------------- /include/revng-c/RemoveExtractValues/RemoveExtractValuesPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RemoveExtractValues/RemoveExtractValuesPass.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/ASTNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/ASTNode.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/ASTNodeUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/ASTNodeUtils.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/ASTTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/ASTTree.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/BasicBlockNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/BasicBlockNode.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/BasicBlockNodeBB.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/BasicBlockNodeBB.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/BasicBlockNodeImpl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/BasicBlockNodeImpl.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/BeautifyGHAST.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/BeautifyGHAST.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/ExprNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/ExprNode.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/GenerateAst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/GenerateAst.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/GenericRegion.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/GenericRegion.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/GenericRegionInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/GenericRegionInfo.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/GenericRegionPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/GenericRegionPass.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/MetaRegion.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/MetaRegion.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/MetaRegionBB.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/MetaRegionBB.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/MetaRegionImpl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/MetaRegionImpl.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/RegionCFGTree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/RegionCFGTree.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/RegionCFGTreeBB.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/RegionCFGTreeBB.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/RegionCFGTreeImpl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/RegionCFGTreeImpl.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/RestructureCFG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/RestructureCFG.h -------------------------------------------------------------------------------- /include/revng-c/RestructureCFG/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/RestructureCFG/Utils.h -------------------------------------------------------------------------------- /include/revng-c/Support/Annotations.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Support/Annotations.h -------------------------------------------------------------------------------- /include/revng-c/Support/DecompilationHelpers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Support/DecompilationHelpers.h -------------------------------------------------------------------------------- /include/revng-c/Support/ModelHelpers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Support/ModelHelpers.h -------------------------------------------------------------------------------- /include/revng-c/Support/PTML.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Support/PTML.h -------------------------------------------------------------------------------- /include/revng-c/Support/PTMLC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Support/PTMLC.h -------------------------------------------------------------------------------- /include/revng-c/Support/TokenDefinitions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/Support/TokenDefinitions.h -------------------------------------------------------------------------------- /include/revng-c/TypeNames/DependencyGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/TypeNames/DependencyGraph.h -------------------------------------------------------------------------------- /include/revng-c/TypeNames/LLVMTypeNames.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/TypeNames/LLVMTypeNames.h -------------------------------------------------------------------------------- /include/revng-c/TypeNames/PTMLCTypeBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/TypeNames/PTMLCTypeBuilder.h -------------------------------------------------------------------------------- /include/revng-c/mlir/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | add_subdirectory(Dialect) 2 | -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | add_subdirectory(Clift) 2 | -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/CMakeLists.txt -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CMakeLists.txt -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/Clift.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/Clift.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/Clift.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/Clift.td -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftAttributes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftAttributes.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftAttributes.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftAttributes.td -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftEnums.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftEnums.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftEnums.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftEnums.td -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftInterfaces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftInterfaces.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftInterfaces.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftInterfaces.td -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftOpInterfaces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftOpInterfaces.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftOpInterfaces.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftOpInterfaces.td -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftOpTraits.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftOpTraits.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftOpTraits.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftOpTraits.td -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftOps.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftOps.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftOps.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftOps.td -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftTypes.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/IR/CliftTypes.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/IR/CliftTypes.td -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/Transforms/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/Transforms/CMakeLists.txt -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/Transforms/ModelOption.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/Transforms/ModelOption.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/Transforms/Passes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/Transforms/Passes.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/Transforms/Passes.td: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/Transforms/Passes.td -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/Utils/Helpers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/Utils/Helpers.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Dialect/Clift/Utils/ImportModel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Dialect/Clift/Utils/ImportModel.h -------------------------------------------------------------------------------- /include/revng-c/mlir/Pipes/MLIRContainer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/include/revng-c/mlir/Pipes/MLIRContainer.h -------------------------------------------------------------------------------- /lib/Backend/ALAPVariableDeclaration.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Backend/ALAPVariableDeclaration.cpp -------------------------------------------------------------------------------- /lib/Backend/ALAPVariableDeclaration.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Backend/ALAPVariableDeclaration.h -------------------------------------------------------------------------------- /lib/Backend/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Backend/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Backend/DecompileFunction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Backend/DecompileFunction.cpp -------------------------------------------------------------------------------- /lib/Backend/DecompilePipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Backend/DecompilePipe.cpp -------------------------------------------------------------------------------- /lib/Backend/DecompileToDirectoryPipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Backend/DecompileToDirectoryPipe.cpp -------------------------------------------------------------------------------- /lib/Backend/DecompileToSingleFile.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Backend/DecompileToSingleFile.cpp -------------------------------------------------------------------------------- /lib/Backend/DecompileToSingleFilePipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Backend/DecompileToSingleFilePipe.cpp -------------------------------------------------------------------------------- /lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Canonicalize/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Canonicalize/ExitSSAPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/ExitSSAPass.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/FoldModelGEP.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/FoldModelGEP.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/HoistStructPhis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/HoistStructPhis.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/ImplicitModelCastPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/ImplicitModelCastPass.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/LoopRewriteWithCanonicalIV.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/LoopRewriteWithCanonicalIV.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/MakeLocalVariables.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/MakeLocalVariables.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/MakeModelCastPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/MakeModelCastPass.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/MakeModelGEPPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/MakeModelGEPPass.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/OperatorPrecedenceResolutionPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/OperatorPrecedenceResolutionPass.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/PeepholeOptimizationPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/PeepholeOptimizationPass.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/PrepareLLVMIRForMLIR.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/PrepareLLVMIRForMLIR.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/PrettyIntFormattingPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/PrettyIntFormattingPass.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/RemoveBrokenDebugInformation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/RemoveBrokenDebugInformation.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/RemoveLLVMAssumeCallsPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/RemoveLLVMAssumeCallsPass.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/RemoveLoadStore.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/RemoveLoadStore.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/RemovePointerCasts.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/RemovePointerCasts.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/SimplifySwitchPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/SimplifySwitchPass.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/SplitOverflowIntrinsicsPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/SplitOverflowIntrinsicsPass.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/SwitchToStatements.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/SwitchToStatements.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/TernaryReductionPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/TernaryReductionPass.cpp -------------------------------------------------------------------------------- /lib/Canonicalize/TwosComplementArithmeticNormalizationPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Canonicalize/TwosComplementArithmeticNormalizationPass.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Backend/DLAMakeModelTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Backend/DLAMakeModelTypes.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Backend/DLAMakeModelTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Backend/DLAMakeModelTypes.h -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Backend/DLAUpdateModelTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Backend/DLAUpdateModelTypes.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/CMakeLists.txt -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/DLAPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/DLAPass.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/DLATypeSystem.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/DLATypeSystem.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Frontend/DLACreateInterProceduralTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Frontend/DLACreateInterProceduralTypes.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Frontend/DLACreateIntraProceduralTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Frontend/DLACreateIntraProceduralTypes.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Frontend/DLATypeSystemBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Frontend/DLATypeSystemBuilder.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Frontend/DLATypeSystemBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Frontend/DLATypeSystemBuilder.h -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Frontend/SCEVBaseAddressExplorer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Frontend/SCEVBaseAddressExplorer.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Frontend/SCEVBaseAddressExplorer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Frontend/SCEVBaseAddressExplorer.h -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/FuncOrCallInst.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/FuncOrCallInst.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/FuncOrCallInst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/FuncOrCallInst.h -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/ArrangeAccessesHierarchically.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/ArrangeAccessesHierarchically.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/CollapseSCC.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/CollapseSCC.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/CompactCompatibleArrays.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/CompactCompatibleArrays.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/DLACollapseSingleChild.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/DLACollapseSingleChild.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/DLAComputeNonInterferingComponents.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/DLAComputeNonInterferingComponents.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/DLAComputeUpperMemberAccess.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/DLAComputeUpperMemberAccess.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/DLAPruneLayoutNodesWithoutLayout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/DLAPruneLayoutNodesWithoutLayout.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/DLAStep.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/DLAStep.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/DLAStep.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/DLAStep.h -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/DecomposeStridedEdges.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/DecomposeStridedEdges.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/DeduplicateFields.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/DeduplicateFields.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/FieldSizeComputation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/FieldSizeComputation.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/FieldSizeComputation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/FieldSizeComputation.h -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/MergePointeesOfPointerUnion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/MergePointeesOfPointerUnion.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/MergePointerNodes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/MergePointerNodes.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/PushDownPointers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/PushDownPointers.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/RemoveBackedges.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/RemoveBackedges.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/RemoveBackedges.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/RemoveBackedges.h -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/RemoveInvalidPointers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/RemoveInvalidPointers.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/RemoveInvalidStrideEdges.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/RemoveInvalidStrideEdges.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/ResolveLeafUnions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/ResolveLeafUnions.cpp -------------------------------------------------------------------------------- /lib/DataLayoutAnalysis/Middleend/SimplifyInstanceAtOffset0.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/DataLayoutAnalysis/Middleend/SimplifyInstanceAtOffset0.cpp -------------------------------------------------------------------------------- /lib/HeadersGeneration/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/HeadersGeneration/CMakeLists.txt -------------------------------------------------------------------------------- /lib/HeadersGeneration/HelpersToHeader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/HeadersGeneration/HelpersToHeader.cpp -------------------------------------------------------------------------------- /lib/HeadersGeneration/HelpersToHeaderPipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/HeadersGeneration/HelpersToHeaderPipe.cpp -------------------------------------------------------------------------------- /lib/HeadersGeneration/ModelToHeader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/HeadersGeneration/ModelToHeader.cpp -------------------------------------------------------------------------------- /lib/HeadersGeneration/ModelToHeaderPipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/HeadersGeneration/ModelToHeaderPipe.cpp -------------------------------------------------------------------------------- /lib/HeadersGeneration/ModelTypeDefinitionPipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/HeadersGeneration/ModelTypeDefinitionPipe.cpp -------------------------------------------------------------------------------- /lib/HeadersGeneration/Options.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/HeadersGeneration/Options.cpp -------------------------------------------------------------------------------- /lib/ImportFromC/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/ImportFromC/CMakeLists.txt -------------------------------------------------------------------------------- /lib/ImportFromC/HeaderToModel.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/ImportFromC/HeaderToModel.cpp -------------------------------------------------------------------------------- /lib/ImportFromC/HeaderToModel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/ImportFromC/HeaderToModel.h -------------------------------------------------------------------------------- /lib/ImportFromC/ImportFromCAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/ImportFromC/ImportFromCAnalysis.cpp -------------------------------------------------------------------------------- /lib/ImportFromC/ImportFromCAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/ImportFromC/ImportFromCAnalysis.h -------------------------------------------------------------------------------- /lib/ImportFromC/ImportFromCHelpers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/ImportFromC/ImportFromCHelpers.h -------------------------------------------------------------------------------- /lib/InitModelTypes/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/InitModelTypes/CMakeLists.txt -------------------------------------------------------------------------------- /lib/InitModelTypes/InitModelTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/InitModelTypes/InitModelTypes.cpp -------------------------------------------------------------------------------- /lib/PromoteStackPointer/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/PromoteStackPointer/CMakeLists.txt -------------------------------------------------------------------------------- /lib/PromoteStackPointer/CleanupStackSizeMarkersPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/PromoteStackPointer/CleanupStackSizeMarkersPass.cpp -------------------------------------------------------------------------------- /lib/PromoteStackPointer/ComputeStackAccessesBoundsPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/PromoteStackPointer/ComputeStackAccessesBoundsPass.cpp -------------------------------------------------------------------------------- /lib/PromoteStackPointer/DetectStackSizePass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/PromoteStackPointer/DetectStackSizePass.cpp -------------------------------------------------------------------------------- /lib/PromoteStackPointer/Helpers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/PromoteStackPointer/Helpers.h -------------------------------------------------------------------------------- /lib/PromoteStackPointer/InjectStackSizeProbesAtCallSitesPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/PromoteStackPointer/InjectStackSizeProbesAtCallSitesPass.cpp -------------------------------------------------------------------------------- /lib/PromoteStackPointer/InstrumentStackAccessesPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/PromoteStackPointer/InstrumentStackAccessesPass.cpp -------------------------------------------------------------------------------- /lib/PromoteStackPointer/PromoteStackPointerPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/PromoteStackPointer/PromoteStackPointerPass.cpp -------------------------------------------------------------------------------- /lib/PromoteStackPointer/RemoveStackAlignmentPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/PromoteStackPointer/RemoveStackAlignmentPass.cpp -------------------------------------------------------------------------------- /lib/PromoteStackPointer/SegregateStackAccessesPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/PromoteStackPointer/SegregateStackAccessesPass.cpp -------------------------------------------------------------------------------- /lib/RemoveExtractValues/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RemoveExtractValues/CMakeLists.txt -------------------------------------------------------------------------------- /lib/RemoveExtractValues/RemoveExtractValuesPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RemoveExtractValues/RemoveExtractValuesPass.cpp -------------------------------------------------------------------------------- /lib/RemoveLiftingArtifacts/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RemoveLiftingArtifacts/CMakeLists.txt -------------------------------------------------------------------------------- /lib/RemoveLiftingArtifacts/CleanupIRPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RemoveLiftingArtifacts/CleanupIRPass.cpp -------------------------------------------------------------------------------- /lib/RemoveLiftingArtifacts/MakeSegmentRefPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RemoveLiftingArtifacts/MakeSegmentRefPass.cpp -------------------------------------------------------------------------------- /lib/RemoveLiftingArtifacts/MakeSegmentRefPass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RemoveLiftingArtifacts/MakeSegmentRefPass.h -------------------------------------------------------------------------------- /lib/RemoveLiftingArtifacts/MakeSegmentRefPipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RemoveLiftingArtifacts/MakeSegmentRefPipe.cpp -------------------------------------------------------------------------------- /lib/RemoveLiftingArtifacts/PromoteInitCSVToUndef.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RemoveLiftingArtifacts/PromoteInitCSVToUndef.cpp -------------------------------------------------------------------------------- /lib/RemoveLiftingArtifacts/RemoveLiftingArtifacts.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RemoveLiftingArtifacts/RemoveLiftingArtifacts.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/ASTNode.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/ASTNode.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/ASTNodeUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/ASTNodeUtils.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/ASTTree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/ASTTree.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/BasicBlockNode.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/BasicBlockNode.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/BeautifyGHAST.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/BeautifyGHAST.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/CMakeLists.txt -------------------------------------------------------------------------------- /lib/RestructureCFG/ExprNode.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/ExprNode.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/FallThroughScopeAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/FallThroughScopeAnalysis.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/FallThroughScopeAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/FallThroughScopeAnalysis.h -------------------------------------------------------------------------------- /lib/RestructureCFG/GenericRegionInfo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/GenericRegionInfo.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/GenericRegionPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/GenericRegionPass.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/InlineDispatcherSwitch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/InlineDispatcherSwitch.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/InlineDispatcherSwitch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/InlineDispatcherSwitch.h -------------------------------------------------------------------------------- /lib/RestructureCFG/MetaRegion.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/MetaRegion.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/PromoteCallNoReturn.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/PromoteCallNoReturn.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/PromoteCallNoReturn.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/PromoteCallNoReturn.h -------------------------------------------------------------------------------- /lib/RestructureCFG/RegionCFGTree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/RegionCFGTree.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/RemoveDeadCode.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/RemoveDeadCode.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/RemoveDeadCode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/RemoveDeadCode.h -------------------------------------------------------------------------------- /lib/RestructureCFG/RestructureCFG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/RestructureCFG.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/SimplifyCompareNode.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/SimplifyCompareNode.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/SimplifyCompareNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/SimplifyCompareNode.h -------------------------------------------------------------------------------- /lib/RestructureCFG/SimplifyDualSwitch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/SimplifyDualSwitch.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/SimplifyDualSwitch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/SimplifyDualSwitch.h -------------------------------------------------------------------------------- /lib/RestructureCFG/SimplifyHybridNot.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/SimplifyHybridNot.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/SimplifyHybridNot.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/SimplifyHybridNot.h -------------------------------------------------------------------------------- /lib/RestructureCFG/SimplifyImplicitStatement.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/SimplifyImplicitStatement.cpp -------------------------------------------------------------------------------- /lib/RestructureCFG/SimplifyImplicitStatement.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/RestructureCFG/SimplifyImplicitStatement.h -------------------------------------------------------------------------------- /lib/Support/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Support/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Support/ModelHelpers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Support/ModelHelpers.cpp -------------------------------------------------------------------------------- /lib/Support/SimplifyCFGWithHoistAndSinkPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/Support/SimplifyCFGWithHoistAndSinkPass.cpp -------------------------------------------------------------------------------- /lib/TypeNames/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/TypeNames/CMakeLists.txt -------------------------------------------------------------------------------- /lib/TypeNames/DependencyGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/TypeNames/DependencyGraph.cpp -------------------------------------------------------------------------------- /lib/TypeNames/LLVMTypeNames.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/TypeNames/LLVMTypeNames.cpp -------------------------------------------------------------------------------- /lib/TypeNames/ModelTypeNames.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/TypeNames/ModelTypeNames.cpp -------------------------------------------------------------------------------- /lib/TypeNames/TypePrinters.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/TypeNames/TypePrinters.cpp -------------------------------------------------------------------------------- /lib/mlir/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/CMakeLists.txt -------------------------------------------------------------------------------- /lib/mlir/Dialect/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | add_subdirectory(Clift) 2 | -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/CMakeLists.txt -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/CMakeLists.txt -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/Clift.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/Clift.cpp -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/CliftAttributes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/CliftAttributes.cpp -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/CliftEnums.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/CliftEnums.cpp -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/CliftInterfaces.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/CliftInterfaces.cpp -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/CliftOpInterfaces.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/CliftOpInterfaces.cpp -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/CliftOpTraits.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/CliftOpTraits.cpp -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/CliftOps.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/CliftOps.cpp -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/CliftParser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/CliftParser.cpp -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/CliftParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/CliftParser.h -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/CliftStorage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/CliftStorage.h -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/IR/CliftTypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/IR/CliftTypes.cpp -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/Transforms/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/Transforms/CMakeLists.txt -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/Transforms/ModelOption.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/Transforms/ModelOption.cpp -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/Utils/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/Utils/CMakeLists.txt -------------------------------------------------------------------------------- /lib/mlir/Dialect/Clift/Utils/ImportModel.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Dialect/Clift/Utils/ImportModel.cpp -------------------------------------------------------------------------------- /lib/mlir/Pipes/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Pipes/CMakeLists.txt -------------------------------------------------------------------------------- /lib/mlir/Pipes/ImportCliftTypesPipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Pipes/ImportCliftTypesPipe.cpp -------------------------------------------------------------------------------- /lib/mlir/Pipes/ImportLLVMToMLIRPipe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Pipes/ImportLLVMToMLIRPipe.cpp -------------------------------------------------------------------------------- /lib/mlir/Pipes/MLIRContainer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/lib/mlir/Pipes/MLIRContainer.cpp -------------------------------------------------------------------------------- /libexec/revng/check-decompiled-c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/libexec/revng/check-decompiled-c -------------------------------------------------------------------------------- /share/revng-c/compile-flags.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng-c/compile-flags.cfg -------------------------------------------------------------------------------- /share/revng-c/include/attributes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng-c/include/attributes.h -------------------------------------------------------------------------------- /share/revng-c/include/primitive-types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng-c/include/primitive-types.h -------------------------------------------------------------------------------- /share/revng/cmake/revngcConfig.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/cmake/revngcConfig.cmake -------------------------------------------------------------------------------- /share/revng/pipelines/revng-c-pipelines.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/pipelines/revng-c-pipelines.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/daemon.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/daemon.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/decompilation.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/decompilation.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/detect-stack-size.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/detect-stack-size.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/docs.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/end-to-end.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/end-to-end.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/import-from-c.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/import-from-c.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/model-to-header.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/model-to-header.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/name-collisions.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/name-collisions.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/precedence-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/precedence-tests.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/runtime-segregation-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/runtime-segregation-tests.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/segregate-stack-accesses.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/segregate-stack-accesses.yml -------------------------------------------------------------------------------- /share/revng/test/configuration/revng-c/simplify-switch.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/configuration/revng-c/simplify-switch.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/CollectCFG/x86_64/switch-jump-table.S.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/CollectCFG/x86_64/switch-jump-table.S.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/Decompilation/clang/linked-lists.c.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/Decompilation/clang/linked-lists.c.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/Decompilation/clang/linked-lists.c.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/Decompilation/clang/linked-lists.c.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/Decompilation/x86-64/dual-case-switch.c.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/Decompilation/x86-64/dual-case-switch.c.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/Decompilation/x86-64/dual-case-switch.c.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/Decompilation/x86-64/dual-case-switch.c.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/Decompilation/x86-64/pretty-ints.c.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/Decompilation/x86-64/pretty-ints.c.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/Decompilation/x86-64/pretty-ints.c.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/Decompilation/x86-64/pretty-ints.c.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/Decompilation/x86-64/reduce-c-casts.c.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/Decompilation/x86-64/reduce-c-casts.c.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/Decompilation/x86-64/reduce-c-casts.c.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/Decompilation/x86-64/reduce-c-casts.c.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/Decompilation/x86-64/segments-and-sections.c.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/Decompilation/x86-64/segments-and-sections.c.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/Decompilation/x86-64/segments-and-sections.c.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/Decompilation/x86-64/segments-and-sections.c.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/DetectStackSize/dynamic_native/memcpy-from-stack-arguments.c.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/DetectStackSize/dynamic_native/memcpy-from-stack-arguments.c.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/DetectStackSize/dynamic_native/stackframe.c.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/DetectStackSize/dynamic_native/stackframe.c.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-an-unknown-abi/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-an-unknown-abi/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-an-unknown-abi/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-an-unknown-abi/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-an-unknown-abi/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-an-unknown-abi/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-an-unknown-abi/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-an-unknown-abi/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-complex-arguments/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-complex-arguments/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-complex-arguments/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-complex-arguments/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-complex-arguments/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-complex-arguments/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-complex-arguments/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-complex-arguments/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-no-abi/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-no-abi/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-no-abi/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-no-abi/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-no-abi/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-no-abi/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-no-abi/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft-with-no-abi/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/cft/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/cft/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-broken-annotation/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-broken-annotation/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-broken-annotation/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-broken-annotation/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-broken-annotation/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-broken-annotation/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-broken-annotation/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-broken-annotation/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-non-primitive-underlying-type/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-non-primitive-underlying-type/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-non-primitive-underlying-type/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-non-primitive-underlying-type/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-non-primitive-underlying-type/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-non-primitive-underlying-type/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-non-primitive-underlying-type/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-non-primitive-underlying-type/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-void-underlying-type/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-void-underlying-type/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-void-underlying-type/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-void-underlying-type/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-void-underlying-type/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-void-underlying-type/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-void-underlying-type/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-with-a-void-underlying-type/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-without-an-annotation/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-without-an-annotation/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-without-an-annotation/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-without-an-annotation/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-without-an-annotation/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-without-an-annotation/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum-without-an-annotation/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum-without-an-annotation/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/enum/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/enum/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/primitives/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/primitives/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/primitives/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/primitives/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/primitives/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/primitives/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/primitives/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/primitives/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-misplaced-stack-argument/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-misplaced-stack-argument/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-misplaced-stack-argument/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-misplaced-stack-argument/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-misplaced-stack-argument/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-misplaced-stack-argument/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-misplaced-stack-argument/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-misplaced-stack-argument/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-non-struct-stack-argument/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-non-struct-stack-argument/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-non-struct-stack-argument/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-non-struct-stack-argument/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-non-struct-stack-argument/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-non-struct-stack-argument/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-non-struct-stack-argument/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-non-struct-stack-argument/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-register-stack-argument/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-register-stack-argument/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-register-stack-argument/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-register-stack-argument/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-register-stack-argument/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-register-stack-argument/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-register-stack-argument/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-register-stack-argument/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack-return-value/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack-return-value/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack-return-value/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack-return-value/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack-return-value/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack-return-value/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack-return-value/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack-return-value/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-a-stack/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-argument/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-argument/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-argument/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-argument/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-argument/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-argument/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-argument/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-argument/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-return-value/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-return-value/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-return-value/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-return-value/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-return-value/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-return-value/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-return-value/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unannotated-return-value/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-architecture/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-architecture/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-architecture/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-architecture/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-architecture/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-architecture/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-architecture/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-architecture/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-argument-register/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-argument-register/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-argument-register/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-argument-register/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-argument-register/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-argument-register/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-argument-register/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-argument-register/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-return-value-register/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-return-value-register/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-return-value-register/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-return-value-register/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-return-value-register/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-return-value-register/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-return-value-register/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-an-unknown-return-value-register/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-multiple-return-values/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-multiple-return-values/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-multiple-return-values/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-multiple-return-values/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-multiple-return-values/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-multiple-return-values/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-multiple-return-values/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft-with-multiple-return-values/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/rft/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/rft/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-annotation/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-annotation/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-annotation/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-annotation/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-annotation/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-annotation/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-annotation/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-annotation/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-field/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-field/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-field/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-field/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-field/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-field/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-field/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-broken-field/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-forbidden-type/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-forbidden-type/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-forbidden-type/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-forbidden-type/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-forbidden-type/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-forbidden-type/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-forbidden-type/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-forbidden-type/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-rare-type/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-rare-type/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-rare-type/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-rare-type/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-rare-type/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-rare-type/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-rare-type/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-rare-type/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-typo/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-typo/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-typo/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-typo/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-typo/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-typo/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-typo/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-a-typo/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-an-unsupported-field/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-an-unsupported-field/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-an-unsupported-field/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-an-unsupported-field/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-an-unsupported-field/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-an-unsupported-field/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-an-unsupported-field/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-an-unsupported-field/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-code/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-code/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-code/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-code/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-code/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-code/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-code/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-code/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-annotations/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-annotations/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-annotations/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-annotations/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-annotations/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-annotations/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-annotations/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-annotations/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding-information/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding-information/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding-information/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding-information/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding-information/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding-information/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding-information/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding-information/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-conflicting-padding/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-explicit-padding/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-explicit-padding/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-explicit-padding/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-explicit-padding/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-explicit-padding/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-explicit-padding/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-explicit-padding/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-explicit-padding/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-overlapping-fields/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-overlapping-fields/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-overlapping-fields/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-overlapping-fields/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-overlapping-fields/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-overlapping-fields/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-overlapping-fields/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-with-overlapping-fields/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-without-the-packed-attribute/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-without-the-packed-attribute/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-without-the-packed-attribute/expected-error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-without-the-packed-attribute/expected-error.txt -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-without-the-packed-attribute/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-without-the-packed-attribute/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct-without-the-packed-attribute/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct-without-the-packed-attribute/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/struct/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/struct/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/typedef/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/typedef/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/typedef/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/typedef/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/typedef/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/typedef/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/typedef/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/typedef/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/union/check-against.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/union/check-against.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/union/edit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/union/edit.c -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/union/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/union/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/ImportFromCAnalysis/union/type-to-edit.location: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/ImportFromCAnalysis/union/type-to-edit.location -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/SegregateStackAccesses/dynamic_native/segregate.c.filecheck.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/SegregateStackAccesses/dynamic_native/segregate.c.filecheck.ll -------------------------------------------------------------------------------- /share/revng/test/tests/analysis/SegregateStackAccesses/dynamic_native/segregate.c.override.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/analysis/SegregateStackAccesses/dynamic_native/segregate.c.override.yml -------------------------------------------------------------------------------- /share/revng/test/tests/c-operator-precedence/precedence.c.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/c-operator-precedence/precedence.c.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/annotate-attibutes.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/annotate-attibutes.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/annotate-attibutes.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/annotate-attibutes.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/do-not-generate-struct-for-stack-type.h.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/do-not-generate-struct-for-stack-type.h.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/do-not-generate-struct-for-stack-type.h.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/do-not-generate-struct-for-stack-type.h.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/do-not-inline-types-pointing-to-itself.h.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/do-not-inline-types-pointing-to-itself.h.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/do-not-inline-types-pointing-to-itself.h.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/do-not-inline-types-pointing-to-itself.h.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/do-not-inline-used-stack-type.h.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/do-not-inline-used-stack-type.h.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/do-not-inline-used-stack-type.h.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/do-not-inline-used-stack-type.h.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/inline-complex-struct.h.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/inline-complex-struct.h.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/inline-complex-struct.h.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/inline-complex-struct.h.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/inline-enum.h.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/inline-enum.h.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/inline-enum.h.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/inline-enum.h.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/inline-struct.h.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/inline-struct.h.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/inline-struct.h.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/inline-struct.h.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/inline-union.h.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/inline-union.h.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/inline-union.h.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/inline-union.h.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/pointer-to-struct.h.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/pointer-to-struct.h.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/pointer-to-struct.h.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/pointer-to-struct.h.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/primitive-types.h.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/primitive-types.h.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/primitive-types.h.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/primitive-types.h.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/struct.h.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/struct.h.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/struct.h.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/struct.h.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/union.h.model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/union.h.model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/model-to-header/union.h.model.yml.filecheck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/model-to-header/union.h.model.yml.filecheck -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/custom-collision-suffix/expected-header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/custom-collision-suffix/expected-header.txt -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/custom-collision-suffix/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/custom-collision-suffix/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/custom-generated-name-prefix/expected-header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/custom-generated-name-prefix/expected-header.txt -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/custom-generated-name-prefix/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/custom-generated-name-prefix/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/global-name-collision/expected-header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/global-name-collision/expected-header.txt -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/global-name-collision/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/global-name-collision/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/local-name-collision-with-global/expected-header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/local-name-collision-with-global/expected-header.txt -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/local-name-collision-with-global/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/local-name-collision-with-global/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/local-name-collision-with-local/expected-header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/local-name-collision-with-local/expected-header.txt -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/local-name-collision-with-local/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/local-name-collision-with-local/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/multi-level-collision/expected-header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/multi-level-collision/expected-header.txt -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/multi-level-collision/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/multi-level-collision/input-model.yml -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/no-collisions/expected-header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/no-collisions/expected-header.txt -------------------------------------------------------------------------------- /share/revng/test/tests/name-collisions/no-collisions/input-model.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/share/revng/test/tests/name-collisions/no-collisions/input-model.yml -------------------------------------------------------------------------------- /tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/unit/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/CMakeLists.txt -------------------------------------------------------------------------------- /tests/unit/Clift.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/Clift.cpp -------------------------------------------------------------------------------- /tests/unit/CliftType.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/CliftType.cpp -------------------------------------------------------------------------------- /tests/unit/CombingPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/CombingPass.cpp -------------------------------------------------------------------------------- /tests/unit/DLAStepManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/DLAStepManager.cpp -------------------------------------------------------------------------------- /tests/unit/DLASteps.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/DLASteps.cpp -------------------------------------------------------------------------------- /tests/unit/PointerArrayEmission.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/PointerArrayEmission.cpp -------------------------------------------------------------------------------- /tests/unit/TestGraphs/simple.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/TestGraphs/simple.dot -------------------------------------------------------------------------------- /tests/unit/TestGraphs/trivial.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/TestGraphs/trivial.dot -------------------------------------------------------------------------------- /tests/unit/llvm_lit_tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/llvm_lit_tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/unit/llvm_lit_tests/Example.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/llvm_lit_tests/Example.ll -------------------------------------------------------------------------------- /tests/unit/llvm_lit_tests/GenericRegion.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/llvm_lit_tests/GenericRegion.ll -------------------------------------------------------------------------------- /tests/unit/llvm_lit_tests/OperatorPrecedenceResolutionPass.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/llvm_lit_tests/OperatorPrecedenceResolutionPass.ll -------------------------------------------------------------------------------- /tests/unit/llvm_lit_tests/RemoveExtractValues.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/llvm_lit_tests/RemoveExtractValues.ll -------------------------------------------------------------------------------- /tests/unit/llvm_lit_tests/TernaryReduction.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/llvm_lit_tests/TernaryReduction.ll -------------------------------------------------------------------------------- /tests/unit/llvm_lit_tests/TwosComplementArithmeticNormalization.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/llvm_lit_tests/TwosComplementArithmeticNormalization.ll -------------------------------------------------------------------------------- /tests/unit/llvm_lit_tests/lit.cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/llvm_lit_tests/lit.cfg.py -------------------------------------------------------------------------------- /tests/unit/llvm_lit_tests/lit.site.cfg.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/llvm_lit_tests/lit.site.cfg.py.in -------------------------------------------------------------------------------- /tests/unit/llvm_lit_tests/peephole-optimization-for-decompilation.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/llvm_lit_tests/peephole-optimization-for-decompilation.ll -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/ParseCliftTypes.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/ParseCliftTypes.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/ParseRecursiveStructs.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/ParseRecursiveStructs.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/__init__.py -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/addressof-immediate.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/addressof-immediate.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/addressof-indirection.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/addressof-indirection.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/addressof-local-variable.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/addressof-local-variable.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/addressof-lvalue-object-access.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/addressof-lvalue-object-access.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/addressof-pointer-access.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/addressof-pointer-access.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/addressof-rvalue-object-access.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/addressof-rvalue-object-access.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/addressof-subscript.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/addressof-subscript.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/arithmetic-add.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/arithmetic-add.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/arithmetic-neg.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/arithmetic-neg.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/arithmetic-shl.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/arithmetic-shl.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/arithmetic.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/arithmetic.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/assign-const-local-variable.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/assign-const-local-variable.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/assign-function-parameter.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/assign-function-parameter.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/assign-immediate.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/assign-immediate.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/assign-local-variable.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/assign-local-variable.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/call-directly-recursive.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/call-directly-recursive.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/call-function-pointer.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/call-function-pointer.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/call-global-function.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/call-global-function.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/call-non-function-1.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/call-non-function-1.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/call-non-function-2.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/call-non-function-2.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/call-nonexistent-global-function.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/call-nonexistent-global-function.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/call-with-extra-arguments.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/call-with-extra-arguments.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/call-with-missing-arguments.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/call-with-missing-arguments.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/call-with-wrong-argument-types.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/call-with-wrong-argument-types.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/call-with-wrong-return-type.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/call-with-wrong-return-type.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/call.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/call.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-decay-array.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-decay-array.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-decay-function.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-decay-function.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-decay-int.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-decay-int.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-extend-i16-to-u32.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-extend-i16-to-u32.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-extend-i32-to-i32.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-extend-i32-to-i32.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-extend.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-extend.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-reinterpret-i16-to-132.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-reinterpret-i16-to-132.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-reinterpret-p16-to-p32.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-reinterpret-p16-to-p32.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-reinterpret.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-reinterpret.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-truncate-i32-to-i32.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-truncate-i32-to-i32.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-truncate-i32-to-u16.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-truncate-i32-to-u16.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/cast-truncate.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/cast-truncate.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/increment-const-local-variable.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/increment-const-local-variable.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/increment-immediate.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/increment-immediate.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/increment-local-variable.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/increment-local-variable.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/object-access-of-wrong-type.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/object-access-of-wrong-type.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/object-access-out-of-range.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/object-access-out-of-range.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/use-global-variable.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/use-global-variable.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/expressions/use-nonexistent-global-variable.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/expressions/use-nonexistent-global-variable.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/lit.cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/lit.cfg.py -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/lit.site.cfg.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/lit.site.cfg.py.in -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/ArrayType.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/ArrayType.yml -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/CABIFunctionType1.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/CABIFunctionType1.yml -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/CABIFunctionType2.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/CABIFunctionType2.yml -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/EnumType.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/EnumType.yml -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/RawFunctionType1.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/RawFunctionType1.yml -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/RawFunctionType2.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/RawFunctionType2.yml -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/RawFunctionType3.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/RawFunctionType3.yml -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/RecursiveStructType.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/RecursiveStructType.yml -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/StructType.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/StructType.yml -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/TypedefType.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/TypedefType.yml -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/UnionType.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/UnionType.yml -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/model-import/lit.local.cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/model-import/lit.local.cfg.py -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/do-while-with-scalar-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/do-while-with-scalar-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/do-while-with-struct-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/do-while-with-struct-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/do-while-without-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/do-while-without-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/for-with-scalar-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/for-with-scalar-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/for-with-struct-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/for-with-struct-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/for-without-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/for-without-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/function-with-attributes.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/function-with-attributes.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/function-with-mistyped-return.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/function-with-mistyped-return.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/global-variable-with-mistyped-initializer.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/global-variable-with-mistyped-initializer.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/global-variable.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/global-variable.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/if-with-scalar-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/if-with-scalar-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/if-with-struct-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/if-with-struct-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/if-without-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/if-without-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/local-variable-with-mistyped-initializer.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/local-variable-with-mistyped-initializer.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/local-variable.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/local-variable.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/loop-break-within-switch.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/loop-break-within-switch.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/loop-break-without-loop.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/loop-break-without-loop.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/loop-continue-within-switch.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/loop-continue-within-switch.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/loop-continue-without-loop.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/loop-continue-without-loop.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/module-with-duplicate-type-id.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/module-with-duplicate-type-id.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/module-with-non-clift-type.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/module-with-non-clift-type.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/return-with-array-type.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/return-with-array-type.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/return-with-function-type.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/return-with-function-type.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/return-with-valid-type.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/return-with-valid-type.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/switch-break-within-loop.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/switch-break-within-loop.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/switch-break-without-switch.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/switch-break-without-switch.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/switch-with-cases.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/switch-with-cases.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/switch-with-duplicate-cases.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/switch-with-duplicate-cases.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/switch-with-float-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/switch-with-float-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/switch-with-integer-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/switch-with-integer-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/switch-with-mismatched-cases.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/switch-with-mismatched-cases.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/switch-with-pointer-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/switch-with-pointer-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/switch-without-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/switch-without-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/while-with-scalar-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/while-with-scalar-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/while-with-struct-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/while-with-struct-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/operations/while-without-condition.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/operations/while-without-condition.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/types/function-with-function-argument.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/types/function-with-function-argument.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/types/function-with-function-return.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/types/function-with-function-return.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/types/function-with-object-types.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/types/function-with-object-types.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/types/function-with-void-argument.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/types/function-with-void-argument.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/types/function-with-void-return.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/types/function-with-void-return.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/types/struct-with-function-field.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/types/struct-with-function-field.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/types/struct-with-indirect-recursion.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/types/struct-with-indirect-recursion.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/types/struct-with-pointer-recursion.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/types/struct-with-pointer-recursion.mlir -------------------------------------------------------------------------------- /tests/unit/mlir_lit_tests/types/struct-with-recursion.mlir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tests/unit/mlir_lit_tests/types/struct-with-recursion.mlir -------------------------------------------------------------------------------- /tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tools/CMakeLists.txt -------------------------------------------------------------------------------- /tools/clift-opt/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tools/clift-opt/CMakeLists.txt -------------------------------------------------------------------------------- /tools/clift-opt/Main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/revng/revng-c/HEAD/tools/clift-opt/Main.cpp --------------------------------------------------------------------------------