Skip to content

Commit c1f37fc

Browse files
committed
[𝘀𝗽𝗿] changes introduced through rebase
Created using spr 1.3.6-beta.1 [skip ci]
1 parent 8c7b1ab commit c1f37fc

File tree

1 file changed

+8
-8
lines changed

1 file changed

+8
-8
lines changed

llvm/test/Transforms/InstCombine/callee-type-metadata.ll

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,23 @@
11
;; Test if the callee_type metadata is dropped when an indirect function call through a function ptr is promoted
22
;; to a direct function call during instcombine.
33

4-
; RUN: opt < %s -O2 | llvm-dis | FileCheck %s
4+
; RUN: opt < %s -passes="cgscc(inline),instcombine" -S | FileCheck %s
55

6-
define dso_local noundef i32 @_Z13call_indirectPFicEc(ptr noundef %func, i8 noundef signext %x) local_unnamed_addr !type !0 {
6+
define i32 @_Z13call_indirectPFicEc(ptr %func, i8 %x) local_unnamed_addr !type !0 {
77
entry:
8-
%call = call noundef i32 %func(i8 noundef signext %x), !callee_type !1
8+
%call = call i32 %func(i8 %x), !callee_type !1
99
ret i32 %call
1010
}
1111

12-
define dso_local noundef i32 @_Z3barv() local_unnamed_addr !type !3 {
12+
define i32 @_Z3barv() local_unnamed_addr !type !3 {
1313
entry:
14-
; CHECK: %call.i = tail call noundef i32 @_Z3fooc(i8 noundef signext 97)
15-
; CHECK-NOT: %call.i = tail call noundef i32 @_Z3fooc(i8 noundef signext 97), !callee_type !1
16-
%call = call noundef i32 @_Z13call_indirectPFicEc(ptr noundef nonnull @_Z3fooc, i8 noundef signext 97)
14+
; CHECK: %call.i = call i32 @_Z3fooc(i8 97)
15+
; CHECK-NOT: %call.i = call i32 @_Z3fooc(i8 97), !callee_type !1
16+
%call = call i32 @_Z13call_indirectPFicEc(ptr nonnull @_Z3fooc, i8 97)
1717
ret i32 %call
1818
}
1919

20-
declare !type !2 noundef i32 @_Z3fooc(i8 noundef signext)
20+
declare !type !2 i32 @_Z3fooc(i8 signext)
2121

2222
!0 = !{i64 0, !"_ZTSFiPvcE.generalized"}
2323
!1 = !{!2}

0 commit comments

Comments
 (0)