llvm/test/Transforms/SLPVectorizer/X86/PR34635.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -mtriple=x86_64-unknown-linux -slp-vectorizer -S -mcpu=corei7 | FileCheck %s
   3
   4 define i32 @main() {
   5 ; CHECK-LABEL: define {{[^@]+}}@main(
   6 ; CHECK-NEXT:  bb:
   7 ; CHECK-NEXT:    [[T:%.*]] = alloca <8 x i32>, align 32
   8 ; CHECK-NEXT:    [[T1:%.*]] = bitcast <8 x i32>* [[T]] to [8 x i32]*
   9 ; CHECK-NEXT:    [[T2:%.*]] = alloca i32, align 4
  10 ; CHECK-NEXT:    [[T3:%.*]] = bitcast <8 x i32>* [[T]] to i8*
  11 ; CHECK-NEXT:    [[T4:%.*]] = getelementptr inbounds <8 x i32>, <8 x i32>* [[T]], i64 0, i64 0
  12 ; CHECK-NEXT:    [[T5:%.*]] = getelementptr inbounds [8 x i32], [8 x i32]* [[T1]], i64 0, i64 1
  13 ; CHECK-NEXT:    [[T6:%.*]] = getelementptr inbounds [8 x i32], [8 x i32]* [[T1]], i64 0, i64 2
  14 ; CHECK-NEXT:    [[T7:%.*]] = getelementptr inbounds [8 x i32], [8 x i32]* [[T1]], i64 0, i64 3
  15 ; CHECK-NEXT:    [[T8:%.*]] = getelementptr inbounds [8 x i32], [8 x i32]* [[T1]], i64 0, i64 4
  16 ; CHECK-NEXT:    [[T9:%.*]] = getelementptr inbounds [8 x i32], [8 x i32]* [[T1]], i64 0, i64 6
  17 ; CHECK-NEXT:    [[T10:%.*]] = getelementptr inbounds [8 x i32], [8 x i32]* [[T1]], i64 0, i64 5
  18 ; CHECK-NEXT:    [[T11:%.*]] = getelementptr inbounds [8 x i32], [8 x i32]* [[T1]], i64 0, i64 7
  19 ; CHECK-NEXT:    store <8 x i32> <i32 -221320154, i32 -756426931, i32 563883532, i32 382683935, i32 144890241, i32 -1052877364, i32 -1052877364, i32 -1016007675>, <8 x i32>* [[T]], align 32
  20 ; CHECK-NEXT:    [[T12:%.*]] = bitcast i32* [[T2]] to i8*
  21 ; CHECK-NEXT:    [[T13:%.*]] = load i32, i32* [[T4]], align 32
  22 ; CHECK-NEXT:    [[T14:%.*]] = load i32, i32* [[T5]], align 4
  23 ; CHECK-NEXT:    [[T15:%.*]] = icmp slt i32 [[T14]], [[T13]]
  24 ; CHECK-NEXT:    [[T16:%.*]] = select i1 [[T15]], i32 [[T14]], i32 [[T13]]
  25 ; CHECK-NEXT:    [[T17:%.*]] = zext i1 [[T15]] to i32
  26 ; CHECK-NEXT:    [[T18:%.*]] = load i32, i32* [[T6]], align 8
  27 ; CHECK-NEXT:    [[T19:%.*]] = icmp slt i32 [[T18]], [[T16]]
  28 ; CHECK-NEXT:    [[T20:%.*]] = select i1 [[T19]], i32 [[T18]], i32 [[T16]]
  29 ; CHECK-NEXT:    [[T21:%.*]] = select i1 [[T19]], i32 2, i32 [[T16]]
  30 ; CHECK-NEXT:    [[T22:%.*]] = load i32, i32* [[T7]], align 4
  31 ; CHECK-NEXT:    [[T23:%.*]] = icmp slt i32 [[T22]], [[T20]]
  32 ; CHECK-NEXT:    [[T24:%.*]] = select i1 [[T23]], i32 [[T22]], i32 [[T20]]
  33 ; CHECK-NEXT:    [[T25:%.*]] = select i1 [[T23]], i32 3, i32 [[T21]]
  34 ; CHECK-NEXT:    [[T26:%.*]] = load i32, i32* [[T8]], align 16
  35 ; CHECK-NEXT:    [[T27:%.*]] = icmp slt i32 [[T26]], [[T24]]
  36 ; CHECK-NEXT:    [[T28:%.*]] = select i1 [[T27]], i32 [[T26]], i32 [[T24]]
  37 ; CHECK-NEXT:    [[T29:%.*]] = select i1 [[T27]], i32 4, i32 [[T25]]
  38 ; CHECK-NEXT:    [[T30:%.*]] = load i32, i32* [[T10]], align 4
  39 ; CHECK-NEXT:    [[T31:%.*]] = icmp slt i32 [[T30]], [[T28]]
  40 ; CHECK-NEXT:    [[T32:%.*]] = select i1 [[T31]], i32 [[T30]], i32 [[T28]]
  41 ; CHECK-NEXT:    [[T33:%.*]] = select i1 [[T31]], i32 5, i32 [[T29]]
  42 ; CHECK-NEXT:    [[T34:%.*]] = load i32, i32* [[T9]], align 8
  43 ; CHECK-NEXT:    [[T35:%.*]] = icmp slt i32 [[T34]], [[T32]]
  44 ; CHECK-NEXT:    [[T36:%.*]] = select i1 [[T35]], i32 [[T34]], i32 [[T32]]
  45 ; CHECK-NEXT:    [[T37:%.*]] = select i1 [[T35]], i32 6, i32 [[T33]]
  46 ; CHECK-NEXT:    [[T38:%.*]] = load i32, i32* [[T11]], align 4
  47 ; CHECK-NEXT:    [[T39:%.*]] = icmp slt i32 [[T38]], [[T36]]
  48 ; CHECK-NEXT:    [[T40:%.*]] = select i1 [[T39]], i32 7, i32 [[T37]]
  49 ; CHECK-NEXT:    store i32 [[T40]], i32* [[T2]], align 4
  50 ; CHECK-NEXT:    ret i32 0
  51 ;
  52 bb:
  53   %t = alloca <8 x i32>, align 32
  54   %t1 = bitcast <8 x i32>* %t to [8 x i32]*
  55   %t2 = alloca i32, align 4
  56   %t3 = bitcast <8 x i32>* %t to i8*
  57   %t4 = getelementptr inbounds <8 x i32>, <8 x i32>* %t, i64 0, i64 0
  58   %t5 = getelementptr inbounds [8 x i32], [8 x i32]* %t1, i64 0, i64 1
  59   %t6 = getelementptr inbounds [8 x i32], [8 x i32]* %t1, i64 0, i64 2
  60   %t7 = getelementptr inbounds [8 x i32], [8 x i32]* %t1, i64 0, i64 3
  61   %t8 = getelementptr inbounds [8 x i32], [8 x i32]* %t1, i64 0, i64 4
  62   %t9 = getelementptr inbounds [8 x i32], [8 x i32]* %t1, i64 0, i64 6
  63   %t10 = getelementptr inbounds [8 x i32], [8 x i32]* %t1, i64 0, i64 5
  64   %t11 = getelementptr inbounds [8 x i32], [8 x i32]* %t1, i64 0, i64 7
  65   store <8 x i32> <i32 -221320154, i32 -756426931, i32 563883532, i32 382683935, i32 144890241, i32 -1052877364, i32 -1052877364, i32 -1016007675>, <8 x i32>* %t, align 32
  66   %t12 = bitcast i32* %t2 to i8*
  67   %t13 = load i32, i32* %t4, align 32
  68   %t14 = load i32, i32* %t5, align 4
  69   %t15 = icmp slt i32 %t14, %t13
  70   %t16 = select i1 %t15, i32 %t14, i32 %t13
  71   %t17 = zext i1 %t15 to i32
  72   %t18 = load i32, i32* %t6, align 8
  73   %t19 = icmp slt i32 %t18, %t16
  74   %t20 = select i1 %t19, i32 %t18, i32 %t16
  75   %t21 = select i1 %t19, i32 2, i32 %t16
  76   %t22 = load i32, i32* %t7, align 4
  77   %t23 = icmp slt i32 %t22, %t20
  78   %t24 = select i1 %t23, i32 %t22, i32 %t20
  79   %t25 = select i1 %t23, i32 3, i32 %t21
  80   %t26 = load i32, i32* %t8, align 16
  81   %t27 = icmp slt i32 %t26, %t24
  82   %t28 = select i1 %t27, i32 %t26, i32 %t24
  83   %t29 = select i1 %t27, i32 4, i32 %t25
  84   %t30 = load i32, i32* %t10, align 4
  85   %t31 = icmp slt i32 %t30, %t28
  86   %t32 = select i1 %t31, i32 %t30, i32 %t28
  87   %t33 = select i1 %t31, i32 5, i32 %t29
  88   %t34 = load i32, i32* %t9, align 8
  89   %t35 = icmp slt i32 %t34, %t32
  90   %t36 = select i1 %t35, i32 %t34, i32 %t32
  91   %t37 = select i1 %t35, i32 6, i32 %t33
  92   %t38 = load i32, i32* %t11, align 4
  93   %t39 = icmp slt i32 %t38, %t36
  94   %t40 = select i1 %t39, i32 7, i32 %t37
  95   store i32 %t40, i32* %t2, align 4
  96   ret i32 0
  97 }