28 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; At some point this caused a problem in the domain generation as we4; assumed any constant branch condition to be valid. However, only constant5; integers are interesting and can be handled.6;7; CHECK: Stmt_entry_split__TO__cleanup8;9target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"10 11; Function Attrs: nounwind uwtable12define i32 @main(ptr %A) #0 {13entry:14 br label %entry.split15 16entry.split: ; preds = %entry17 br i1 ptrtoint (ptr @test_weak to i1), label %if.then, label %cleanup18 19if.then: ; preds = %entry.split20 store i32 0, ptr %A21 br label %cleanup22 23cleanup: ; preds = %if.then, %entry.split24 ret i32 025}26 27declare extern_weak i32 @test_weak(...)28