Merge pull request #320 from B2R2-org/319-lint-fix-appconvention-wrong-spacing

[Lint] Fix wrong space check due to App

Author: gnrkr789

src/FrontEnd/NameMangling/MSDemangler.fs

@@ -405,7 +405,7 @@ type MSDemangler() =
     <|> anonymousParam
   let constructedTemplate =
     pstring "?$?" >>. anyOf "01"
-    >>. many (specialTemplateParams <|> possibleType) .>> pchar '@'.>>.
+    >>. many (specialTemplateParams <|> possibleType) .>> pchar '@' .>>.
     ((pnameAndAt <|> attempt pTemplate) >>= addToNameList <|> nameFragment)
     |>> ConstructedTemplate
 

src/FrontEnd/SPARC/GeneralLifter.fs

@@ -263,7 +263,7 @@ let getNextReg bld reg =
 let getFloatClass bld freg =
   if (freg = regVar bld Register.F0 || freg = regVar bld Register.F2
     || freg = regVar bld Register.F4 || freg = regVar bld Register.F6
-    || freg = regVar bld Register.F8|| freg = regVar bld Register.F10
+    || freg = regVar bld Register.F8 || freg = regVar bld Register.F10
     || freg = regVar bld Register.F12 || freg = regVar bld Register.F14
     || freg = regVar bld Register.F16 || freg = regVar bld Register.F18
     || freg = regVar bld Register.F20 || freg = regVar bld Register.F22

src/FrontEnd/SPARC/ParsingMain.fs

@@ -3555,7 +3555,7 @@ let parse10 b32 =
     | _ -> struct (Opcode.InvalidOp, NoOperand)
   | 0b101000u ->
     match pickBit b32 13u with
-    | 0b0u -> parse101000  b32
+    | 0b0u -> parse101000 b32
     | _ ->
       match pickBit b32 25u with
       | 0u ->

src/FrontEnd/TMS320C6000/ParsingMain.fs

@@ -1486,7 +1486,7 @@ let private parseMUnitCompound bin =
   | 0b11100u -> parseXiIntInt bin Op.SSHVL unit
   | 0b11101u -> parseXUiUiUi bin Op.ROTL unit
   | 0b11110u -> parseXUiUc5Ui bin Op.ROTL unit
-  | _ -> Terminator.impossible  ()
+  | _ -> Terminator.impossible ()
 
 /// Appendix E. page 743. Fig. E-2
 let private parseMUnitUnaryExt bin =

src/MiddleEnd/BinGraph/Loop.fs

@@ -39,7 +39,7 @@ let private findNaturalLoopBody g (edge: Edge<_, _>) =
   let stack = Stack()
   let n, h = edge.First, edge.Second
   body.Add h |> ignore
-  stack.Push  n
+  stack.Push n
   while stack.Count > 0 do
     let v = stack.Pop()
     if not (body.Contains v) then