Lines Matching refs:LAA

1 …t-access-info' -aa-pipeline='basic-aa' -disable-output < %s  2>&1 | FileCheck %s --check-prefix=LAA
22 ; LAA-LABEL: f1
23 ; LAA: Memory dependences are safe{{$}}
24 ; LAA: SCEV assumptions:
25 ; LAA-NEXT: {0,+,2}<%for.body> Added Flags: <nusw>
26 ; LAA-NEXT: {%a,+,4}<%for.body> Added Flags: <nusw>
33 ; LAA: [PSE]  %arrayidxA = getelementptr i16, i16* %a, i64 %mul_ext:
34 ; LAA-NEXT: ((2 * (zext i32 {0,+,2}<%for.body> to i64))<nuw><nsw> + %a)
35 ; LAA-NEXT: --> {%a,+,4}<%for.body>
89 ; LAA-LABEL: f2
90 ; LAA: Memory dependences are safe{{$}}
91 ; LAA: SCEV assumptions:
92 ; LAA-NEXT: {(2 * (trunc i64 %N to i32)),+,-2}<%for.body> Added Flags: <nusw>
93 ; LAA-NEXT: {((4 * (zext i31 (trunc i64 %N to i31) to i64))<nuw><nsw> + %a),+,-4}<%for.body> Added …
100 ; LAA: [PSE]  %arrayidxA = getelementptr i16, i16* %a, i64 %mul_ext:
101 ; LAA-NEXT: ((2 * (zext i32 {(2 * (trunc i64 %N to i32)),+,-2}<%for.body> to i64))<nuw><nsw> + %a)
102 ; LAA-NEXT: --> {((4 * (zext i31 (trunc i64 %N to i31) to i64))<nuw><nsw> + %a),+,-4}<%for.body>
140 ; LAA-LABEL: f3
141 ; LAA: Memory dependences are safe{{$}}
142 ; LAA: SCEV assumptions:
143 ; LAA-NEXT: {0,+,2}<%for.body> Added Flags: <nssw>
144 ; LAA-NEXT: {%a,+,4}<%for.body> Added Flags: <nusw>
151 ; LAA: [PSE]  %arrayidxA = getelementptr i16, i16* %a, i64 %mul_ext:
152 ; LAA-NEXT: ((2 * (sext i32 {0,+,2}<%for.body> to i64))<nsw> + %a)
153 ; LAA-NEXT: --> {%a,+,4}<%for.body>
187 ; LAA-LABEL: f4
188 ; LAA: Memory dependences are safe{{$}}
189 ; LAA: SCEV assumptions:
190 ; LAA-NEXT: {(2 * (trunc i64 %N to i32)),+,-2}<%for.body> Added Flags: <nssw>
191 ; LAA-NEXT: {((2 * (sext i32 (2 * (trunc i64 %N to i32)) to i64))<nsw> + %a),+,-4}<%for.body> Added…
198 ; LAA: [PSE]  %arrayidxA = getelementptr i16, i16* %a, i64 %mul_ext:
199 ; LAA-NEXT: ((2 * (sext i32 {(2 * (trunc i64 %N to i32)),+,-2}<%for.body> to i64))<nsw> + %a)
200 ; LAA-NEXT: --> {((2 * (sext i32 (2 * (trunc i64 %N to i32)) to i64))<nsw> + %a),+,-4}<%for.body>
242 ; LAA-LABEL: f5
243 ; LAA: Memory dependences are safe{{$}}
244 ; LAA: SCEV assumptions:
245 ; LAA-NEXT: {(2 * (trunc i64 %N to i32)),+,-2}<%for.body> Added Flags: <nssw>
246 ; LAA-NEXT: {((2 * (sext i32 (2 * (trunc i64 %N to i32)) to i64))<nsw> + %a),+,-4}<%for.body> Added…
248 ; LAA: [PSE]  %arrayidxA = getelementptr inbounds i16, i16* %a, i32 %mul:
249 ; LAA-NEXT: ((2 * (sext i32 {(2 * (trunc i64 %N to i32)),+,-2}<%for.body> to i64))<nsw> + %a)
250 ; LAA-NEXT: --> {((2 * (sext i32 (2 * (trunc i64 %N to i32)) to i64))<nsw> + %a),+,-4}<%for.body>