[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / DebugInfo / check-debugify-preserves-analyses.ll
blob08195da75e853d5d0bb95be6b79f137f4c94ad9c
1 ; RUN: opt < %s -globals-aa -functionattrs | \
2 ; RUN:   opt -S -strip -strip-dead-prototypes -strip-named-metadata > %t.no_dbg
4 ; RUN: opt < %s -debugify-each -globals-aa -functionattrs | \
5 ; RUN:   opt -S -strip -strip-dead-prototypes -strip-named-metadata > %t.with_dbg
7 ; RUN: diff %t.no_dbg %t.with_dbg
9 define i32 @f_1(i32 %x) {
10   %tmp = call i32 @f_1(i32 0) [ "deopt"() ]
11   ret i32 0