19 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --check-globals --version 22; RUN: opt < %s -passes=instcombine -S | FileCheck %s3; rdar://68807324declare double @t1(i32) readonly willreturn5 6define void @t2() nounwind {7; CHECK: Function Attrs: nounwind8; CHECK-LABEL: define void @t29; CHECK-SAME: () #[[ATTR1:[0-9]+]] {10; CHECK-NEXT: ret void11;12 call double @t1(i32 42) ;; dead call even though callee is not nothrow.13 ret void14}15;.16; CHECK: attributes #[[ATTR0:[0-9]+]] = { willreturn memory(read) }17; CHECK: attributes #[[ATTR1]] = { nounwind }18;.19