; RUN: llvm-as < %s | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

%ZFunTy = type i32(i8 @zext)
%SFunTy = type i32(i8 @sext)

declare i16 @(sext) "test"(i16 @sext %arg)
declare i8 @zext "test2" (i16 @zext %a2)

implementation

define i32 %main(i32 %argc, i8 **%argv) {
    %val = trunc i32 %argc to i16
    %res = call i16 @sext (i16 @sext) *%test(i16 %val)
    %two = add i16 %res, %res
    %res = call i8 @zext %test2(i16 %two @zext)
    %retVal = sext i16 %two to i32
    ret i32 %retVal
}


Fix the test case for the change in parameter attribute syntax. The @ is no longer needed and the @(...) syntax has been dropped in favor of a simple space separated list of attribute names.
; RUN: llvm-as < %s | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

%ZFunTy = type i32(i8 zext)
%SFunTy = type i32(i8 sext)

declare i16 "test"(i16 sext %arg) sext 
declare i8 "test2" (i16 zext %a2) zext 

implementation

define i32 %main(i32 %argc, i8 **%argv) {
    %val = trunc i32 %argc to i16
    %res = call i16 (i16 sext) sext *%test(i16 %val)
    %two = add i16 %res, %res
    %res = call i8 %test2(i16 %two zext) zext 
    %retVal = sext i16 %two to i32
    ret i32 %retVal
}