#include <stdio.h> | |
#ifdef SUPPORTS_HTM | |
int __attribute__ ((noinline)) htm_begin (int r3, int r4) | |
{ | |
int ret; | |
if (__builtin_tbegin (0)) { | |
ret = r3; | |
__builtin_tend (0); | |
} else { | |
ret = r4; | |
} return ret; | |
} | |
#endif | |
int main (void) { | |
#ifdef SUPPORTS_HTM | |
int ret; | |
ret = htm_begin (10, 20); | |
printf ("ret = %d, expected = 10\n", ret); | |
#else | |
printf ("No HTM support."); | |
#endif | |
return 0; | |
} |