Skip to content

Commit

Permalink
cosmetic
Browse files Browse the repository at this point in the history
  • Loading branch information
Ptival committed Oct 17, 2024
1 parent aeace49 commit f0c8453
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 5 deletions.
3 changes: 1 addition & 2 deletions reopt/Main_reopt.hs
Original file line number Diff line number Diff line change
Expand Up @@ -784,8 +784,7 @@ collectInvariants ref evt = do
_ -> do
pure ()

-- | This command is called when reopt is called with no specific
-- action.
-- | This command is called when reopt is called with no specific action.
performReopt :: Args -> FilePath -> IO ()
performReopt args elfPath = do
let somethingToDo = isJust (cfgExportPath args) || shouldRecover args
Expand Down
5 changes: 2 additions & 3 deletions src/Reopt/CFG/LLVM.hs
Original file line number Diff line number Diff line change
Expand Up @@ -1252,9 +1252,8 @@ resolveLoadNameAndType memRep =
error $ "Vector width of " ++ show n ++ " is too large."
pure ("v" ++ show n ++ eltName, L.Vector (fromIntegral (natValue n)) eltType)

-- | The type inference will infer a pointer-to-struct type for the
-- pointer (or a conflict type if one is detected). This will do a
-- GEP or cast as required.
-- | The type inference will infer a pointer-to-struct type for the pointer (or a conflict type if
-- one is detected). This will do a GEP or cast as required.
pointerForMemOp ::
forall arch.
FnArchConstraints arch =>
Expand Down

0 comments on commit f0c8453

Please sign in to comment.