1#include <stdio.h> 2#ifdef HAS_ISA_2_07 3int __attribute__ ((noinline)) htm_begin (int r3, int r4) 4{ 5 int ret; 6 7 if (__builtin_tbegin (0)) { 8 ret = r3; 9 __builtin_tend (0); 10 } else { 11 ret = r4; 12 } return ret; 13} 14#endif 15 16int main (void) { 17#ifdef HAS_ISA_2_07 18 int ret; 19 ret = htm_begin (10, 20); 20 printf ("ret = %d, expected = 10\n", ret); 21#endif 22 return 0; 23} 24