Formatting

smackers · Mar 29, 2022 · 2452feb · 2452feb
1 parent 4e8ec19
commit 2452feb
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 5 deletions.
diff --git a/lib/smack/AddTiming.cpp b/lib/smack/AddTiming.cpp
@@ -175,12 +175,14 @@ InstructionCost AddTiming::getInstructionCost(const Instruction *I) const {
   case Instruction::Select: {
     const SelectInst *SI = cast<SelectInst>(I);
     Type *CondTy = SI->getCondition()->getType();
-    return TTI->getCmpSelInstrCost(I->getOpcode(), I->getType(), CondTy, CmpInst::BAD_ICMP_PREDICATE);
+    return TTI->getCmpSelInstrCost(I->getOpcode(), I->getType(), CondTy,
+                                   CmpInst::BAD_ICMP_PREDICATE);
   }
   case Instruction::ICmp:
   case Instruction::FCmp: {
     Type *ValTy = I->getOperand(0)->getType();
-    return TTI->getCmpSelInstrCost(I->getOpcode(), ValTy, nullptr, CmpInst::BAD_ICMP_PREDICATE);
+    return TTI->getCmpSelInstrCost(I->getOpcode(), ValTy, nullptr,
+                                   CmpInst::BAD_ICMP_PREDICATE);
   }
   case Instruction::Store: {
     const StoreInst *SI = cast<StoreInst>(I);

diff --git a/lib/smack/CodifyStaticInits.cpp b/lib/smack/CodifyStaticInits.cpp
@@ -52,7 +52,10 @@ bool CodifyStaticInits::runOnModule(Module &M) {
     if (V->getType()->isIntegerTy() || V->getType()->isPointerTy() ||
         V->getType()->isFloatingPointTy() || V->getType()->isVectorTy())
 
-      IRB.CreateStore(V, IRB.CreateGEP(P->getType()->getScalarType()->getPointerElementType(), P, ArrayRef<Value *>(I)));
+      IRB.CreateStore(
+          V,
+          IRB.CreateGEP(P->getType()->getScalarType()->getPointerElementType(),
+                        P, ArrayRef<Value *>(I)));
 
     else if (ArrayType *AT = dyn_cast<ArrayType>(V->getType()))
       for (unsigned i = AT->getNumElements(); i-- > 0;) {

diff --git a/lib/smack/ExtractContracts.cpp b/lib/smack/ExtractContracts.cpp
@@ -2,7 +2,6 @@
 // This file is distributed under the MIT License. See LICENSE for details.
 //
 
-
 #include "smack/ExtractContracts.h"
 #include "smack/Debug.h"
 #include "smack/Naming.h"

diff --git a/lib/smack/SplitAggregateValue.cpp b/lib/smack/SplitAggregateValue.cpp
@@ -90,7 +90,9 @@ Value *SplitAggregateValue::splitAggregateLoad(Type *T, Value *P,
     IndexT idxs = std::get<0>(e);
     Value *p = irb.CreateGEP(T, P, ArrayRef<Value *>(getFirsts(idxs)));
     V = irb.CreateInsertValue(
-        V, irb.CreateLoad(p->getType()->getScalarType()->getPointerElementType(), p),
+        V,
+        irb.CreateLoad(p->getType()->getScalarType()->getPointerElementType(),
+                       p),
         ArrayRef<unsigned>(getSeconds(idxs)));
   }
   return V;