; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -mtriple=wasm32-unknown-unknown -S -passes=inline | FileCheck %s
; Check that having functions can be inlined into callers only when
; they have a subset of the caller's features.
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown"
declare void @foo()
define internal void @uses_simd() #0 {
; CHECK-LABEL: @uses_simd(
; CHECK-NEXT: tail call void @foo()
; CHECK-NEXT: ret void
;
tail call void @foo()
ret void
}
define void @many_features() #1 {
; CHECK-LABEL: @many_features(
; CHECK-NEXT: tail call void @foo()
; CHECK-NEXT: ret void
;
tail call fastcc void @uses_simd()
ret void
}
define void @few_features() #2 {
; CHECK-LABEL: @few_features(
; CHECK-NEXT: tail call fastcc void @uses_simd()
; CHECK-NEXT: ret void
;
tail call fastcc void @uses_simd()
ret void
}
attributes #0 = { "target-cpu"="mvp" "target-features"="+simd128"}
attributes #1 = { "target-cpu"="bleeding-edge" "target-features"="+simd128" }
attributes #2 = { "target-cpu"="mvp" "target-features"="+multivalue" }