143 lines · plain
1; RUN: opt -passes='early-cse<memssa>' -S < %s | FileCheck %s2 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 @f17 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 opaque21%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 141 42declare i32 @f0(...)43 44; Function Attrs: uwtable45declare void @f1(ptr nocapture) align 246 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 854 br label %b155 56b1: ; preds = %b057 invoke void @f5(ptr nonnull sret(%s.10) align 8 undef, ptr nonnull undef)58 to label %b6 unwind label %b359 60b2: ; preds = %b261 %v1 = invoke nonnull align 8 dereferenceable(24) ptr @f6(ptr undef, i64 undef, i64 1)62 to label %b2 unwind label %b463 64b3: ; preds = %b165 %v2 = landingpad { ptr, i32 }66 cleanup67 br label %b568 69b4: ; preds = %b270 %v3 = landingpad { ptr, i32 }71 cleanup72 br label %b573 74b5: ; preds = %b4, %b375 resume { ptr, i32 } undef76 77b6: ; preds = %b178 invoke void @f1(ptr nonnull %v0)79 to label %b8 unwind label %b780 81b7: ; preds = %b682 %v4 = landingpad { ptr, i32 }83 cleanup84 br label %b2085 86b8: ; preds = %b687 invoke void @f2(ptr sret(%s.10) align 8 undef, ptr undef)88 to label %b10 unwind label %b1489 90b9: ; No predecessors!91 br label %b1692 93b10: ; preds = %b894 %v6 = invoke i32 @f7(ptr nonnull undef, i64 0, i64 -1, ptr @g0, i64 undef)95 to label %b12 unwind label %b1196 97b11: ; preds = %b1098 %v7 = landingpad { ptr, i32 }99 catch ptr null100 unreachable101 102b12: ; preds = %b10103 invoke void @f3(ptr nonnull sret(%s.10) align 8 undef, ptr %a1, i32 %a2)104 to label %b13 unwind label %b15105 106b13: ; preds = %b12107 unreachable108 109b14: ; preds = %b8110 %v8 = landingpad { ptr, i32 }111 cleanup112 br label %b16113 114b15: ; preds = %b12115 %v9 = landingpad { ptr, i32 }116 cleanup117 br label %b16118 119b16: ; preds = %b15, %b14, %b9120 br label %b17121 122b17: ; preds = %b16123 %v12 = load ptr, ptr %v0, align 8124 br label %b18125 126b18: ; preds = %b17127 call void undef(ptr nonnull %v12)128 br label %b19129 130b19: ; preds = %b18131 store ptr null, ptr %v0, align 8132 br label %b20133 134b20: ; preds = %b19, %b7135 resume { ptr, i32 } undef136}137 138declare hidden void @f5(ptr, ptr)139 140declare ptr @f6(ptr, i64, i64)141 142declare i32 @f7(ptr, i64, i64, ptr, i64)143