[Polly] Do not add terminator & synthesizable instructions to the output instructions in ScopInfo pass

[Meinersbur]

LGTM

I am going to commit.

polly/trunk/lib/Analysis/ScopBuilder.cpp

if (scop->isNonAffineSubRegion(&SR)) {
     return;
   }
 
   for (auto I = SR.element_begin(), E = SR.element_end(); I != E; ++I)
     if (I->isSubRegion())
       buildStmts(*I->getNodeAs<Region>());
     else {
       std::vector<Instruction *> Instructions;
-      for (Instruction &Inst : *I->getNodeAs<BasicBlock>())
+      for (Instruction &Inst : *I->getNodeAs<BasicBlock>()) {
+        Loop *L = LI.getLoopFor(Inst.getParent());
+        if (!isa<TerminatorInst>(&Inst) && !canSynthesize(&Inst, *scop, &SE, L))
           Instructions.push_back(&Inst);
+      }
       Loop *SurroundingLoop = LI.getLoopFor(I->getNodeAs<BasicBlock>());
       scop->addScopStmt(I->getNodeAs<BasicBlock>(), SurroundingLoop,
                         Instructions);
     }
 }
 
 void ScopBuilder::buildAccessFunctions(BasicBlock &BB,
                                        Region *NonAffineSubRegion,

polly/trunk/test/ScopInfo/statement.ll

 ; RUN: opt %loadPolly -polly-scops -analyze -polly-print-instructions < %s | FileCheck %s
 
 ;      void func(int *A, int *B){
 ;        for (int i = 0; i < 1024; i+=1) {
 ;      Stmt:
 ;          A[i] = i;
 ;          B[i] = i;
 ;        }
 ;      }
 
 ; CHECK:       Instructions {
-; CHECK-NEXT:      %idxprom = sext i32 %i.0 to i64
-; CHECK-NEXT:      %arrayidx = getelementptr inbounds i32, i32* %A, i64 %idxprom
 ; CHECK-NEXT:      store i32 %i.0, i32* %arrayidx, align 4
-; CHECK-NEXT:      %idxprom1 = sext i32 %i.0 to i64
-; CHECK-NEXT:      %arrayidx2 = getelementptr inbounds i32, i32* %B, i64 %idxprom1
 ; CHECK-NEXT:      store i32 %i.0, i32* %arrayidx2, align 4
-; CHECK-NEXT:      br label %for.inc
 ; CHECK-NEXT:    }
 
 ; Function Attrs: noinline nounwind uwtable
 define void @func(i32* %A, i32* %B) #0 {
 entry:
   br label %for.cond
 
 for.cond:                                         ; preds = %for.inc, %entry