test/Transforms/SLPVectorizer/AArch64/invoke-extract.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt -S --passes=slp-vectorizer -mtriple=arm64-apple-ios27.0.0 < %s | FileCheck %s

define { ptr, i32 } @test(ptr %0) personality ptr null {
; CHECK-LABEL: define { ptr, i32 } @test(
; CHECK-SAME: ptr [[TMP0:%.*]]) personality ptr null {
; CHECK-NEXT:    [[TMP2:%.*]] = invoke <2 x i16> null()
; CHECK-NEXT:            to label %[[BB5:.*]] unwind label %[[BB3:.*]]
; CHECK:       [[BB3]]:
; CHECK-NEXT:    [[TMP4:%.*]] = landingpad { ptr, i32 }
; CHECK-NEXT:            cleanup
; CHECK-NEXT:    ret { ptr, i32 } [[TMP4]]
; CHECK:       [[BB5]]:
; CHECK-NEXT:    [[TMP6:%.*]] = extractelement <2 x i16> [[TMP2]], i64 0
; CHECK-NEXT:    [[TMP7:%.*]] = or i16 [[TMP6]], 0
; CHECK-NEXT:    [[TMP8:%.*]] = extractelement <2 x i16> [[TMP2]], i64 1
; CHECK-NEXT:    [[TMP9:%.*]] = or i16 [[TMP8]], 0
; CHECK-NEXT:    [[TMP10:%.*]] = zext i16 [[TMP8]] to i64
; CHECK-NEXT:    store i64 [[TMP10]], ptr null, align 4
; CHECK-NEXT:    [[TMP11:%.*]] = zext <2 x i16> [[TMP2]] to <2 x i64>
; CHECK-NEXT:    store <2 x i64> [[TMP11]], ptr [[TMP0]], align 8
; CHECK-NEXT:    ret { ptr, i32 } zeroinitializer
;
  %2 = invoke <2 x i16> null()
  to label %5 unwind label %3

3:                                                ; preds = %1
  %4 = landingpad { ptr, i32 }
  cleanup
  ret { ptr, i32 } %4

5:                                                ; preds = %1
  %6 = extractelement <2 x i16> %2, i64 0
  %7 = or i16 %6, 0
  %8 = extractelement <2 x i16> %2, i64 1
  %9 = or i16 %8, 0
  %10 = zext i16 %8 to i64
  store i64 %10, ptr null, align 4
  %11 = zext i16 %6 to i64
  store i64 %11, ptr %0, align 8
  %12 = getelementptr i8, ptr %0, i64 8
  store i64 %10, ptr %12, align 8
  ret { ptr, i32 } zeroinitializer
}