| Davide Italiano | c3dc05578 | 2017-07-13 15:40:59 +0000 | [diff] [blame^] | 1 | ; RUN: opt -S -globalopt %s | FileCheck %s |
| 2 | |||||
| 3 | ; CHECK-LABEL: define void @beth | ||||
| 4 | ; CHECK-NEXT: entry: | ||||
| 5 | ; CHECK-NEXT: ret void | ||||
| 6 | ; CHEC-NEXT: } | ||||
| 7 | |||||
| 8 | @glob = external global i16, align 1 | ||||
| 9 | |||||
| 10 | define void @beth() { | ||||
| 11 | entry: | ||||
| 12 | ret void | ||||
| 13 | |||||
| 14 | notreachable: | ||||
| 15 | %patatino = select i1 undef, i16* @glob, i16* %patatino | ||||
| 16 | br label %notreachable | ||||
| 17 | } | ||||