72 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -polly-print-instructions -disable-output < %s 2>&1 | FileCheck %s2 3; CHECK: Statements {4; CHECK: Stmt_bb465; CHECK: Domain :=6; CHECK: [tmp44, tmp9] -> { Stmt_bb46[] : tmp9 = tmp44 };7; CHECK: Schedule :=8; CHECK: [tmp44, tmp9] -> { Stmt_bb46[] -> [0, 0] };9; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]10; CHECK: [tmp44, tmp9] -> { Stmt_bb46[] -> MemRef_tmp47[] };11; CHECK: Instructions {12; CHECK: %tmp47 = or i64 1, %tmp1413; CHECK: }14; CHECK: Stmt_bb48__TO__bb5615; CHECK: Domain :=16; CHECK: [tmp44, tmp9] -> { Stmt_bb48__TO__bb56[i0] : tmp9 = tmp44 and 0 <= i0 < tmp44 };17; CHECK: Schedule :=18; CHECK: [tmp44, tmp9] -> { Stmt_bb48__TO__bb56[i0] -> [1, i0] };19; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0]20; CHECK: [tmp44, tmp9] -> { Stmt_bb48__TO__bb56[i0] -> MemRef_A[i0] };21; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]22; CHECK: [tmp44, tmp9] -> { Stmt_bb48__TO__bb56[i0] -> MemRef_A[i0] };23; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 1]24; CHECK: [tmp44, tmp9] -> { Stmt_bb48__TO__bb56[i0] -> MemRef_tmp47[] };25; CHECK: MayWriteAccess := [Reduction Type: NONE] [Scalar: 0]26; CHECK: [tmp44, tmp9] -> { Stmt_bb48__TO__bb56[i0] -> MemRef_A[i0] };27; CHECK: Instructions {28; CHECK: %tmp51 = load i64, ptr %tmp50, align 829; CHECK: %tmp52 = and i64 %tmp51, %tmp2630; CHECK: %tmp53 = icmp eq i64 %tmp52, %tmp2631; CHECK: store i64 42, ptr %tmp50, align 832; CHECK: }33; CHECK: }34 35target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"36 37define void @quux(i32 %arg, i32 %arg1, ptr %A, i64 %tmp9, i64 %tmp24, i64 %tmp14, i64 %tmp22, i64 %tmp44) {38bb:39 %tmp26 = or i64 %tmp22, %tmp2440 br label %bb3941 42bb39: ; preds = %bb39, %bb3843 %tmp45 = icmp eq i64 %tmp44, %tmp944 br i1 %tmp45, label %bb46, label %bb8145 46bb46: ; preds = %bb3947 %tmp47 = or i64 1, %tmp1448 br label %bb4849 50bb48: ; preds = %bb56, %bb4651 %tmp49 = phi i64 [ 0, %bb46 ], [ %tmp57, %bb56 ]52 %tmp50 = getelementptr inbounds i64, ptr %A, i64 %tmp4953 %tmp51 = load i64, ptr %tmp50, align 854 %tmp52 = and i64 %tmp51, %tmp2655 %tmp53 = icmp eq i64 %tmp52, %tmp2656 store i64 42, ptr %tmp50, align 857 br i1 %tmp53, label %bb54, label %bb5658 59bb54: ; preds = %bb4860 %tmp55 = xor i64 %tmp51, %tmp4761 store i64 %tmp55, ptr %tmp50, align 862 br label %bb5663 64bb56: ; preds = %bb54, %bb4865 %tmp57 = add nuw nsw i64 %tmp49, 166 %tmp58 = icmp eq i64 %tmp57, %tmp967 br i1 %tmp58, label %bb81, label %bb4868 69bb81: ; preds = %bb74, %bb5670 ret void71}72