llvm/test/Transforms/SimplifyCFG/X86/two-entry-phi-fold-unpredictable.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals none --version 5
   2 ; Two-entry phi nodes with unpredictable conditions may get increased budget for folding.
   3 ; RUN: opt < %s -S -passes=simplifycfg | FileCheck --check-prefix=CHECK-NOFOLD %s
   4 ; RUN: opt < %s -S -passes='simplifycfg<speculate-unpredictables>' | FileCheck --check-prefix=CHECK-NOFOLD %s
   5 ; RUN: opt -mtriple=x86_64-unknown-linux-gnu -mattr=+avx2 < %s -S -passes=simplifycfg | FileCheck --check-prefix=CHECK-NOFOLD %s
   6 ; RUN: opt -mtriple=x86_64-unknown-linux-gnu -mattr=+avx2 < %s -S -passes='simplifycfg<speculate-unpredictables>' | FileCheck --check-prefix=CHECK-FOLD %s
   7
   8 define { <2 x float>, <2 x float> } @foo(float %arg, <2 x float> %arg1, <2 x float> %arg2) #0 {
   9 ; CHECK-NOFOLD-LABEL: define { <2 x float>, <2 x float> } @foo(
  10 ; CHECK-NOFOLD-SAME: float [[ARG:%.*]], <2 x float> [[ARG1:%.*]], <2 x float> [[ARG2:%.*]]) #[[ATTR0:[0-9]+]] {
  11 ; CHECK-NOFOLD-NEXT:  [[BB:.*]]:
  12 ; CHECK-NOFOLD-NEXT:    [[I:%.*]] = fcmp fast ogt float [[ARG]], 0x3F747AE140000000
  13 ; CHECK-NOFOLD-NEXT:    br i1 [[I]], label %[[BB3:.*]], label %[[BB20:.*]], !unpredictable [[META0:![0-9]+]]
  14 ; CHECK-NOFOLD:       [[BB3]]:
  15 ; CHECK-NOFOLD-NEXT:    [[I4:%.*]] = extractelement <2 x float> [[ARG1]], i64 0
  16 ; CHECK-NOFOLD-NEXT:    [[I5:%.*]] = fmul fast float [[I4]], [[I4]]
  17 ; CHECK-NOFOLD-NEXT:    [[I6:%.*]] = extractelement <2 x float> [[ARG1]], i64 1
  18 ; CHECK-NOFOLD-NEXT:    [[I7:%.*]] = fmul fast float [[I6]], [[I6]]
  19 ; CHECK-NOFOLD-NEXT:    [[I8:%.*]] = fadd fast float [[I7]], [[I5]]
  20 ; CHECK-NOFOLD-NEXT:    [[I9:%.*]] = extractelement <2 x float> [[ARG2]], i64 0
  21 ; CHECK-NOFOLD-NEXT:    [[I10:%.*]] = fmul fast float [[I9]], [[I9]]
  22 ; CHECK-NOFOLD-NEXT:    [[I11:%.*]] = fadd fast float [[I8]], [[I10]]
  23 ; CHECK-NOFOLD-NEXT:    [[I12:%.*]] = tail call fast noundef float @llvm.sqrt.f32(float [[I11]])
  24 ; CHECK-NOFOLD-NEXT:    [[I13:%.*]] = fdiv fast float 0x3FEFD70A40000000, [[I12]]
  25 ; CHECK-NOFOLD-NEXT:    [[I14:%.*]] = fmul fast float [[I13]], [[I4]]
  26 ; CHECK-NOFOLD-NEXT:    [[I15:%.*]] = insertelement <2 x float> poison, float [[I14]], i64 0
  27 ; CHECK-NOFOLD-NEXT:    [[I16:%.*]] = fmul fast float [[I13]], [[I6]]
  28 ; CHECK-NOFOLD-NEXT:    [[I17:%.*]] = insertelement <2 x float> [[I15]], float [[I16]], i64 1
  29 ; CHECK-NOFOLD-NEXT:    [[I18:%.*]] = fmul fast float [[I13]], [[I9]]
  30 ; CHECK-NOFOLD-NEXT:    [[I19:%.*]] = insertelement <2 x float> [[ARG2]], float [[I18]], i64 0
  31 ; CHECK-NOFOLD-NEXT:    br label %[[BB20]]
  32 ; CHECK-NOFOLD:       [[BB20]]:
  33 ; CHECK-NOFOLD-NEXT:    [[I21:%.*]] = phi nsz <2 x float> [ [[I17]], %[[BB3]] ], [ zeroinitializer, %[[BB]] ]
  34 ; CHECK-NOFOLD-NEXT:    [[I22:%.*]] = phi nsz <2 x float> [ [[I19]], %[[BB3]] ], [ zeroinitializer, %[[BB]] ]
  35 ; CHECK-NOFOLD-NEXT:    [[I23:%.*]] = insertvalue { <2 x float>, <2 x float> } poison, <2 x float> [[I21]], 0
  36 ; CHECK-NOFOLD-NEXT:    [[I24:%.*]] = insertvalue { <2 x float>, <2 x float> } [[I23]], <2 x float> [[I22]], 1
  37 ; CHECK-NOFOLD-NEXT:    ret { <2 x float>, <2 x float> } [[I24]]
  38 ;
  39 ; CHECK-FOLD-LABEL: define { <2 x float>, <2 x float> } @foo(
  40 ; CHECK-FOLD-SAME: float [[ARG:%.*]], <2 x float> [[ARG1:%.*]], <2 x float> [[ARG2:%.*]]) #[[ATTR0:[0-9]+]] {
  41 ; CHECK-FOLD-NEXT:  [[BB:.*:]]
  42 ; CHECK-FOLD-NEXT:    [[I:%.*]] = fcmp fast ogt float [[ARG]], 0x3F747AE140000000
  43 ; CHECK-FOLD-NEXT:    [[I4:%.*]] = extractelement <2 x float> [[ARG1]], i64 0
  44 ; CHECK-FOLD-NEXT:    [[I5:%.*]] = fmul fast float [[I4]], [[I4]]
  45 ; CHECK-FOLD-NEXT:    [[I6:%.*]] = extractelement <2 x float> [[ARG1]], i64 1
  46 ; CHECK-FOLD-NEXT:    [[I7:%.*]] = fmul fast float [[I6]], [[I6]]
  47 ; CHECK-FOLD-NEXT:    [[I8:%.*]] = fadd fast float [[I7]], [[I5]]
  48 ; CHECK-FOLD-NEXT:    [[I9:%.*]] = extractelement <2 x float> [[ARG2]], i64 0
  49 ; CHECK-FOLD-NEXT:    [[I10:%.*]] = fmul fast float [[I9]], [[I9]]
  50 ; CHECK-FOLD-NEXT:    [[I11:%.*]] = fadd fast float [[I8]], [[I10]]
  51 ; CHECK-FOLD-NEXT:    [[I12:%.*]] = tail call fast float @llvm.sqrt.f32(float [[I11]])
  52 ; CHECK-FOLD-NEXT:    [[I13:%.*]] = fdiv fast float 0x3FEFD70A40000000, [[I12]]
  53 ; CHECK-FOLD-NEXT:    [[I14:%.*]] = fmul fast float [[I13]], [[I4]]
  54 ; CHECK-FOLD-NEXT:    [[I15:%.*]] = insertelement <2 x float> poison, float [[I14]], i64 0
  55 ; CHECK-FOLD-NEXT:    [[I16:%.*]] = fmul fast float [[I13]], [[I6]]
  56 ; CHECK-FOLD-NEXT:    [[I17:%.*]] = insertelement <2 x float> [[I15]], float [[I16]], i64 1
  57 ; CHECK-FOLD-NEXT:    [[I18:%.*]] = fmul fast float [[I13]], [[I9]]
  58 ; CHECK-FOLD-NEXT:    [[I19:%.*]] = insertelement <2 x float> [[ARG2]], float [[I18]], i64 0
  59 ; CHECK-FOLD-NEXT:    [[I21:%.*]] = select nsz i1 [[I]], <2 x float> [[I17]], <2 x float> zeroinitializer, !unpredictable [[META0:![0-9]+]]
  60 ; CHECK-FOLD-NEXT:    [[I22:%.*]] = select nsz i1 [[I]], <2 x float> [[I19]], <2 x float> zeroinitializer, !unpredictable [[META0]]
  61 ; CHECK-FOLD-NEXT:    [[I23:%.*]] = insertvalue { <2 x float>, <2 x float> } poison, <2 x float> [[I21]], 0
  62 ; CHECK-FOLD-NEXT:    [[I24:%.*]] = insertvalue { <2 x float>, <2 x float> } [[I23]], <2 x float> [[I22]], 1
  63 ; CHECK-FOLD-NEXT:    ret { <2 x float>, <2 x float> } [[I24]]
  64 ;
  65 bb:
  66   %i = fcmp fast ogt float %arg, 0x3F747AE140000000
  67   br i1 %i, label %bb3, label %bb20, !unpredictable !0
  68
  69 bb3:                                              ; preds = %bb
  70   %i4 = extractelement <2 x float> %arg1, i64 0
  71   %i5 = fmul fast float %i4, %i4
  72   %i6 = extractelement <2 x float> %arg1, i64 1
  73   %i7 = fmul fast float %i6, %i6
  74   %i8 = fadd fast float %i7, %i5
  75   %i9 = extractelement <2 x float> %arg2, i64 0
  76   %i10 = fmul fast float %i9, %i9
  77   %i11 = fadd fast float %i8, %i10
  78   %i12 = tail call fast noundef float @llvm.sqrt.f32(float %i11)
  79   %i13 = fdiv fast float 0x3FEFD70A40000000, %i12
  80   %i14 = fmul fast float %i13, %i4
  81   %i15 = insertelement <2 x float> poison, float %i14, i64 0
  82   %i16 = fmul fast float %i13, %i6
  83   %i17 = insertelement <2 x float> %i15, float %i16, i64 1
  84   %i18 = fmul fast float %i13, %i9
  85   %i19 = insertelement <2 x float> %arg2, float %i18, i64 0
  86   br label %bb20
  87
  88 bb20:                                             ; preds = %bb3, %bb
  89   %i21 = phi nsz <2 x float> [ %i17, %bb3 ], [ zeroinitializer, %bb ]
  90   %i22 = phi nsz <2 x float> [ %i19, %bb3 ], [ zeroinitializer, %bb ]
  91   %i23 = insertvalue { <2 x float>, <2 x float> } poison, <2 x float> %i21, 0
  92   %i24 = insertvalue { <2 x float>, <2 x float> } %i23, <2 x float> %i22, 1
  93   ret { <2 x float>, <2 x float> } %i24
  94 }
  95
  96 declare float @llvm.sqrt.f32(float)
  97
  98 attributes #0 = { nounwind }
  99
 100 !0 = !{}