forked from OSchip/llvm-project
55 lines
1.7 KiB
LLVM
55 lines
1.7 KiB
LLVM
|
; RUN: opt < %s -gvn-hoist -S | FileCheck %s
|
||
|
|
||
|
; This test is meant to make sure that MemorySSAUpdater works correctly
|
||
|
; in non-trivial cases.
|
||
|
|
||
|
; CHECK: if.else218:
|
||
|
; CHECK-NEXT: %0 = getelementptr inbounds %s, %s* undef, i32 0, i32 0
|
||
|
; CHECK-NEXT: %1 = load i32, i32* %0, align 4
|
||
|
|
||
|
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
|
||
|
|
||
|
%s = type { i32, %s**, [3 x i8], i8 }
|
||
|
|
||
|
define void @test() {
|
||
|
entry:
|
||
|
br label %cond.end118
|
||
|
|
||
|
cond.end118: ; preds = %entry
|
||
|
br i1 undef, label %cleanup, label %if.end155
|
||
|
|
||
|
if.end155: ; preds = %cond.end118
|
||
|
br label %while.cond
|
||
|
|
||
|
while.cond: ; preds = %while.body, %if.end155
|
||
|
br i1 undef, label %while.end, label %while.body
|
||
|
|
||
|
while.body: ; preds = %while.cond
|
||
|
br label %while.cond
|
||
|
|
||
|
while.end: ; preds = %while.cond
|
||
|
switch i32 undef, label %if.else218 [
|
||
|
i32 1, label %cleanup
|
||
|
i32 0, label %if.then174
|
||
|
]
|
||
|
|
||
|
if.then174: ; preds = %while.end
|
||
|
unreachable
|
||
|
|
||
|
if.else218: ; preds = %while.end
|
||
|
br i1 undef, label %if.then226, label %if.else326
|
||
|
|
||
|
if.then226: ; preds = %if.else218
|
||
|
%size227 = getelementptr inbounds %s, %s* undef, i32 0, i32 0
|
||
|
%0 = load i32, i32* %size227, align 4
|
||
|
unreachable
|
||
|
|
||
|
if.else326: ; preds = %if.else218
|
||
|
%size330 = getelementptr inbounds %s, %s* undef, i32 0, i32 0
|
||
|
%1 = load i32, i32* %size330, align 4
|
||
|
unreachable
|
||
|
|
||
|
cleanup: ; preds = %while.end, %cond.end118
|
||
|
ret void
|
||
|
}
|