; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
; RUN: llc -mtriple=armv7-unknown-linux-gnueabihf < %s | FileCheck %s

; Check for assertion when extractelement of load optimization
; involves a result element type different from the input vector
; element type.

define i8 @baz(ptr %ptr, i32 %arg) {
; CHECK-LABEL: baz:
; CHECK:       @ %bb.0: @ %bb
; CHECK-NEXT:    add r1, r1, r1
; CHECK-NEXT:    and r1, r1, #3
; CHECK-NEXT:    ldr r0, [r0, r1, lsl #2]
; CHECK-NEXT:    bx lr
bb:
  %load = load <2 x i64>, ptr %ptr, align 8
  %extractelement = extractelement <2 x i64> %load, i32 %arg
  %trunc = trunc i64 %extractelement to i8
  ret i8 %trunc
}