| Dan Gohman | 66c8021 | 2009-09-11 18:17:12 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -ipsccp -S > %t |
| Dan Gohman | 29474e9 | 2008-07-23 00:34:11 +0000 | [diff] [blame] | 2 | ; RUN: grep {ret i32 36} %t |
| Chris Lattner | 99f648a | 2009-03-01 00:25:46 +0000 | [diff] [blame] | 3 | ; RUN: grep {%mrv = insertvalue %T undef, i32 18, 0} %t |
| 4 | ; RUN: grep {%mrv1 = insertvalue %T %mrv, i32 17, 1} %t |
| 5 | ; RUN: grep {ret %T %mrv1} %t |
| 6 | |
| 7 | %T = type {i32,i32} |
| Devang Patel | add320d | 2008-03-11 05:46:42 +0000 | [diff] [blame] | 8 | |
| 9 | define internal {i32, i32} @bar(i32 %A) { |
| Chris Lattner | a2b8e38 | 2008-04-23 03:49:32 +0000 | [diff] [blame] | 10 | %X = add i32 1, %A |
| 11 | ret i32 %X, i32 %A |
| Devang Patel | add320d | 2008-03-11 05:46:42 +0000 | [diff] [blame] | 12 | } |
| 13 | |
| 14 | define i32 @foo() { |
| 15 | %X = call {i32, i32} @bar(i32 17) |
| 16 | %Y = getresult {i32, i32} %X, 0 |
| Chris Lattner | a2b8e38 | 2008-04-23 03:49:32 +0000 | [diff] [blame] | 17 | %Z = add i32 %Y, %Y |
| 18 | ret i32 %Z |
| Devang Patel | add320d | 2008-03-11 05:46:42 +0000 | [diff] [blame] | 19 | } |