37 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=newgvn -S | FileCheck %s3target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64-apple-macosx10.12.0"5 6;; Ensure the invoke does not accidentally get deleted as unused, just because the value is not used.7 8; Function Attrs: norecurse ssp uwtable9define i32 @main() personality ptr @__gxx_personality_v0{10; CHECK-LABEL: @main(11; CHECK-NEXT: [[TMP1:%.*]] = invoke i32 @foo()12; CHECK-NEXT: to label [[GOOD:%.*]] unwind label [[BAD:%.*]]13; CHECK: good:14; CHECK-NEXT: ret i32 515; CHECK: bad:16; CHECK-NEXT: [[TMP2:%.*]] = landingpad { ptr, i32 }17; CHECK-NEXT: cleanup18; CHECK-NEXT: resume { ptr, i32 } [[TMP2]]19;20 %1 = invoke i32 @foo()21 to label %good unwind label %bad22 23good:24; <label>:15: ; preds = %.preheader25 ret i32 526 27 28bad:29; <label>:20: ; preds = %15, %.preheader30 %2 = landingpad { ptr, i32 }31 cleanup32 resume { ptr, i32 } %233}34 35declare i32 @foo()36declare i32 @__gxx_personality_v0(...)37