+\r
+define void @stack_fold_cvttpd2dq(<64 x double>* %a, <64 x double>* %b, <64 x i32>* %c) #0 {\r
+ ;CHECK-LABEL: stack_fold_cvttpd2dq\r
+ ;CHECK: vcvttpd2dqy {{[0-9]*}}(%rsp), {{%xmm[0-9][0-9]*}} {{.*#+}} 32-byte Folded Reload\r
+\r
+ %1 = load <64 x double>* %a\r
+ %2 = load <64 x double>* %b\r
+ %3 = fadd <64 x double> %1, %2\r
+ %4 = fsub <64 x double> %1, %2\r
+ %5 = fptosi <64 x double> %3 to <64 x i32>\r
+ %6 = fptosi <64 x double> %4 to <64 x i32>\r
+ %7 = or <64 x i32> %5, %6\r
+ store <64 x i32> %7, <64 x i32>* %c\r
+ ret void\r
+}\r
+\r
+define void @stack_fold_cvttps2dq(<128 x float>* %a, <128 x float>* %b, <128 x i32>* %c) #0 {\r
+ ;CHECK-LABEL: stack_fold_cvttps2dq\r
+ ;CHECK: vcvttps2dq {{[0-9]*}}(%rsp), {{%ymm[0-9][0-9]*}} {{.*#+}} 32-byte Folded Reload\r
+\r
+ %1 = load <128 x float>* %a\r
+ %2 = load <128 x float>* %b\r
+ %3 = fadd <128 x float> %1, %2\r
+ %4 = fsub <128 x float> %1, %2\r
+ %5 = fptosi <128 x float> %3 to <128 x i32>\r
+ %6 = fptosi <128 x float> %4 to <128 x i32>\r
+ %7 = or <128 x i32> %5, %6\r
+ store <128 x i32> %7, <128 x i32>* %c\r
+ ret void\r
+}\r