| ; RUN: opt -passes='early-cse<memssa>' -S < %s | FileCheck %s |
| |
| ; Check that this doesn't crash. The crash only happens with expensive checks, |
| ; but there doesn't seem to be a REQUIRES for that. |
| |
| ; CHECK: invoke void @f1 |
| |
| target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64-unknown-linux-gnu" |
| |
| %s.0 = type { %s.1 } |
| %s.1 = type { ptr } |
| %s.2 = type { %s.3, %s.6, %s.16 } |
| %s.3 = type { %s.4, %s.5 } |
| %s.4 = type { ptr, i64 } |
| %s.5 = type { ptr } |
| %s.6 = type <{ %s.7, %s.10, ptr, i32, [4 x i8] }> |
| %s.7 = type { ptr, %s.8, ptr, ptr, ptr, ptr, ptr, ptr } |
| %s.8 = type { ptr } |
| %s.9 = type opaque |
| %s.10 = type { %s.11 } |
| %s.11 = type { %s.12 } |
| %s.12 = type { %s.13 } |
| %s.13 = type { %s.14 } |
| %s.14 = type { %s.15 } |
| %s.15 = type { i64, i64, ptr } |
| %s.16 = type <{ %s.17, ptr, i32 }> |
| %s.17 = type { ptr, i32, i64, i64, i32, i32, ptr, ptr, ptr, ptr, i64, i64, ptr, i64, i64, ptr, i64, i64 } |
| %s.18 = type { ptr, %s.16 } |
| %s.19 = type { i8, %s.20 } |
| %s.20 = type { %s.21 } |
| %s.21 = type { ptr, %s.24, %s.26 } |
| %s.22 = type { ptr } |
| %s.23 = type <{ %s.22, ptr, ptr, i8, [7 x i8] }> |
| %s.24 = type { %s.25 } |
| %s.25 = type { %s.22 } |
| %s.26 = type { %s.27 } |
| %s.27 = type { i64 } |
| |
| @g0 = external constant [1 x i8], align 1 |
| |
| declare i32 @f0(...) |
| |
| ; Function Attrs: uwtable |
| declare void @f1(ptr nocapture) align 2 |
| |
| declare void @f2(ptr, ptr) |
| |
| declare void @f3(ptr, ptr, i32) |
| |
| define ptr @f4(ptr %a0, ptr %a1, i32 %a2, ptr %a3) align 2 personality ptr @f0 { |
| b0: |
| %v0 = alloca %s.0, align 8 |
| br label %b1 |
| |
| b1: ; preds = %b0 |
| invoke void @f5(ptr nonnull sret(%s.10) align 8 undef, ptr nonnull undef) |
| to label %b6 unwind label %b3 |
| |
| b2: ; preds = %b2 |
| %v1 = invoke nonnull align 8 dereferenceable(24) ptr @f6(ptr undef, i64 undef, i64 1) |
| to label %b2 unwind label %b4 |
| |
| b3: ; preds = %b1 |
| %v2 = landingpad { ptr, i32 } |
| cleanup |
| br label %b5 |
| |
| b4: ; preds = %b2 |
| %v3 = landingpad { ptr, i32 } |
| cleanup |
| br label %b5 |
| |
| b5: ; preds = %b4, %b3 |
| resume { ptr, i32 } undef |
| |
| b6: ; preds = %b1 |
| invoke void @f1(ptr nonnull %v0) |
| to label %b8 unwind label %b7 |
| |
| b7: ; preds = %b6 |
| %v4 = landingpad { ptr, i32 } |
| cleanup |
| br label %b20 |
| |
| b8: ; preds = %b6 |
| invoke void @f2(ptr sret(%s.10) align 8 undef, ptr undef) |
| to label %b10 unwind label %b14 |
| |
| b9: ; No predecessors! |
| br label %b16 |
| |
| b10: ; preds = %b8 |
| %v6 = invoke i32 @f7(ptr nonnull undef, i64 0, i64 -1, ptr @g0, i64 undef) |
| to label %b12 unwind label %b11 |
| |
| b11: ; preds = %b10 |
| %v7 = landingpad { ptr, i32 } |
| catch ptr null |
| unreachable |
| |
| b12: ; preds = %b10 |
| invoke void @f3(ptr nonnull sret(%s.10) align 8 undef, ptr %a1, i32 %a2) |
| to label %b13 unwind label %b15 |
| |
| b13: ; preds = %b12 |
| unreachable |
| |
| b14: ; preds = %b8 |
| %v8 = landingpad { ptr, i32 } |
| cleanup |
| br label %b16 |
| |
| b15: ; preds = %b12 |
| %v9 = landingpad { ptr, i32 } |
| cleanup |
| br label %b16 |
| |
| b16: ; preds = %b15, %b14, %b9 |
| br label %b17 |
| |
| b17: ; preds = %b16 |
| %v12 = load ptr, ptr %v0, align 8 |
| br label %b18 |
| |
| b18: ; preds = %b17 |
| call void undef(ptr nonnull %v12) |
| br label %b19 |
| |
| b19: ; preds = %b18 |
| store ptr null, ptr %v0, align 8 |
| br label %b20 |
| |
| b20: ; preds = %b19, %b7 |
| resume { ptr, i32 } undef |
| } |
| |
| declare hidden void @f5(ptr, ptr) |
| |
| declare ptr @f6(ptr, i64, i64) |
| |
| declare i32 @f7(ptr, i64, i64, ptr, i64) |
