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