161 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes='print<access-info>' -disable-output %s 2>&1 | FileCheck %s3 4target datalayout = "p:16:16-p3:32:32"5 6define void @int_and_pointer_predicate(ptr %v, i32 %N) {7; CHECK-LABEL: 'int_and_pointer_predicate'8; CHECK-NEXT: loop:9; CHECK-NEXT: Report: unsafe dependent memory operations in loop. Use #pragma clang loop distribute(enable) to allow loop distribution to attempt to isolate the offending operations into a separate loop10; CHECK-NEXT: Unknown data dependence.11; CHECK-NEXT: Dependences:12; CHECK-NEXT: Unknown:13; CHECK-NEXT: store i16 0, ptr %gep.iv.i16, align 1 ->14; CHECK-NEXT: store i16 0, ptr %v, align 115; CHECK-EMPTY:16; CHECK-NEXT: Run-time memory checks:17; CHECK-NEXT: Grouped accesses:18; CHECK-NEXT: Group GRP0:19; CHECK-NEXT: (Low: %v High: (2 + %v))20; CHECK-NEXT: Member: %v21; CHECK-NEXT: Group GRP1:22; CHECK-NEXT: (Low: %v High: (6 + (4 * (trunc i32 %N to i16)) + %v))23; CHECK-NEXT: Member: {%v,+,4}<%loop>24; CHECK-EMPTY:25; CHECK-NEXT: Non vectorizable stores to invariant address were not found in loop.26; CHECK-NEXT: SCEV assumptions:27; CHECK-NEXT: {0,+,1}<%loop> Added Flags: <nusw>28; CHECK-NEXT: {%v,+,4}<%loop> Added Flags: <nusw>29; CHECK-EMPTY:30; CHECK-NEXT: Expressions re-written:31;32entry:33 br label %loop34 35loop:36 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]37 %iv.i16 = trunc i64 %iv to i1638 %gep.iv.i16 = getelementptr { i16, i16 }, ptr %v, i16 %iv.i1639 store i16 0, ptr %gep.iv.i16, align 140 store i16 0, ptr %v, align 141 %iv.next = add i64 %iv, 142 %iv.i32 = trunc i64 %iv to i3243 %.not = icmp ult i32 %N, %iv.i3244 br i1 %.not, label %exit, label %loop45 46exit:47 ret void48}49 50define void @int_and_multiple_pointer_predicates(ptr %v, ptr %w, i32 %N) {51; CHECK-LABEL: 'int_and_multiple_pointer_predicates'52; CHECK-NEXT: loop:53; CHECK-NEXT: Report: unsafe dependent memory operations in loop. Use #pragma clang loop distribute(enable) to allow loop distribution to attempt to isolate the offending operations into a separate loop54; CHECK-NEXT: Unknown data dependence.55; CHECK-NEXT: Dependences:56; CHECK-NEXT: Unknown:57; CHECK-NEXT: store i16 0, ptr %gep.v, align 1 ->58; CHECK-NEXT: store i16 0, ptr %v, align 159; CHECK-EMPTY:60; CHECK-NEXT: Unknown:61; CHECK-NEXT: store i16 0, ptr %gep.w, align 1 ->62; CHECK-NEXT: store i16 0, ptr %w, align 163; CHECK-EMPTY:64; CHECK-NEXT: Run-time memory checks:65; CHECK-NEXT: Check 0:66; CHECK-NEXT: Comparing group GRP0:67; CHECK-NEXT: ptr %v68; CHECK-NEXT: Against group GRP2:69; CHECK-NEXT: ptr %w70; CHECK-NEXT: Check 1:71; CHECK-NEXT: Comparing group GRP0:72; CHECK-NEXT: ptr %v73; CHECK-NEXT: Against group GRP3:74; CHECK-NEXT: %gep.w = getelementptr { i16, i16 }, ptr %w, i16 %iv.i1675; CHECK-NEXT: Check 2:76; CHECK-NEXT: Comparing group GRP1:77; CHECK-NEXT: %gep.v = getelementptr { i16, i16 }, ptr %v, i16 %iv.i1678; CHECK-NEXT: Against group GRP2:79; CHECK-NEXT: ptr %w80; CHECK-NEXT: Check 3:81; CHECK-NEXT: Comparing group GRP1:82; CHECK-NEXT: %gep.v = getelementptr { i16, i16 }, ptr %v, i16 %iv.i1683; CHECK-NEXT: Against group GRP3:84; CHECK-NEXT: %gep.w = getelementptr { i16, i16 }, ptr %w, i16 %iv.i1685; CHECK-NEXT: Grouped accesses:86; CHECK-NEXT: Group GRP0:87; CHECK-NEXT: (Low: %v High: (2 + %v))88; CHECK-NEXT: Member: %v89; CHECK-NEXT: Group GRP1:90; CHECK-NEXT: (Low: %v High: (6 + (4 * (trunc i32 %N to i16)) + %v))91; CHECK-NEXT: Member: {%v,+,4}<%loop>92; CHECK-NEXT: Group GRP2:93; CHECK-NEXT: (Low: %w High: (2 + %w))94; CHECK-NEXT: Member: %w95; CHECK-NEXT: Group GRP3:96; CHECK-NEXT: (Low: %w High: (6 + (4 * (trunc i32 %N to i16)) + %w))97; CHECK-NEXT: Member: {%w,+,4}<%loop>98; CHECK-EMPTY:99; CHECK-NEXT: Non vectorizable stores to invariant address were not found in loop.100; CHECK-NEXT: SCEV assumptions:101; CHECK-NEXT: {0,+,1}<%loop> Added Flags: <nusw>102; CHECK-NEXT: {%v,+,4}<%loop> Added Flags: <nusw>103; CHECK-NEXT: {%w,+,4}<%loop> Added Flags: <nusw>104; CHECK-EMPTY:105; CHECK-NEXT: Expressions re-written:106;107entry:108 br label %loop109 110loop:111 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]112 %iv.i16 = trunc i64 %iv to i16113 %gep.v = getelementptr { i16, i16 }, ptr %v, i16 %iv.i16114 store i16 0, ptr %gep.v, align 1115 store i16 0, ptr %v, align 1116 %gep.w = getelementptr { i16, i16 }, ptr %w, i16 %iv.i16117 store i16 0, ptr %gep.w, align 1118 store i16 0, ptr %w, align 1119 %iv.next = add i64 %iv, 1120 %iv.i32 = trunc i64 %iv to i32121 %.not = icmp ult i32 %N, %iv.i32122 br i1 %.not, label %exit, label %loop123 124exit:125 ret void126}127 128define void @pointers_to_different_aspace_predicates(ptr %v, ptr addrspace(3) %w, i32 %N) {129; CHECK-LABEL: 'pointers_to_different_aspace_predicates'130; CHECK-NEXT: loop:131; CHECK-NEXT: Report: cannot identify array bounds132; CHECK-NEXT: Dependences:133; CHECK-NEXT: Run-time memory checks:134; CHECK-NEXT: Grouped accesses:135; CHECK-EMPTY:136; CHECK-NEXT: Non vectorizable stores to invariant address were not found in loop.137; CHECK-NEXT: SCEV assumptions:138; CHECK-NEXT: {0,+,1}<%loop> Added Flags: <nusw>139; CHECK-NEXT: {%v,+,4}<%loop> Added Flags: <nusw>140; CHECK-NEXT: {%w,+,4}<%loop> Added Flags: <nusw>141; CHECK-EMPTY:142; CHECK-NEXT: Expressions re-written:143;144entry:145 br label %loop146 147loop:148 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]149 %gep.v = getelementptr {i16, i16}, ptr %v, i64 %iv150 store i16 0, ptr %gep.v, align 1151 %gep.w = getelementptr i32, ptr addrspace(3) %w, i64 %iv152 store i32 0, ptr addrspace(3) %gep.w, align 1153 %iv.next = add i64 %iv, 1154 %iv.i32 = trunc i64 %iv to i32155 %.not = icmp ult i32 %N, %iv.i32156 br i1 %.not, label %exit, label %loop157 158 exit:159 ret void160 }161