[flang] Fix length handling in character kind implicit conversion (#74586)
[llvm-project.git] / polly / test / ScopInfo / invariant_load_base_pointer_conditional.ll
blob07f2c3768b0ad2e38d815587c3dfed249b864c11
1 ; RUN: opt %loadPolly -polly-print-scops -polly-invariant-load-hoisting=true -polly-ignore-aliasing -polly-process-unprofitable -disable-output < %s | FileCheck %s
3 ; CHECK: Invariant Accesses:
4 ; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]
5 ; CHECK-NEXT:   [N] -> { Stmt_bb5[i0] -> MemRef_BPLoc[0] };
7 ;    void f(int **BPLoc, int *A, int N) {
8 ;      for (int i = 0; i < N; i++)
9 ;        if (i > 512)
10 ;          (*BPLoc)[i] = 0;
11 ;        else
12 ;          A[i] = 0;
13 ;    }
15 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
17 define void @f(ptr %BPLoc, ptr %A, i32 %N) {
18 bb:
19   %tmp = sext i32 %N to i64
20   br label %bb1
22 bb1:                                              ; preds = %bb11, %bb
23   %indvars.iv = phi i64 [ %indvars.iv.next, %bb11 ], [ 0, %bb ]
24   %tmp2 = icmp slt i64 %indvars.iv, %tmp
25   br i1 %tmp2, label %bb3, label %bb12
27 bb3:                                              ; preds = %bb1
28   %tmp4 = icmp sgt i64 %indvars.iv, 512
29   br i1 %tmp4, label %bb5, label %bb8
31 bb5:                                              ; preds = %bb3
32   %tmp6 = load ptr, ptr %BPLoc, align 8
33   %tmp7 = getelementptr inbounds i32, ptr %tmp6, i64 %indvars.iv
34   store i32 0, ptr %tmp7, align 4
35   br label %bb10
37 bb8:                                              ; preds = %bb3
38   %tmp9 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv
39   store i32 0, ptr %tmp9, align 4
40   br label %bb10
42 bb10:                                             ; preds = %bb8, %bb5
43   br label %bb11
45 bb11:                                             ; preds = %bb10
46   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
47   br label %bb1
49 bb12:                                             ; preds = %bb1
50   ret void