47 lines · plain
1; RUN: opt -passes=always-inline -S < %s | FileCheck %s2 3 4target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-grtev4-linux-gnu"6 7; After AlwaysInline the callee's attributes should be merged into caller's attibutes.8 9; CHECK: define dso_local <2 x i64> @foo(ptr byval(<8 x i64>) align 64 %0)10; CHECK: attributes #0 = { mustprogress uwtable "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="512"11 12; Function Attrs: uwtable mustprogress13define dso_local <2 x i64> @foo(ptr byval(<8 x i64>) align 64 %0) #0 {14entry:15 %kBias.addr = alloca <8 x i64>, align 6416 %indirect-arg-temp = alloca <8 x i64>, align 6417 %kBias = load <8 x i64>, ptr %0, align 64, !tbaa !218 store <8 x i64> %kBias, ptr %kBias.addr, align 64, !tbaa !219 %1 = load <8 x i64>, ptr %kBias.addr, align 64, !tbaa !220 store <8 x i64> %1, ptr %indirect-arg-temp, align 64, !tbaa !221 %call = call <2 x i64> @bar(ptr byval(<8 x i64>) align 64 %indirect-arg-temp)22 ret <2 x i64> %call23}24 25; Function Attrs: alwaysinline nounwind uwtable mustprogress26define internal <2 x i64> @bar(ptr byval(<8 x i64>) align 64 %0) #1 {27entry:28 %__A.addr = alloca <8 x i64>, align 6429 %__A = load <8 x i64>, ptr %0, align 64, !tbaa !230 store <8 x i64> %__A, ptr %__A.addr, align 64, !tbaa !231 %1 = load <8 x i64>, ptr %__A.addr, align 64, !tbaa !232 %2 = bitcast <8 x i64> %1 to <16 x i32>33 %3 = call <16 x i8> @llvm.x86.avx512.mask.pmovs.db.512(<16 x i32> %2, <16 x i8> zeroinitializer, i16 -1)34 %4 = bitcast <16 x i8> %3 to <2 x i64>35 ret <2 x i64> %436}37 38; Function Attrs: nounwind readnone39declare <16 x i8> @llvm.x86.avx512.mask.pmovs.db.512(<16 x i32>, <16 x i8>, i16)40 41attributes #0 = { uwtable mustprogress "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="128" "prefer-vector-width"="128" }42attributes #1 = { alwaysinline nounwind uwtable mustprogress "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="512" "prefer-vector-width"="128" }43 44!2 = !{!3, !3, i64 0}45!3 = !{!"omnipotent char", !4, i64 0}46!4 = !{!"Simple C++ TBAA"}47