polly/test/CodeGen/partial_write_full_write_that_appears_partial.ll

   1 ; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
   2
   3 ; CHECK:      polly.stmt.if.then81:                             ; preds = %polly.stmt.if.end75
   4 ; CHECK-NEXT:   store float undef, ptr %fX64, align 4, !alias.scope !0, !noalias !3
   5 ; CHECK-NEXT:   br label %polly.stmt.if.end87.region_exiting
   6
   7 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   8 target triple = "aarch64--linux-android"
   9
  10 %S = type { float, float }
  11
  12 define void @f() {
  13 entry:
  14   %tmp = alloca [2 x %S], align 4
  15   %cmp52 = fcmp olt float undef, undef
  16   %not.cmp52 = xor i1 %cmp52, true
  17   %.147 = zext i1 %not.cmp52 to i64
  18   %fX64 = getelementptr inbounds [2 x %S], ptr %tmp, i64 0, i64 %.147, i32 0
  19   br label %if.end75
  20
  21 if.end75:
  22   %cmp80 = fcmp olt float undef, undef
  23   br i1 %cmp80, label %if.then81, label %if.end87
  24
  25 if.then81:
  26   store float undef, ptr %fX64, align 4
  27   br label %if.end87
  28
  29 if.end87:
  30   %0 = phi float [ undef, %if.then81 ], [ undef, %if.end75 ]
  31   ret void
  32 }