| Manman Ren | edc6037 | 2014-07-23 23:13:23 +0000 | [diff] [blame] | 1 | ; RUN: opt -S -simplifycfg < %s | FileCheck %s |
| 2 | ; rdar://17735071 |
| 3 | target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" |
| 4 | target triple = "x86_64-apple-darwin12.0.0" |
| 5 | |
| 6 | ; When tableindex can't fit into i2, we should extend the type to i3. |
| 7 | ; CHECK-LABEL: @_TFO6reduce1E5toRawfS0_FT_Si |
| 8 | ; CHECK: entry: |
| 9 | ; CHECK-NEXT: sub i2 %0, -2 |
| 10 | ; CHECK-NEXT: zext i2 %switch.tableidx to i3 |
| 11 | ; CHECK-NEXT: getelementptr inbounds [4 x i64]* @switch.table, i32 0, i3 %switch.tableidx.zext |
| 12 | ; CHECK-NEXT: load i64* %switch.gep |
| 13 | ; CHECK-NEXT: ret i64 %switch.load |
| 14 | define i64 @_TFO6reduce1E5toRawfS0_FT_Si(i2) { |
| 15 | entry: |
| 16 | switch i2 %0, label %1 [ |
| 17 | i2 0, label %2 |
| 18 | i2 1, label %3 |
| 19 | i2 -2, label %4 |
| 20 | i2 -1, label %5 |
| 21 | ] |
| 22 | |
| 23 | ; <label>:1 ; preds = %entry |
| 24 | unreachable |
| 25 | |
| 26 | ; <label>:2 ; preds = %2 |
| 27 | br label %6 |
| 28 | |
| 29 | ; <label>:3 ; preds = %4 |
| 30 | br label %6 |
| 31 | |
| 32 | ; <label>:4 ; preds = %6 |
| 33 | br label %6 |
| 34 | |
| 35 | ; <label>:5 ; preds = %8 |
| 36 | br label %6 |
| 37 | |
| 38 | ; <label>:6 ; preds = %3, %5, %7, %9 |
| 39 | %7 = phi i64 [ 3, %5 ], [ 2, %4 ], [ 1, %3 ], [ 0, %2 ] |
| 40 | ret i64 %7 |
| 41 | } |