Mercurial > hg > CbC > CbC_llvm
comparison polly/test/ScopDetect/base_pointer_setNewAccessRelation.ll @ 252:1f2b6ac9f198 llvm-original
LLVM16-1
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 18 Aug 2023 09:04:13 +0900 |
parents | c4bab56944e8 |
children |
comparison
equal
deleted
inserted
replaced
237:c80f45b162ad | 252:1f2b6ac9f198 |
---|---|
5 ; The SCoP is now rejected as a whole because %ptr is not considered a valid | 5 ; The SCoP is now rejected as a whole because %ptr is not considered a valid |
6 ; base pointer. | 6 ; base pointer. |
7 ; | 7 ; |
8 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" | 8 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" |
9 | 9 |
10 declare float* @getNextBasePtr(float*) readnone nounwind | 10 declare ptr @getNextBasePtr(ptr) readnone nounwind |
11 | 11 |
12 define void @base_pointer_is_inst_inside_invariant_1(i64 %n, float* %A) { | 12 define void @base_pointer_is_inst_inside_invariant_1(i64 %n, ptr %A) { |
13 entry: | 13 entry: |
14 br label %for.i | 14 br label %for.i |
15 | 15 |
16 for.i: | 16 for.i: |
17 %indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ] | 17 %indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ] |
18 br label %S1 | 18 br label %S1 |
19 | 19 |
20 S1: | 20 S1: |
21 %ptr = call float* @getNextBasePtr(float* %A) | 21 %ptr = call ptr @getNextBasePtr(ptr %A) |
22 %conv = sitofp i64 %indvar.i to float | 22 %conv = sitofp i64 %indvar.i to float |
23 %arrayidx5 = getelementptr float, float* %ptr, i64 %indvar.i | 23 %arrayidx5 = getelementptr float, ptr %ptr, i64 %indvar.i |
24 store float %conv, float* %arrayidx5, align 4 | 24 store float %conv, ptr %arrayidx5, align 4 |
25 br label %for.i.inc | 25 br label %for.i.inc |
26 | 26 |
27 for.i.inc: | 27 for.i.inc: |
28 %indvar.i.next = add i64 %indvar.i, 1 | 28 %indvar.i.next = add i64 %indvar.i, 1 |
29 %exitcond.i = icmp ne i64 %indvar.i.next, %n | 29 %exitcond.i = icmp ne i64 %indvar.i.next, %n |