gen-insn-x86-dat.sh

 1#!/bin/sh
 2# SPDX-License-Identifier: GPL-2.0-only
 3# gen-insn-x86-dat: generate data for the insn-x86 test
 4# Copyright (c) 2015, Intel Corporation.
 5#
 6
 7set -e
 8
 9if [ "$(uname -m)" != "x86_64" ]; then
10	echo "ERROR: This script only works on x86_64"
11	exit 1
12fi
13
14cd "$(dirname $0)"
15
16trap 'echo "Might need a more recent version of binutils"' EXIT
17
18echo "Compiling insn-x86-dat-src.c to 64-bit object"
19
20gcc -g -c insn-x86-dat-src.c
21
22objdump -dSw insn-x86-dat-src.o | awk -f gen-insn-x86-dat.awk > insn-x86-dat-64.c
23
24rm -f insn-x86-dat-src.o
25
26echo "Compiling insn-x86-dat-src.c to 32-bit object"
27
28gcc -g -c -m32 insn-x86-dat-src.c
29
30objdump -dSw insn-x86-dat-src.o | awk -f gen-insn-x86-dat.awk > insn-x86-dat-32.c
31
32rm -f insn-x86-dat-src.o
33
34trap - EXIT
35
36echo "Done (use git diff to see the changes)"