1// REQUIRES: x86-registered-target
2// RUN: %clang_cc1 -triple x86_64-unknown-unknown -O1 -no-integrated-as \
3// RUN:     -S -o - %s | FileCheck %s
4
5typedef long long int64_t;
6typedef unsigned char uint8_t;
7typedef int64_t x86_reg;
8
9void avg_pixels8_mmx2(uint8_t *block, const uint8_t *pixels, int line_size, int h)
10{
11	__asm__ volatile("# %0 %1 %2 %3"
12     :"+g"(h), "+S"(pixels), "+D"(block)
13     :"r" ((x86_reg)line_size)
14     :"%""rax", "memory");
15// CHECK: # %ecx %rsi %rdi %rdx
16 }
17