diff options
Diffstat (limited to 'llvm/test/CodeGen/WinEH/wineh-no-demotion.ll')
| -rw-r--r-- | llvm/test/CodeGen/WinEH/wineh-no-demotion.ll | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/llvm/test/CodeGen/WinEH/wineh-no-demotion.ll b/llvm/test/CodeGen/WinEH/wineh-no-demotion.ll index 4e4206eb2be..4f023947caa 100644 --- a/llvm/test/CodeGen/WinEH/wineh-no-demotion.ll +++ b/llvm/test/CodeGen/WinEH/wineh-no-demotion.ll @@ -39,12 +39,20 @@ shared.cont: unreachable inner: - ; CHECK: %phi = phi i32 [ %x, %right ], [ 0, %invoke.cont2 ], [ %x.for.left, %left ] %phi = phi i32 [ %x, %shared ], [ 0, %invoke.cont2 ] %i = cleanuppad [] call void @h(i32 %phi) unreachable +; CHECK [[INNER_INVOKE_CONT2:inner.*]]: + ; CHECK: call void @h(i32 0) + +; CHECK [[INNER_RIGHT:inner.*]]: + ; CHECK: call void @h(i32 %x) + +; CHECK [[INNER_LEFT:inner.*]]: + ; CHECK: call void @h(i32 %x.for.left) + exit: unreachable } @@ -76,12 +84,16 @@ shared.cont: unreachable inner: - ; CHECK: %x1 = phi i32 [ %x.for.left, %left ], [ %x, %right ] - ; CHECK: call void @h(i32 %x1) %i = cleanuppad [] call void @h(i32 %x) unreachable +; CHECK [[INNER_RIGHT:inner.*]]: + ; CHECK: call void @h(i32 %x) + +; CHECK [[INNER_LEFT:inner.*]]: + ; CHECK: call void @h(i32 %x.for.left) + exit: unreachable } |
