test/ScopInfo/invariant_load_access_classes_different_base_type_same_pointer_escaping.ll

   1 ; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
   2 ; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -S < %s | FileCheck %s --check-prefix=CODEGEN
   3 ;
   4 ;    int U;
   5 ;    int f(int *A) {
   6 ;      int i = 0, x, y;
   7 ;      do {
   8 ;        x = (*(int *)&U);
   9 ;        y = (int)(*(float *)&U);
  10 ;        A[i] = x + y;
  11 ;      } while (i++ < 100);
  12 ;      return x + y;
  13 ;    }
  14 ;
  15 ; CHECK:      Invariant Accesses: {
  16 ; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]
  17 ; CHECK-NEXT:             { Stmt_do_body[i0] -> MemRef_U[0] };
  18 ; CHECK-NEXT:         Execution Context: {  :  }
  19 ; CHECK-NEXT:         ReadAccess :=    [Reduction Type: NONE] [Scalar: 0]
  20 ; CHECK-NEXT:             { Stmt_do_body[i0] -> MemRef_U[0] };
  21 ; CHECK-NEXT:         Execution Context: {  :  }
  22 ; CHECK-NEXT: }
  23 ;
  24 ; CHECK:      Statements {
  25 ; CHECK-NEXT:     Stmt_do_body
  26 ; CHECK-NEXT:         Domain :=
  27 ; CHECK-NEXT:             { Stmt_do_body[i0] : 0 <= i0 <= 100 };
  28 ; CHECK-NEXT:         Schedule :=
  29 ; CHECK-NEXT:             { Stmt_do_body[i0] -> [i0] };
  30 ; CHECK-NEXT:         MustWriteAccess :=    [Reduction Type: NONE] [Scalar: 0]
  31 ; CHECK-NEXT:             { Stmt_do_body[i0] -> MemRef_A[i0] };
  32 ; CHECK-NEXT: }
  33 ;
  34 ; CODEGEN: entry:
  35 ; CODEGEN-DAG:   %U.f.preload.s2a = alloca float
  36 ; CODEGEN-DAG:   %U.i.preload.s2a = alloca i32
  37 ; CODEGEN:   br label %polly.split_new_and_old
  38 ;
  39 ; CODEGEN: polly.preload.begin:
  40 ; CODEGEN-DAG:   %U.load[[f:[.0-9]*]] = load float, float* bitcast (i32* @U to float*)
  41 ; CODEGEN-DAG:   store float %U.load[[f]], float* %U.f.preload.s2a
  42 ; CODEGEN-DAG:   %U.load[[i:[.0-9]*]] = load i32, i32* @U
  43 ; CODEGEN-DAG:   store i32 %U.load[[i]], i32* %U.i.preload.s2a
  44 ;
  45 ; CODEGEN:     polly.merge_new_and_old:
  46 ; CODEGEN-DAG:   %U.f.merge = phi float [ %U.f.final_reload, %polly.exiting ], [ %U.f, %do.cond ]
  47 ; CODEGEN-DAG:   %U.i.merge = phi i32 [ %U.i.final_reload, %polly.exiting ], [ %U.i, %do.cond ]
  48 ;
  49 ; CODEGEN: polly.loop_exit:
  50 ; CODEGEN-DAG:   %U.f.final_reload = load float, float* %U.f.preload.s2a
  51 ; CODEGEN-DAG:   %U.i.final_reload = load i32, i32* %U.i.preload.s2a
  52 ;
  53 ; CODEGEN: polly.stmt.do.body:
  54 ; CODEGEN:   %p_add = add nsw i32 %U.load[[i]], %p_conv
  55 ;
  56 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  57
  58 @U = common global i32 0, align 4
  59
  60 define i32 @f(i32* %A) {
  61 entry:
  62   br label %do.body
  63
  64 do.body:                                          ; preds = %do.cond, %entry
  65   %indvars.iv = phi i64 [ %indvars.iv.next, %do.cond ], [ 0, %entry ]
  66   %U.i = load i32, i32* @U, align 4
  67   %U.cast = bitcast i32 *@U to float*
  68   %U.f = load float, float* %U.cast, align 4
  69   %conv = fptosi float %U.f to i32
  70   %add = add nsw i32 %U.i, %conv
  71   %arrayidx = getelementptr inbounds i32, i32* %A, i64 %indvars.iv
  72   store i32 %add, i32* %arrayidx, align 4
  73   br label %do.cond
  74
  75 do.cond:                                          ; preds = %do.body
  76   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  77   %exitcond = icmp ne i64 %indvars.iv.next, 101
  78   br i1 %exitcond, label %do.body, label %do.end
  79
  80 do.end:                                           ; preds = %do.cond
  81   %conv2 = fptosi float %U.f to i32
  82   %add2 = add nsw i32 %U.i, %conv2
  83   ret i32 %add2
  84 }