test/Analysis/MemorySSA/pr43320.ll

   1 ; RUN: opt -licm -enable-mssa-loop-dependency -verify-memoryssa -S < %s | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   5 target triple = "aarch64-unknown-none-eabi"
   6
   7 ; CHECK-LABEL: @e()
   8 define void @e() {
   9 entry:
  10   br label %g
  11
  12 g:                                                ; preds = %cleanup, %entry
  13   %0 = load i32, i32* null, align 4
  14   %and = and i32 %0, undef
  15   store i32 %and, i32* null, align 4
  16   br i1 undef, label %if.end8, label %if.then
  17
  18 if.then:                                          ; preds = %g
  19   br i1 undef, label %k, label %cleanup
  20
  21 k:                                                ; preds = %if.end8, %if.then
  22   br i1 undef, label %if.end8, label %cleanup
  23
  24 if.end8:                                          ; preds = %k, %g
  25   br i1 undef, label %for.cond.preheader, label %k
  26
  27 for.cond.preheader:                               ; preds = %if.end8
  28   unreachable
  29
  30 cleanup:                                          ; preds = %k, %if.then
  31   br label %g
  32 }
  33