#!/bin/sh

# Check membarrier syscall decoding.

. "${srcdir=.}/init.sh"

run_prog > /dev/null
OUT="$LOG.out"
run_strace -a36 -emembarrier $args > "$OUT"
match_diff "$LOG" "$OUT"
rm -f "$OUT"

exit 0