this should be crashing on tsx disabled systems.

gistfile1.txt

#include <stdio.h>

int main()
{
    int x = 0;
    while (x < 100000) {
        asm ("xbegin ABORT");
        x++;
        asm ("xend");
        asm ("ABORT:");
    }

    printf("%d\n", x);
    return 0;
}