1; RUN: opt -passes='early-cse<memssa>' -S < %s | FileCheck %s 2 3; Check that this doesn't crash. The crash only happens with expensive checks, 4; but there doesn't seem to be a REQUIRES for that. 5 6; CHECK: invoke void @f1 7 8target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" 9target triple = "x86_64-unknown-linux-gnu" 10 11%s.0 = type { %s.1 } 12%s.1 = type { ptr } 13%s.2 = type { %s.3, %s.6, %s.16 } 14%s.3 = type { %s.4, %s.5 } 15%s.4 = type { ptr, i64 } 16%s.5 = type { ptr } 17%s.6 = type <{ %s.7, %s.10, ptr, i32, [4 x i8] }> 18%s.7 = type { ptr, %s.8, ptr, ptr, ptr, ptr, ptr, ptr } 19%s.8 = type { ptr } 20%s.9 = type opaque 21%s.10 = type { %s.11 } 22%s.11 = type { %s.12 } 23%s.12 = type { %s.13 } 24%s.13 = type { %s.14 } 25%s.14 = type { %s.15 } 26%s.15 = type { i64, i64, ptr } 27%s.16 = type <{ %s.17, ptr, i32 }> 28%s.17 = type { ptr, i32, i64, i64, i32, i32, ptr, ptr, ptr, ptr, i64, i64, ptr, i64, i64, ptr, i64, i64 } 29%s.18 = type { ptr, %s.16 } 30%s.19 = type { i8, %s.20 } 31%s.20 = type { %s.21 } 32%s.21 = type { ptr, %s.24, %s.26 } 33%s.22 = type { ptr } 34%s.23 = type <{ %s.22, ptr, ptr, i8, [7 x i8] }> 35%s.24 = type { %s.25 } 36%s.25 = type { %s.22 } 37%s.26 = type { %s.27 } 38%s.27 = type { i64 } 39 40@g0 = external constant [1 x i8], align 1 41 42declare i32 @f0(...) 43 44; Function Attrs: uwtable 45declare void @f1(ptr nocapture) align 2 46 47declare void @f2(ptr, ptr) 48 49declare void @f3(ptr, ptr, i32) 50 51define ptr @f4(ptr %a0, ptr %a1, i32 %a2, ptr %a3) align 2 personality ptr @f0 { 52b0: 53 %v0 = alloca %s.0, align 8 54 br label %b1 55 56b1: ; preds = %b0 57 invoke void @f5(ptr nonnull sret(%s.10) align 8 undef, ptr nonnull undef) 58 to label %b6 unwind label %b3 59 60b2: ; preds = %b2 61 %v1 = invoke nonnull align 8 dereferenceable(24) ptr @f6(ptr undef, i64 undef, i64 1) 62 to label %b2 unwind label %b4 63 64b3: ; preds = %b1 65 %v2 = landingpad { ptr, i32 } 66 cleanup 67 br label %b5 68 69b4: ; preds = %b2 70 %v3 = landingpad { ptr, i32 } 71 cleanup 72 br label %b5 73 74b5: ; preds = %b4, %b3 75 resume { ptr, i32 } undef 76 77b6: ; preds = %b1 78 invoke void @f1(ptr nonnull %v0) 79 to label %b8 unwind label %b7 80 81b7: ; preds = %b6 82 %v4 = landingpad { ptr, i32 } 83 cleanup 84 br label %b20 85 86b8: ; preds = %b6 87 invoke void @f2(ptr sret(%s.10) align 8 undef, ptr undef) 88 to label %b10 unwind label %b14 89 90b9: ; No predecessors! 91 br label %b16 92 93b10: ; preds = %b8 94 %v6 = invoke i32 @f7(ptr nonnull undef, i64 0, i64 -1, ptr @g0, i64 undef) 95 to label %b12 unwind label %b11 96 97b11: ; preds = %b10 98 %v7 = landingpad { ptr, i32 } 99 catch ptr null 100 unreachable 101 102b12: ; preds = %b10 103 invoke void @f3(ptr nonnull sret(%s.10) align 8 undef, ptr %a1, i32 %a2) 104 to label %b13 unwind label %b15 105 106b13: ; preds = %b12 107 unreachable 108 109b14: ; preds = %b8 110 %v8 = landingpad { ptr, i32 } 111 cleanup 112 br label %b16 113 114b15: ; preds = %b12 115 %v9 = landingpad { ptr, i32 } 116 cleanup 117 br label %b16 118 119b16: ; preds = %b15, %b14, %b9 120 br label %b17 121 122b17: ; preds = %b16 123 %v12 = load ptr, ptr %v0, align 8 124 br label %b18 125 126b18: ; preds = %b17 127 call void undef(ptr nonnull %v12) 128 br label %b19 129 130b19: ; preds = %b18 131 store ptr null, ptr %v0, align 8 132 br label %b20 133 134b20: ; preds = %b19, %b7 135 resume { ptr, i32 } undef 136} 137 138declare hidden void @f5(ptr, ptr) 139 140declare ptr @f6(ptr, i64, i64) 141 142declare i32 @f7(ptr, i64, i64, ptr, i64) 143