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

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -mtriple=x86_64-pc-linux-gnu -mcpu=generic -passes=slp-vectorizer --slp-max-reg-size=256 -pass-remarks-output=%t < %s | FileCheck %s
   3 ; RUN: FileCheck --input-file=%t --check-prefix=YAML %s
   4
   5 ; This type is not supported by SLP
   6 define i1 @test(ptr %i1, ptr %i2) {
   7 ; CHECK-LABEL: @test(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[I1_0:%.*]] = load x86_fp80, ptr [[I1:%.*]], align 16
  10 ; CHECK-NEXT:    [[I1_GEP1:%.*]] = getelementptr x86_fp80, ptr [[I1]], i64 1
  11 ; CHECK-NEXT:    [[I1_1:%.*]] = load x86_fp80, ptr [[I1_GEP1]], align 16
  12 ; CHECK-NEXT:    br i1 undef, label [[THEN:%.*]], label [[END:%.*]]
  13 ; CHECK:       then:
  14 ; CHECK-NEXT:    [[I2_0:%.*]] = load x86_fp80, ptr [[I2:%.*]], align 16
  15 ; CHECK-NEXT:    [[I2_GEP1:%.*]] = getelementptr inbounds x86_fp80, ptr [[I2]], i64 1
  16 ; CHECK-NEXT:    [[I2_1:%.*]] = load x86_fp80, ptr [[I2_GEP1]], align 16
  17 ; CHECK-NEXT:    br label [[END]]
  18 ; CHECK:       end:
  19 ; CHECK-NEXT:    [[PHI0:%.*]] = phi x86_fp80 [ [[I1_0]], [[ENTRY:%.*]] ], [ [[I2_0]], [[THEN]] ]
  20 ; CHECK-NEXT:    [[PHI1:%.*]] = phi x86_fp80 [ [[I1_1]], [[ENTRY]] ], [ [[I2_1]], [[THEN]] ]
  21 ; CHECK-NEXT:    [[RES:%.*]] = fcmp oeq x86_fp80 [[PHI0]], [[PHI1]]
  22 ; CHECK-NEXT:    ret i1 [[RES]]
  23 ;
  24 entry:
  25   %i1.0 = load x86_fp80, ptr %i1, align 16
  26   %i1.gep1 = getelementptr x86_fp80, ptr %i1, i64 1
  27   %i1.1 = load x86_fp80, ptr %i1.gep1, align 16
  28   br i1 undef, label %then, label %end
  29 then:
  30   %i2.0 = load x86_fp80, ptr %i2, align 16
  31   %i2.gep1 = getelementptr inbounds x86_fp80, ptr %i2, i64 1
  32   %i2.1 = load x86_fp80, ptr %i2.gep1, align 16
  33   br label %end
  34 end:
  35   %phi0 = phi x86_fp80 [ %i1.0, %entry ], [ %i2.0, %then ]
  36   %phi1 = phi x86_fp80 [ %i1.1, %entry ], [ %i2.1, %then ]
  37   %res = fcmp oeq x86_fp80 %phi0, %phi1
  38   ; YAML:      Pass:            slp-vectorizer
  39   ; YAML-NEXT: Name:            UnsupportedType
  40   ; YAML-NEXT: Function:        test
  41   ; YAML-NEXT: Args:
  42   ; YAML-NEXT:   - String:          'Cannot SLP vectorize list: type '
  43   ; YAML-NEXT:   - String:          x86_fp80 is unsupported by vectorizer
  44
  45   ret i1 %res
  46 }