1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 5 2; RUN: opt -passes='print<access-info>' -disable-output %s 2>&1 | FileCheck %s 3 4target datalayout = "p:16:16" 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 loop 10; 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 1 15; CHECK-EMPTY: 16; CHECK-NEXT: Run-time memory checks: 17; CHECK-NEXT: Grouped accesses: 18; CHECK-EMPTY: 19; CHECK-NEXT: Non vectorizable stores to invariant address were not found in loop. 20; CHECK-NEXT: SCEV assumptions: 21; CHECK-NEXT: {0,+,1}<%loop> Added Flags: <nusw> 22; CHECK-NEXT: {%v,+,4}<%loop> Added Flags: <nusw> 23; CHECK-EMPTY: 24; CHECK-NEXT: Expressions re-written: 25; 26entry: 27 br label %loop 28 29loop: 30 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ] 31 %iv.i16 = trunc i64 %iv to i16 32 %gep.iv.i16 = getelementptr { i16, i16 }, ptr %v, i16 %iv.i16 33 store i16 0, ptr %gep.iv.i16, align 1 34 store i16 0, ptr %v, align 1 35 %iv.next = add i64 %iv, 1 36 %iv.i32 = trunc i64 %iv to i32 37 %.not = icmp ult i32 %N, %iv.i32 38 br i1 %.not, label %exit, label %loop 39 40exit: 41 ret void 42} 43 44define void @int_and_multiple_pointer_predicates(ptr %v, ptr %w, i32 %N) { 45; CHECK-LABEL: 'int_and_multiple_pointer_predicates' 46; CHECK-NEXT: loop: 47; 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 loop 48; CHECK-NEXT: Unknown data dependence. 49; CHECK-NEXT: Dependences: 50; CHECK-NEXT: Unknown: 51; CHECK-NEXT: store i16 0, ptr %gep.v, align 1 -> 52; CHECK-NEXT: store i16 0, ptr %v, align 1 53; CHECK-EMPTY: 54; CHECK-NEXT: Unknown: 55; CHECK-NEXT: store i16 0, ptr %gep.w, align 1 -> 56; CHECK-NEXT: store i16 0, ptr %w, align 1 57; CHECK-EMPTY: 58; CHECK-NEXT: Run-time memory checks: 59; CHECK-NEXT: Check 0: 60; CHECK-NEXT: Comparing group ([[GRP1:0x[0-9a-f]+]]): 61; CHECK-NEXT: ptr %v 62; CHECK-NEXT: Against group ([[GRP2:0x[0-9a-f]+]]): 63; CHECK-NEXT: ptr %w 64; CHECK-NEXT: Check 1: 65; CHECK-NEXT: Comparing group ([[GRP1]]): 66; CHECK-NEXT: ptr %v 67; CHECK-NEXT: Against group ([[GRP3:0x[0-9a-f]+]]): 68; CHECK-NEXT: %gep.w = getelementptr { i16, i16 }, ptr %w, i16 %iv.i16 69; CHECK-NEXT: Check 2: 70; CHECK-NEXT: Comparing group ([[GRP4:0x[0-9a-f]+]]): 71; CHECK-NEXT: %gep.v = getelementptr { i16, i16 }, ptr %v, i16 %iv.i16 72; CHECK-NEXT: Against group ([[GRP2]]): 73; CHECK-NEXT: ptr %w 74; CHECK-NEXT: Check 3: 75; CHECK-NEXT: Comparing group ([[GRP4]]): 76; CHECK-NEXT: %gep.v = getelementptr { i16, i16 }, ptr %v, i16 %iv.i16 77; CHECK-NEXT: Against group ([[GRP3]]): 78; CHECK-NEXT: %gep.w = getelementptr { i16, i16 }, ptr %w, i16 %iv.i16 79; CHECK-NEXT: Grouped accesses: 80; CHECK-NEXT: Group [[GRP1]]: 81; CHECK-NEXT: (Low: %v High: (2 + %v)) 82; CHECK-NEXT: Member: %v 83; CHECK-NEXT: Group [[GRP4]]: 84; CHECK-NEXT: (Low: %v High: (6 + (4 * (trunc i32 %N to i16)) + %v)) 85; CHECK-NEXT: Member: {%v,+,4}<%loop> 86; CHECK-NEXT: Group [[GRP2]]: 87; CHECK-NEXT: (Low: %w High: (2 + %w)) 88; CHECK-NEXT: Member: %w 89; CHECK-NEXT: Group [[GRP3]]: 90; CHECK-NEXT: (Low: %w High: (6 + (4 * (trunc i32 %N to i16)) + %w)) 91; CHECK-NEXT: Member: {%w,+,4}<%loop> 92; CHECK-EMPTY: 93; CHECK-NEXT: Non vectorizable stores to invariant address were not found in loop. 94; CHECK-NEXT: SCEV assumptions: 95; CHECK-NEXT: {0,+,1}<%loop> Added Flags: <nusw> 96; CHECK-NEXT: {%v,+,4}<%loop> Added Flags: <nusw> 97; CHECK-NEXT: {%w,+,4}<%loop> Added Flags: <nusw> 98; CHECK-EMPTY: 99; CHECK-NEXT: Expressions re-written: 100; 101entry: 102 br label %loop 103 104loop: 105 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ] 106 %iv.i16 = trunc i64 %iv to i16 107 %gep.v = getelementptr { i16, i16 }, ptr %v, i16 %iv.i16 108 store i16 0, ptr %gep.v, align 1 109 store i16 0, ptr %v, align 1 110 %gep.w = getelementptr { i16, i16 }, ptr %w, i16 %iv.i16 111 store i16 0, ptr %gep.w, align 1 112 store i16 0, ptr %w, align 1 113 %iv.next = add i64 %iv, 1 114 %iv.i32 = trunc i64 %iv to i32 115 %.not = icmp ult i32 %N, %iv.i32 116 br i1 %.not, label %exit, label %loop 117 118exit: 119 ret void 120} 121