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 
5 typedef long long int64_t;
6 typedef unsigned char uint8_t;
7 typedef int64_t x86_reg;
8 
avg_pixels8_mmx2(uint8_t * block,const uint8_t * pixels,int line_size,int h)9 void 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