[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Feature / paramattrs.ll
blobd24791ee67328048e61c9b6e4b5a17b2a65bb1f5
1 ; RUN: llvm-as < %s | llvm-dis > %t1.ll
2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
3 ; RUN: diff %t1.ll %t2.ll
5 %ZFunTy = type i32(i8)
6 %SFunTy = type i32(i8)
8 declare signext i16 @"test"(i16 signext %arg)  
9 declare zeroext i8 @"test2" (i16 zeroext %a2) 
11 declare i32 @"test3"(i32* noalias %p)
13 declare void @exit(i32) noreturn nounwind
15 define i32 @main(i32 inreg %argc, i8 ** inreg %argv) nounwind {
16     %val = trunc i32 %argc to i16
17     %res1 = call signext i16 (i16 )@test(i16 signext %val) 
18     %two = add i16 %res1, %res1
19     %res2 = call zeroext i8 @test2(i16 zeroext %two )  
20     %retVal = sext i16 %two to i32
21     ret i32 %retVal
24 declare void @function_to_resolve_eagerly() nonlazybind