1- // skip-filecheck
21// Checks that only functions with compatible attributes are inlined.
32//
43// only-x86_64
1211// EMIT_MIR inline_compatibility.inlined_target_feature.Inline.diff
1312#[ target_feature( enable = "sse2" ) ]
1413pub unsafe fn inlined_target_feature ( ) {
14+ // CHECK-LABEL: fn inlined_target_feature(
15+ // CHECK: (inlined target_feature)
1516 target_feature ( ) ;
1617}
1718
1819// EMIT_MIR inline_compatibility.not_inlined_target_feature.Inline.diff
1920pub unsafe fn not_inlined_target_feature ( ) {
21+ // CHECK-LABEL: fn not_inlined_target_feature(
22+ // CHECK-NOT: (inlined target_feature)
2023 target_feature ( ) ;
2124}
2225
2326// EMIT_MIR inline_compatibility.inlined_no_sanitize.Inline.diff
2427#[ no_sanitize( address) ]
2528pub unsafe fn inlined_no_sanitize ( ) {
29+ // CHECK-LABEL: fn inlined_no_sanitize(
30+ // CHECK: (inlined no_sanitize)
2631 no_sanitize ( ) ;
2732}
2833
2934// EMIT_MIR inline_compatibility.not_inlined_no_sanitize.Inline.diff
3035pub unsafe fn not_inlined_no_sanitize ( ) {
36+ // CHECK-LABEL: fn not_inlined_no_sanitize(
37+ // CHECK-NOT: (inlined no_sanitize)
3138 no_sanitize ( ) ;
3239}
3340
@@ -41,6 +48,8 @@ pub unsafe fn no_sanitize() {}
4148
4249// EMIT_MIR inline_compatibility.not_inlined_c_variadic.Inline.diff
4350pub unsafe fn not_inlined_c_variadic ( ) {
51+ // CHECK-LABEL: fn not_inlined_c_variadic(
52+ // CHECK-NOT: (inlined sum)
4453 let s = sum ( 4u32 , 4u32 , 30u32 , 200u32 , 1000u32 ) ;
4554}
4655
0 commit comments