; This file is used with func-attrs-a.ll
; RUN: true

%struct.S0 = type <{ i8, i8, i8, i8 }>

define void @check0(%struct.S0* sret %agg.result, %struct.S0* byval %arg0, %struct.S0* %arg1, %struct.S0* byval %arg2) {
  ret void
}
