Chris Lattner | 2f3ee64 | 2002-05-21 19:32:58 +0000 | [diff] [blame] | 1 | ; Basic block #2 should not be merged into BB #3! |
Chris Lattner | c3a53f9 | 2002-05-06 03:11:32 +0000 | [diff] [blame] | 2 | ; |
Misha Brukman | e78760e | 2003-09-16 15:29:54 +0000 | [diff] [blame] | 3 | ; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | grep 'br label' |
Chris Lattner | c3a53f9 | 2002-05-06 03:11:32 +0000 | [diff] [blame] | 4 | ; |
Chris Lattner | dcf3a6b | 2004-05-26 23:51:29 +0000 | [diff] [blame^] | 5 | declare void %foo() |
| 6 | implementation |
| 7 | |
Chris Lattner | c3a53f9 | 2002-05-06 03:11:32 +0000 | [diff] [blame] | 8 | void "cprop_test12"(int* %data) { |
| 9 | bb0: |
| 10 | %reg108 = load int* %data |
| 11 | %cond218 = setne int %reg108, 5 |
| 12 | br bool %cond218, label %bb3, label %bb2 |
| 13 | |
| 14 | bb2: |
Chris Lattner | dcf3a6b | 2004-05-26 23:51:29 +0000 | [diff] [blame^] | 15 | call void %foo() |
Chris Lattner | c3a53f9 | 2002-05-06 03:11:32 +0000 | [diff] [blame] | 16 | br label %bb3 |
| 17 | |
| 18 | bb3: |
| 19 | %reg117 = phi int [ 110, %bb2 ], [ %reg108, %bb0 ] |
| 20 | store int %reg117, int* %data |
| 21 | ret void |
| 22 | } |
| 23 | |