| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --check-globals --version 2 |
| ; RUN: opt < %s -passes=instcombine -S | FileCheck %s |
| ; rdar://6880732 |
| declare double @t1(i32) readonly willreturn |
| |
| define void @t2() nounwind { |
| ; CHECK: Function Attrs: nounwind |
| ; CHECK-LABEL: define void @t2 |
| ; CHECK-SAME: () #[[ATTR1:[0-9]+]] { |
| ; CHECK-NEXT: ret void |
| ; |
| call double @t1(i32 42) ;; dead call even though callee is not nothrow. |
| ret void |
| } |
| ;. |
| ; CHECK: attributes #[[ATTR0:[0-9]+]] = { willreturn memory(read) } |
| ; CHECK: attributes #[[ATTR1]] = { nounwind } |
| ;. |
