| OLD | NEW |
| 1 ; This tests that an empty node pointing to itself is not contracted. | 1 ; This tests that an empty node pointing to itself is not contracted. |
| 2 ; https://code.google.com/p/nativeclient/issues/detail?id=4307 | 2 ; https://code.google.com/p/nativeclient/issues/detail?id=4307 |
| 3 ; | 3 ; |
| 4 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 \ | 4 ; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 \ |
| 5 ; RUN: | FileCheck %s | 5 ; RUN: | FileCheck %s |
| 6 | 6 |
| 7 define void @SimpleBranch() { | 7 define internal void @SimpleBranch() { |
| 8 label0: | 8 label0: |
| 9 br label %label2 | 9 br label %label2 |
| 10 label1: | 10 label1: |
| 11 br label %label1 | 11 br label %label1 |
| 12 label2: | 12 label2: |
| 13 br label %label1 | 13 br label %label1 |
| 14 } | 14 } |
| 15 | 15 |
| 16 ; CHECK-LABEL: SimpleBranch | 16 ; CHECK-LABEL: SimpleBranch |
| 17 ; CHECK-NEXT: jmp 0 <SimpleBranch> | 17 ; CHECK-NEXT: jmp 0 <SimpleBranch> |
| 18 ; CHECK-NEXT: hlt | 18 ; CHECK-NEXT: hlt |
| OLD | NEW |