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