| ; 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 |
| } |
