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