| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -S -simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s |
| |
| target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" |
| target triple = "armv7a--none-eabi" |
| |
| ; One of the phi node's values is too complex to be represented by a global |
| ; variable, so we can't convert to a lookup table. |
| |
| ; CHECK-NOT: @switch.table |
| ; CHECK-NOT: load |
| |
| @g1 = external global i32, align 4 |
| @g2 = external global i32, align 4 |
| @g3 = external global i32, align 4 |
| @g4 = external thread_local global i32, align 4 |
| |
| define i32* @test3(i32 %n) { |
| ; CHECK-LABEL: @test3( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: switch i32 [[N:%.*]], label [[SW_DEFAULT:%.*]] [ |
| ; CHECK-NEXT: i32 0, label [[RETURN:%.*]] |
| ; CHECK-NEXT: i32 1, label [[SW_BB1:%.*]] |
| ; CHECK-NEXT: i32 2, label [[SW_BB2:%.*]] |
| ; CHECK-NEXT: ] |
| ; CHECK: sw.bb1: |
| ; CHECK-NEXT: br label [[RETURN]] |
| ; CHECK: sw.bb2: |
| ; CHECK-NEXT: br label [[RETURN]] |
| ; CHECK: sw.default: |
| ; CHECK-NEXT: br label [[RETURN]] |
| ; CHECK: return: |
| ; CHECK-NEXT: [[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, [[ENTRY:%.*]] ] |
| ; CHECK-NEXT: ret i32* [[RETVAL_0]] |
| ; |
| entry: |
| switch i32 %n, label %sw.default [ |
| i32 0, label %sw.bb |
| i32 1, label %sw.bb1 |
| i32 2, label %sw.bb2 |
| ] |
| |
| sw.bb: |
| br label %return |
| |
| sw.bb1: |
| br label %return |
| |
| sw.bb2: |
| br label %return |
| |
| sw.default: |
| br label %return |
| |
| return: |
| %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 ] |
| ret i32* %retval.0 |
| } |