| Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 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 |
| 4 | |
| Chris Lattner | a16546a | 2011-06-17 17:37:13 +0000 | [diff] [blame] | 5 | %ZFunTy = type i32(i8) |
| 6 | %SFunTy = type i32(i8) |
| Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 7 | |
| Chris Lattner | 26b0000 | 2011-06-17 03:14:27 +0000 | [diff] [blame] | 8 | declare signext i16 @"test"(i16 signext %arg) |
| 9 | declare zeroext i8 @"test2" (i16 zeroext %a2) |
| Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 10 | |
| Zhou Sheng | febca34 | 2007-06-05 05:28:26 +0000 | [diff] [blame] | 11 | declare i32 @"test3"(i32* noalias %p) |
| 12 | |
| Reid Spencer | c2df070 | 2007-03-22 02:15:17 +0000 | [diff] [blame] | 13 | declare void @exit(i32) noreturn nounwind |
| Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 14 | |
| Reid Spencer | 9445e9a | 2007-07-19 23:13:04 +0000 | [diff] [blame] | 15 | define i32 @main(i32 inreg %argc, i8 ** inreg %argv) nounwind { |
| Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 16 | %val = trunc i32 %argc to i16 |
| Chris Lattner | a16546a | 2011-06-17 17:37:13 +0000 | [diff] [blame] | 17 | %res1 = call signext i16 (i16 ) *@test(i16 signext %val) |
| Reid Spencer | 9085043 | 2007-01-30 16:16:01 +0000 | [diff] [blame] | 18 | %two = add i16 %res1, %res1 |
| Chris Lattner | 26b0000 | 2011-06-17 03:14:27 +0000 | [diff] [blame] | 19 | %res2 = call zeroext i8 @test2(i16 zeroext %two ) |
| Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 20 | %retVal = sext i16 %two to i32 |
| 21 | ret i32 %retVal |
| 22 | } |
| John McCall | 3a3465b | 2011-06-15 20:36:13 +0000 | [diff] [blame] | 23 | |
| 24 | declare void @function_to_resolve_eagerly() nonlazybind |