[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / InstSimplify / remove-dead-call.ll
blob172a99131152f40410adc36b61b8cb8ef5a5c840
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -instsimplify -S -o /dev/null -debug-pass=Details 2>&1 | FileCheck --check-prefix DETAILS %s
3 ; RUN: opt < %s -instsimplify -S -o - | FileCheck %s
5 ; Verify that InstSimplifyLegacyPass notifies the pass manager about changes
6 ; being made (when a call is removed CGSCC must be updated).
8 ; DETAILS: Made Modification 'Remove redundant instructions' on Function 'main'
10 define internal void @func_1(i64* nocapture readnone %0) #0 {
11 ; CHECK-LABEL: @func_1(
12 ; CHECK-NEXT:    unreachable
14   unreachable
17 define i16 @main(i16 %0, i16** nocapture readnone %1) #1 {
18 ; CHECK-LABEL: @main(
19 ; CHECK-NEXT:  bb1:
20 ; CHECK-NEXT:    unreachable
22 bb1:
23   call void @func_1(i64* undef)
24   unreachable
27 attributes #0 = { noinline norecurse nounwind readnone }
28 attributes #1 = { norecurse nounwind readnone }