| Oliver Stannard | fe4432b | 2016-10-17 12:00:24 +0000 | [diff] [blame^] | 1 | ; RUN: opt -S -simplifycfg < %s | FileCheck %s --check-prefix=CHECK |
| 2 | |
| 3 | target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" |
| 4 | target triple = "armv7a--none-eabi" |
| 5 | |
| 6 | ; One of the phi node's values is too complex to be represented by a global |
| 7 | ; variable, so we can't convert to a lookup table. |
| 8 | |
| 9 | ; CHECK-NOT: @switch.table |
| 10 | ; CHECK-NOT: load |
| 11 | |
| 12 | @g1 = external global i32, align 4 |
| 13 | @g2 = external global i32, align 4 |
| 14 | @g3 = external global i32, align 4 |
| 15 | @g4 = external thread_local global i32, align 4 |
| 16 | |
| 17 | define i32* @test3(i32 %n) { |
| 18 | entry: |
| 19 | switch i32 %n, label %sw.default [ |
| 20 | i32 0, label %sw.bb |
| 21 | i32 1, label %sw.bb1 |
| 22 | i32 2, label %sw.bb2 |
| 23 | ] |
| 24 | |
| 25 | sw.bb: |
| 26 | br label %return |
| 27 | |
| 28 | sw.bb1: |
| 29 | br label %return |
| 30 | |
| 31 | sw.bb2: |
| 32 | br label %return |
| 33 | |
| 34 | sw.default: |
| 35 | br label %return |
| 36 | |
| 37 | return: |
| 38 | %retval.0 = phi i32* [ @g4, %sw.default ], [ getelementptr inbounds (i32, i32* inttoptr (i32 mul (i32 ptrtoint (i32* @g3 to i32), i32 2) to i32*), i32 1), %sw.bb2 ], [ @g2, %sw.bb1 ], [ @g1, %sw.bb ] |
| 39 | ret i32* %retval.0 |
| 40 | } |