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