| Sam Parker | 71efbe4 | 2017-09-18 14:28:51 +0000 | [diff] [blame] | 1 | ;RUN: opt -S -simplifycfg -mtriple=arm < %s | FileCheck %s |
| 2 | target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" |
| 3 | |
| 4 | ; CHECK-LABEL: select_trunc_i64 |
| 5 | ; CHECK-NOT: br |
| 6 | ; CHECK: select |
| 7 | ; CHECK: select |
| 8 | define arm_aapcscc i32 @select_trunc_i64(i32 %a, i32 %b) { |
| 9 | entry: |
| 10 | %conv = sext i32 %a to i64 |
| 11 | %conv1 = sext i32 %b to i64 |
| 12 | %add = add nsw i64 %conv1, %conv |
| 13 | %cmp = icmp sgt i64 %add, 2147483647 |
| 14 | br i1 %cmp, label %cond.end7, label %cond.false |
| 15 | |
| 16 | cond.false: ; preds = %entry |
| 17 | %0 = icmp sgt i64 %add, -2147483648 |
| 18 | %cond = select i1 %0, i64 %add, i64 -2147483648 |
| 19 | %extract.t = trunc i64 %cond to i32 |
| 20 | br label %cond.end7 |
| 21 | |
| 22 | cond.end7: ; preds = %cond.false, %entry |
| 23 | %cond8.off0 = phi i32 [ 2147483647, %entry ], [ %extract.t, %cond.false ] |
| 24 | ret i32 %cond8.off0 |
| 25 | } |