| ; RUN: llvm-link %s %p/func-attrs-b.ll -S -o - | FileCheck %s | 
 | ; PR2382 | 
 |  | 
 | ; CHECK: call void @check0(%struct.S0* sret null, %struct.S0* byval align 4 null, %struct.S0* align 4 null, %struct.S0* byval align 4 null) | 
 | ; CHECK: define void @check0(%struct.S0* sret %agg.result, %struct.S0* byval %arg0, %struct.S0* %arg1, %struct.S0* byval %arg2) | 
 |  | 
 | %struct.S0 = type <{ i8, i8, i8, i8 }> | 
 |  | 
 | define void @a() { | 
 |   call void @check0(%struct.S0* sret null, %struct.S0* byval align 4 null, %struct.S0* align 4 null, %struct.S0* byval align 4 null) | 
 |   ret void | 
 | } | 
 |  | 
 | declare void @check0(%struct.S0*, %struct.S0*, %struct.S0*, %struct.S0*) |