blob: 9860f5a6a5bf4f0d7f1c61115f278621228de3f6 [file] [log] [blame]
Reid Spencer724ffc62007-01-03 23:54:02 +00001; 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
4
Chris Lattner6bc5c892011-06-17 17:37:13 +00005%ZFunTy = type i32(i8)
6%SFunTy = type i32(i8)
Reid Spencer724ffc62007-01-03 23:54:02 +00007
Chris Lattnerb90ed222011-06-17 03:14:27 +00008declare signext i16 @"test"(i16 signext %arg)
9declare zeroext i8 @"test2" (i16 zeroext %a2)
Reid Spencer724ffc62007-01-03 23:54:02 +000010
Zhou Sheng2444a9a2007-06-05 05:28:26 +000011declare i32 @"test3"(i32* noalias %p)
12
Reid Spencer8f0bcc62007-03-22 02:15:17 +000013declare void @exit(i32) noreturn nounwind
Reid Spencer724ffc62007-01-03 23:54:02 +000014
Reid Spencer314e1cb2007-07-19 23:13:04 +000015define i32 @main(i32 inreg %argc, i8 ** inreg %argv) nounwind {
Reid Spencer724ffc62007-01-03 23:54:02 +000016 %val = trunc i32 %argc to i16
Chris Lattner6bc5c892011-06-17 17:37:13 +000017 %res1 = call signext i16 (i16 ) *@test(i16 signext %val)
Reid Spenceraf6a4082007-01-30 16:16:01 +000018 %two = add i16 %res1, %res1
Chris Lattnerb90ed222011-06-17 03:14:27 +000019 %res2 = call zeroext i8 @test2(i16 zeroext %two )
Reid Spencer724ffc62007-01-03 23:54:02 +000020 %retVal = sext i16 %two to i32
21 ret i32 %retVal
22}
John McCall4b7a8d62011-06-15 20:36:13 +000023
24declare void @function_to_resolve_eagerly() nonlazybind