1; RUN: llc -mtriple=x86_64-unknown-unknown -mcpu=core-avx-i < %s | FileCheck %s --check-prefix CHECK
2
3define i256 @foo(<8 x i32> %a) {
4  %r = bitcast <8 x i32> %a to i256
5  ret i256 %r
6; CHECK: foo
7; CHECK: vextractf128
8; CHECK: vpextrq
9; CHECK: vpextrq
10; CHECK: ret
11}
12