llvm/test/Transforms/SimplifyCFG/ARM/select-trunc-i64.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ;RUN: opt -S -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -mtriple=arm < %s | FileCheck %s
   3 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
   4
   5 define arm_aapcscc i32 @select_trunc_i64(i32 %a, i32 %b) {
   6 ; CHECK-LABEL: @select_trunc_i64(
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    [[CONV:%.*]] = sext i32 [[A:%.*]] to i64
   9 ; CHECK-NEXT:    [[CONV1:%.*]] = sext i32 [[B:%.*]] to i64
  10 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i64 [[CONV1]], [[CONV]]
  11 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i64 [[ADD]], 2147483647
  12 ; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i64 [[ADD]], -2147483648
  13 ; CHECK-NEXT:    [[COND:%.*]] = select i1 [[TMP0]], i64 [[ADD]], i64 -2147483648
  14 ; CHECK-NEXT:    [[EXTRACT_T:%.*]] = trunc i64 [[COND]] to i32
  15 ; CHECK-NEXT:    [[COND8_OFF0:%.*]] = select i1 [[CMP]], i32 2147483647, i32 [[EXTRACT_T]]
  16 ; CHECK-NEXT:    ret i32 [[COND8_OFF0]]
  17 ;
  18 entry:
  19   %conv = sext i32 %a to i64
  20   %conv1 = sext i32 %b to i64
  21   %add = add nsw i64 %conv1, %conv
  22   %cmp = icmp sgt i64 %add, 2147483647
  23   br i1 %cmp, label %cond.end7, label %cond.false
  24
  25 cond.false:                                       ; preds = %entry
  26   %0 = icmp sgt i64 %add, -2147483648
  27   %cond = select i1 %0, i64 %add, i64 -2147483648
  28   %extract.t = trunc i64 %cond to i32
  29   br label %cond.end7
  30
  31 cond.end7:                                        ; preds = %cond.false, %entry
  32   %cond8.off0 = phi i32 [ 2147483647, %entry ], [ %extract.t, %cond.false ]
  33   ret i32 %cond8.off0
  34 }