68 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<ast>' -polly-print-ast -disable-output < %s | FileCheck %s2 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64-unknown-linux-gnu"5 6@global = external local_unnamed_addr global i32, align 47@global.1 = external local_unnamed_addr global i32, align 48 9define void @hoge() local_unnamed_addr {10bb:11 %tmp = alloca i8, align 812 br label %bb113 14bb1: ; preds = %bb19, %bb15 %tmp2 = phi i32 [ undef, %bb ], [ %tmp5, %bb19 ]16 %tmp3 = phi ptr [ @global, %bb ], [ %tmp20, %bb19 ]17 %tmp4 = icmp ugt i32 %tmp2, 518 %tmp5 = select i1 %tmp4, i32 %tmp2, i32 519 br label %bb620 21bb6: ; preds = %bb122 br label %bb723 24bb7: ; preds = %bb10, %bb625 %tmp8 = phi i8 [ 7, %bb6 ], [ %tmp11, %bb10 ]26 store i32 2, ptr %tmp3, align 427 %tmp9 = load i8, ptr %tmp, align 828 br label %bb1029 30bb10: ; preds = %bb731 store i32 undef, ptr @global.1, align 432 %tmp11 = add nuw nsw i8 %tmp8, 133 %tmp12 = icmp eq i8 %tmp11, 7234 br i1 %tmp12, label %bb13, label %bb735 36bb13: ; preds = %bb1037 %tmp14 = icmp eq i32 %tmp5, 038 br i1 %tmp14, label %bb15, label %bb1639 40bb15: ; preds = %bb1341 store i8 0, ptr %tmp, align 842 br label %bb1643 44bb16: ; preds = %bb15, %bb1345 br label %bb1746 47bb17: ; preds = %bb1648 br i1 undef, label %bb19, label %bb1849 50bb18: ; preds = %bb1751 br label %bb1952 53bb19: ; preds = %bb18, %bb1754 %tmp20 = phi ptr [ %tmp3, %bb17 ], [ @hoge, %bb18 ]55 br label %bb156}57 58; CHECK: if (1 && (&MemRef_tmp3[1] <= &MemRef_global_1[0] || &MemRef_global_1[1] <= &MemRef_tmp3[0]) && (&MemRef_tmp[1] <= &MemRef_global_1[0] || &MemRef_global_1[1] <= &MemRef_tmp[0]) && (&MemRef_tmp[1] <= &MemRef_tmp3[0] || &MemRef_tmp3[1] <= &MemRef_tmp[0]))59 60; CHECK: for (int c0 = 0; c0 <= 64; c0 += 1) {61; CHECK-NEXT: Stmt_bb7(c0);62; CHECK-NEXT: Stmt_bb10(c0);63; CHECK-NEXT: }64 65; CHECK: else66; CHECK-NEXT: { /* original code */ }67 68