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