polly/test/CodeGen/multiple-types-invariant-load.ll

   1 ; RUN: opt %loadPolly -polly-allow-differing-element-types -polly-codegen -S \
   2 ; RUN: -polly-invariant-load-hoisting=true < %s | FileCheck %s
   3
   4 ; CHECK: %polly.access.global.load = getelementptr i32, ptr %global.load, i64 0
   5 ; CHECK: %polly.access.global.load.load = load i32, ptr %polly.access.global.load
   6
   7 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   8 target triple = "x86_64-unknown-linux-gnu"
   9
  10 %struct.hoge = type { i32, double }
  11
  12 @global = external global ptr, align 8
  13
  14 ; Function Attrs: nounwind uwtable
  15 define void @widget(ptr %A) #0 {
  16 bb:
  17   br label %bb4
  18
  19 bb4:
  20   %tmp = load ptr, ptr @global
  21   %tmp5 = getelementptr inbounds %struct.hoge, ptr %tmp, i64 0, i32 0
  22   %tmp6 = load i32, ptr %tmp5
  23   %tmp7 = getelementptr inbounds %struct.hoge, ptr %tmp, i64 0, i32 1
  24   %tmp8 = load double, ptr %tmp7
  25   store double %tmp8, ptr %A
  26   br i1 false, label %bb11, label %bb12
  27
  28 bb11:
  29   br label %bb12
  30
  31 bb12:
  32   %tmp13 = phi float [ undef, %bb11 ], [ 1.000000e+00, %bb4 ]
  33   ret void
  34 }
  35