diff --git a/cranelift/docs/compare-llvm.rst b/cranelift/docs/compare-llvm.rst
index 971585cebb..abc47caaa3 100644
--- a/cranelift/docs/compare-llvm.rst
+++ b/cranelift/docs/compare-llvm.rst
@@ -174,7 +174,7 @@ is emitted, there are opcodes for every native instruction that can be
 generated. There is a lot of overlap between different ISAs, so for example the
 :cton:inst:`iadd_imm` instruction is used by every ISA that can add an
 immediate integer to a register. A simple RISC ISA like RISC-V can be defined
-with only shared instructions, while an Intel ISA needs a number of specific
+with only shared instructions, while x86 needs a number of specific
 instructions to model addressing modes.
 
 Undefined behavior
diff --git a/cranelift/docs/langref.rst b/cranelift/docs/langref.rst
index edcc039c86..14f44bab53 100644
--- a/cranelift/docs/langref.rst
+++ b/cranelift/docs/langref.rst
@@ -998,20 +998,20 @@ ISA-specific instructions
 Target ISAs can define supplemental instructions that do not make sense to
 support generally.
 
-Intel
+x86
 -----
 
-Instructions that can only be used by the Intel target ISA.
+Instructions that can only be used by the x86 target ISA.
 
-.. autoinst:: isa.intel.instructions.sdivmodx
-.. autoinst:: isa.intel.instructions.udivmodx
-.. autoinst:: isa.intel.instructions.cvtt2si
-.. autoinst:: isa.intel.instructions.fmin
-.. autoinst:: isa.intel.instructions.fmax
-.. autoinst:: isa.intel.instructions.bsf
-.. autoinst:: isa.intel.instructions.bsr
-.. autoinst:: isa.intel.instructions.push
-.. autoinst:: isa.intel.instructions.pop
+.. autoinst:: isa.x86.instructions.sdivmodx
+.. autoinst:: isa.x86.instructions.udivmodx
+.. autoinst:: isa.x86.instructions.cvtt2si
+.. autoinst:: isa.x86.instructions.fmin
+.. autoinst:: isa.x86.instructions.fmax
+.. autoinst:: isa.x86.instructions.bsf
+.. autoinst:: isa.x86.instructions.bsr
+.. autoinst:: isa.x86.instructions.push
+.. autoinst:: isa.x86.instructions.pop
 
 Instruction groups
 ==================
@@ -1023,7 +1023,7 @@ group.
 
 Target ISAs may define further instructions in their own instruction groups:
 
-.. autoinstgroup:: isa.intel.instructions.GROUP
+.. autoinstgroup:: isa.x86.instructions.GROUP
 
 Implementation limits
 =====================
diff --git a/cranelift/docs/metaref.rst b/cranelift/docs/metaref.rst
index 6f23647b0a..d0b78d3a07 100644
--- a/cranelift/docs/metaref.rst
+++ b/cranelift/docs/metaref.rst
@@ -400,7 +400,7 @@ Fixed register operands
 -----------------------
 
 Some instructions use hard-coded input and output registers for some value
-operands. An example is the ``pblendvb`` Intel SSE instruction which takes one
+operands. An example is the ``pblendvb`` x86 SSE instruction which takes one
 of its three value operands in the hard-coded ``%xmm0`` register::
 
     XMM0 = FPR[0]
@@ -439,7 +439,7 @@ The definitions for each supported target live in a package under
     :members:
 
 .. automodule:: isa.riscv
-.. automodule:: isa.intel
+.. automodule:: isa.x86
 .. automodule:: isa.arm32
 .. automodule:: isa.arm64
 
diff --git a/cranelift/docs/regalloc.rst b/cranelift/docs/regalloc.rst
index 74bd6e8575..a87753a34f 100644
--- a/cranelift/docs/regalloc.rst
+++ b/cranelift/docs/regalloc.rst
@@ -79,7 +79,7 @@ Different register banks
 
 Instructions with fixed operands
     Some instructions use a fixed register for an operand. This happens on the
-    Intel ISAs:
+    x86 ISAs:
 
     - Dynamic shift and rotate instructions take the shift amount in CL.
     - Division instructions use RAX and RDX for both input and output operands.
@@ -109,7 +109,7 @@ ABI boundaries
 Aliasing registers
     Different registers sometimes share the same bits in the register bank.
     This can make it difficult to measure register pressure. For example, the
-    Intel registers RAX, EAX, AX, AL, and AH overlap.
+    x86 registers RAX, EAX, AX, AL, and AH overlap.
 
     If only one of the aliasing registers can be used at a time, the aliasing
     doesn't cause problems since the registers can simply be counted as one
diff --git a/cranelift/filetests/isa/intel/abi-bool.cton b/cranelift/filetests/isa/x86/abi-bool.cton
similarity index 95%
rename from cranelift/filetests/isa/intel/abi-bool.cton
rename to cranelift/filetests/isa/x86/abi-bool.cton
index 6a53cdbb3c..48ac976a84 100644
--- a/cranelift/filetests/isa/intel/abi-bool.cton
+++ b/cranelift/filetests/isa/x86/abi-bool.cton
@@ -1,6 +1,6 @@
 test compile
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %foo(i64, i64, i64, i32) -> b1 system_v {
 ebb3(v0: i64, v1: i64, v2: i64, v3: i32):
diff --git a/cranelift/filetests/isa/intel/abi32.cton b/cranelift/filetests/isa/x86/abi32.cton
similarity index 97%
rename from cranelift/filetests/isa/intel/abi32.cton
rename to cranelift/filetests/isa/x86/abi32.cton
index b949af16f7..04b8d2ec6f 100644
--- a/cranelift/filetests/isa/intel/abi32.cton
+++ b/cranelift/filetests/isa/x86/abi32.cton
@@ -1,6 +1,6 @@
 ; Test the legalization of function signatures.
 test legalizer
-isa intel
+isa x86
 
 ; regex: V=v\d+
 
diff --git a/cranelift/filetests/isa/intel/abi64.cton b/cranelift/filetests/isa/x86/abi64.cton
similarity index 99%
rename from cranelift/filetests/isa/intel/abi64.cton
rename to cranelift/filetests/isa/x86/abi64.cton
index 8aa6a49b0f..2cb63c0dab 100644
--- a/cranelift/filetests/isa/intel/abi64.cton
+++ b/cranelift/filetests/isa/x86/abi64.cton
@@ -1,7 +1,7 @@
 ; Test the legalization of function signatures.
 test legalizer
 set is_64bit
-isa intel
+isa x86
 
 ; regex: V=v\d+
 
diff --git a/cranelift/filetests/isa/intel/allones_funcaddrs32.cton b/cranelift/filetests/isa/x86/allones_funcaddrs32.cton
similarity index 81%
rename from cranelift/filetests/isa/intel/allones_funcaddrs32.cton
rename to cranelift/filetests/isa/x86/allones_funcaddrs32.cton
index 90af70fe5b..d549c8d5e3 100644
--- a/cranelift/filetests/isa/intel/allones_funcaddrs32.cton
+++ b/cranelift/filetests/isa/x86/allones_funcaddrs32.cton
@@ -2,11 +2,11 @@
 test binemit
 set is_compressed
 set allones_funcaddrs
-isa intel haswell
+isa x86 haswell
 
 ; The binary encodings can be verified with the command:
 ;
-;   sed -ne 's/^ *; asm: *//p' filetests/isa/intel/allones_funcaddrs32.cton | llvm-mc -show-encoding -triple=i386
+;   sed -ne 's/^ *; asm: *//p' filetests/isa/x86/allones_funcaddrs32.cton | llvm-mc -show-encoding -triple=i386
 ;
 
 ; Tests from binary32.cton affected by allones_funcaddrs.
diff --git a/cranelift/filetests/isa/intel/allones_funcaddrs64.cton b/cranelift/filetests/isa/x86/allones_funcaddrs64.cton
similarity index 84%
rename from cranelift/filetests/isa/intel/allones_funcaddrs64.cton
rename to cranelift/filetests/isa/x86/allones_funcaddrs64.cton
index 7be06c3963..478c875e3d 100644
--- a/cranelift/filetests/isa/intel/allones_funcaddrs64.cton
+++ b/cranelift/filetests/isa/x86/allones_funcaddrs64.cton
@@ -3,11 +3,11 @@ test binemit
 set is_64bit
 set is_compressed
 set allones_funcaddrs
-isa intel haswell
+isa x86 haswell
 
 ; The binary encodings can be verified with the command:
 ;
-;   sed -ne 's/^ *; asm: *//p' filetests/isa/intel/allones_funcaddrs64.cton | llvm-mc -show-encoding -triple=x86_64
+;   sed -ne 's/^ *; asm: *//p' filetests/isa/x86/allones_funcaddrs64.cton | llvm-mc -show-encoding -triple=x86_64
 ;
 
 ; Tests from binary64.cton affected by allones_funcaddrs.
diff --git a/cranelift/filetests/isa/intel/baseline_clz_ctz_popcount.cton b/cranelift/filetests/isa/x86/baseline_clz_ctz_popcount.cton
similarity index 98%
rename from cranelift/filetests/isa/intel/baseline_clz_ctz_popcount.cton
rename to cranelift/filetests/isa/x86/baseline_clz_ctz_popcount.cton
index b87815aa12..c79de42317 100644
--- a/cranelift/filetests/isa/intel/baseline_clz_ctz_popcount.cton
+++ b/cranelift/filetests/isa/x86/baseline_clz_ctz_popcount.cton
@@ -1,7 +1,7 @@
 
 test compile
 set is_64bit
-isa intel baseline
+isa x86 baseline
 
 
 ; clz/ctz on 64 bit operands
diff --git a/cranelift/filetests/isa/intel/baseline_clz_ctz_popcount_encoding.cton b/cranelift/filetests/isa/x86/baseline_clz_ctz_popcount_encoding.cton
similarity index 94%
rename from cranelift/filetests/isa/intel/baseline_clz_ctz_popcount_encoding.cton
rename to cranelift/filetests/isa/x86/baseline_clz_ctz_popcount_encoding.cton
index 2e552b7145..f69efd573a 100644
--- a/cranelift/filetests/isa/intel/baseline_clz_ctz_popcount_encoding.cton
+++ b/cranelift/filetests/isa/x86/baseline_clz_ctz_popcount_encoding.cton
@@ -2,11 +2,11 @@
 test binemit
 set is_64bit
 set is_compressed
-isa intel baseline
+isa x86 baseline
 
 ; The binary encodings can be verified with the command:
 ;
-;   sed -ne 's/^ *; asm: *//p' filetests/isa/intel/baseline_clz_ctz_popcount_encoding.cton | llvm-mc -show-encoding -triple=x86_64
+;   sed -ne 's/^ *; asm: *//p' filetests/isa/x86/baseline_clz_ctz_popcount_encoding.cton | llvm-mc -show-encoding -triple=x86_64
 ;
 
 function %Foo() {
diff --git a/cranelift/filetests/isa/intel/binary32-float.cton b/cranelift/filetests/isa/x86/binary32-float.cton
similarity index 99%
rename from cranelift/filetests/isa/intel/binary32-float.cton
rename to cranelift/filetests/isa/x86/binary32-float.cton
index 4477c4d8d3..a94fff71c1 100644
--- a/cranelift/filetests/isa/intel/binary32-float.cton
+++ b/cranelift/filetests/isa/x86/binary32-float.cton
@@ -1,10 +1,10 @@
 ; Binary emission of 32-bit floating point code.
 test binemit
-isa intel haswell
+isa x86 haswell
 
 ; The binary encodings can be verified with the command:
 ;
-;   sed -ne 's/^ *; asm: *//p' filetests/isa/intel/binary32-float.cton | llvm-mc -show-encoding -triple=i386
+;   sed -ne 's/^ *; asm: *//p' filetests/isa/x86/binary32-float.cton | llvm-mc -show-encoding -triple=i386
 ;
 
 function %F32() {
diff --git a/cranelift/filetests/isa/intel/binary32.cton b/cranelift/filetests/isa/x86/binary32.cton
similarity index 99%
rename from cranelift/filetests/isa/intel/binary32.cton
rename to cranelift/filetests/isa/x86/binary32.cton
index c6bff52a64..342af80140 100644
--- a/cranelift/filetests/isa/intel/binary32.cton
+++ b/cranelift/filetests/isa/x86/binary32.cton
@@ -1,11 +1,11 @@
 ; binary emission of x86-32 code.
 test binemit
 set is_compressed
-isa intel haswell
+isa x86 haswell
 
 ; The binary encodings can be verified with the command:
 ;
-;   sed -ne 's/^ *; asm: *//p' filetests/isa/intel/binary32.cton | llvm-mc -show-encoding -triple=i386
+;   sed -ne 's/^ *; asm: *//p' filetests/isa/x86/binary32.cton | llvm-mc -show-encoding -triple=i386
 ;
 
 function %I32() {
diff --git a/cranelift/filetests/isa/intel/binary64-float.cton b/cranelift/filetests/isa/x86/binary64-float.cton
similarity index 99%
rename from cranelift/filetests/isa/intel/binary64-float.cton
rename to cranelift/filetests/isa/x86/binary64-float.cton
index 7053a1809e..df910941cd 100644
--- a/cranelift/filetests/isa/intel/binary64-float.cton
+++ b/cranelift/filetests/isa/x86/binary64-float.cton
@@ -2,11 +2,11 @@
 test binemit
 set is_64bit
 set is_compressed
-isa intel haswell
+isa x86 haswell
 
 ; The binary encodings can be verified with the command:
 ;
-;   sed -ne 's/^ *; asm: *//p' filetests/isa/intel/binary64-float.cton | llvm-mc -show-encoding -triple=x86_64
+;   sed -ne 's/^ *; asm: *//p' filetests/isa/x86/binary64-float.cton | llvm-mc -show-encoding -triple=x86_64
 ;
 
 function %F32() {
diff --git a/cranelift/filetests/isa/intel/binary64-pic.cton b/cranelift/filetests/isa/x86/binary64-pic.cton
similarity index 92%
rename from cranelift/filetests/isa/intel/binary64-pic.cton
rename to cranelift/filetests/isa/x86/binary64-pic.cton
index 3129bd9563..e1cd79ac71 100644
--- a/cranelift/filetests/isa/intel/binary64-pic.cton
+++ b/cranelift/filetests/isa/x86/binary64-pic.cton
@@ -3,11 +3,11 @@ test binemit
 set is_64bit
 set is_compressed
 set is_pic
-isa intel haswell
+isa x86 haswell
 
 ; The binary encodings can be verified with the command:
 ;
-;   sed -ne 's/^ *; asm: *//p' filetests/isa/intel/binary64-pic.cton | llvm-mc -show-encoding -triple=x86_64
+;   sed -ne 's/^ *; asm: *//p' filetests/isa/x86/binary64-pic.cton | llvm-mc -show-encoding -triple=x86_64
 ;
 
 ; Tests for i64 instructions.
diff --git a/cranelift/filetests/isa/intel/binary64.cton b/cranelift/filetests/isa/x86/binary64.cton
similarity index 99%
rename from cranelift/filetests/isa/intel/binary64.cton
rename to cranelift/filetests/isa/x86/binary64.cton
index d2fab8e19d..37f026f2ab 100644
--- a/cranelift/filetests/isa/intel/binary64.cton
+++ b/cranelift/filetests/isa/x86/binary64.cton
@@ -2,11 +2,11 @@
 test binemit
 set is_64bit
 set is_compressed
-isa intel haswell
+isa x86 haswell
 
 ; The binary encodings can be verified with the command:
 ;
-;   sed -ne 's/^ *; asm: *//p' filetests/isa/intel/binary64.cton | llvm-mc -show-encoding -triple=x86_64
+;   sed -ne 's/^ *; asm: *//p' filetests/isa/x86/binary64.cton | llvm-mc -show-encoding -triple=x86_64
 ;
 
 ; Tests for i64 instructions.
diff --git a/cranelift/filetests/isa/intel/legalize-custom.cton b/cranelift/filetests/isa/x86/legalize-custom.cton
similarity index 98%
rename from cranelift/filetests/isa/intel/legalize-custom.cton
rename to cranelift/filetests/isa/x86/legalize-custom.cton
index 5cb5ac0462..8f719056cd 100644
--- a/cranelift/filetests/isa/intel/legalize-custom.cton
+++ b/cranelift/filetests/isa/x86/legalize-custom.cton
@@ -1,8 +1,8 @@
 ; Test the custom legalizations.
 test legalizer
-isa intel
+isa x86
 set is_64bit
-isa intel
+isa x86
 
 ; regex: V=v\d+
 ; regex: EBB=ebb\d+
diff --git a/cranelift/filetests/isa/intel/legalize-div-traps.cton b/cranelift/filetests/isa/x86/legalize-div-traps.cton
similarity index 99%
rename from cranelift/filetests/isa/intel/legalize-div-traps.cton
rename to cranelift/filetests/isa/x86/legalize-div-traps.cton
index 3869e66325..4d7beb59b8 100644
--- a/cranelift/filetests/isa/intel/legalize-div-traps.cton
+++ b/cranelift/filetests/isa/x86/legalize-div-traps.cton
@@ -3,7 +3,7 @@ test legalizer
 set is_64bit
 ; See also legalize-div.cton.
 set avoid_div_traps=1
-isa intel
+isa x86
 
 ; regex: V=v\d+
 ; regex: EBB=ebb\d+
diff --git a/cranelift/filetests/isa/intel/legalize-div.cton b/cranelift/filetests/isa/x86/legalize-div.cton
similarity index 99%
rename from cranelift/filetests/isa/intel/legalize-div.cton
rename to cranelift/filetests/isa/x86/legalize-div.cton
index d6179b2611..3777be659e 100644
--- a/cranelift/filetests/isa/intel/legalize-div.cton
+++ b/cranelift/filetests/isa/x86/legalize-div.cton
@@ -3,7 +3,7 @@ test legalizer
 set is_64bit
 ; See also legalize-div-traps.cton.
 set avoid_div_traps=0
-isa intel
+isa x86
 
 ; regex: V=v\d+
 ; regex: EBB=ebb\d+
diff --git a/cranelift/filetests/isa/intel/legalize-libcall.cton b/cranelift/filetests/isa/x86/legalize-libcall.cton
similarity index 97%
rename from cranelift/filetests/isa/intel/legalize-libcall.cton
rename to cranelift/filetests/isa/x86/legalize-libcall.cton
index 239b3e5a57..bbe332170e 100644
--- a/cranelift/filetests/isa/intel/legalize-libcall.cton
+++ b/cranelift/filetests/isa/x86/legalize-libcall.cton
@@ -3,7 +3,7 @@ test legalizer
 ; Pre-SSE 4.1, we need to use runtime library calls for floating point rounding operations.
 set is_64bit
 set is_pic
-isa intel
+isa x86
 
 function %floor(f32) -> f32 {
 ebb0(v0: f32):
diff --git a/cranelift/filetests/isa/intel/legalize-memory.cton b/cranelift/filetests/isa/x86/legalize-memory.cton
similarity index 99%
rename from cranelift/filetests/isa/intel/legalize-memory.cton
rename to cranelift/filetests/isa/x86/legalize-memory.cton
index 1ba979deb1..9cb8661873 100644
--- a/cranelift/filetests/isa/intel/legalize-memory.cton
+++ b/cranelift/filetests/isa/x86/legalize-memory.cton
@@ -1,7 +1,7 @@
 ; Test the legalization of memory objects.
 test legalizer
 set is_64bit
-isa intel
+isa x86
 
 ; regex: V=v\d+
 ; regex: EBB=ebb\d+
diff --git a/cranelift/filetests/isa/intel/legalize-mulhi.cton b/cranelift/filetests/isa/x86/legalize-mulhi.cton
similarity index 97%
rename from cranelift/filetests/isa/intel/legalize-mulhi.cton
rename to cranelift/filetests/isa/x86/legalize-mulhi.cton
index 673a19db3b..a588f25d4e 100644
--- a/cranelift/filetests/isa/intel/legalize-mulhi.cton
+++ b/cranelift/filetests/isa/x86/legalize-mulhi.cton
@@ -1,7 +1,7 @@
 
 test compile
 set is_64bit
-isa intel baseline
+isa x86 baseline
 
 ; umulhi/smulhi on 64 bit operands
 
diff --git a/cranelift/filetests/isa/intel/prologue-epilogue.cton b/cranelift/filetests/isa/x86/prologue-epilogue.cton
similarity index 99%
rename from cranelift/filetests/isa/intel/prologue-epilogue.cton
rename to cranelift/filetests/isa/x86/prologue-epilogue.cton
index ef42836a5a..eee6917b1b 100644
--- a/cranelift/filetests/isa/intel/prologue-epilogue.cton
+++ b/cranelift/filetests/isa/x86/prologue-epilogue.cton
@@ -2,7 +2,7 @@ test compile
 set is_64bit
 set is_compressed
 set is_pic
-isa intel haswell
+isa x86 haswell
 
 ; An empty function.
 
diff --git a/cranelift/filetests/postopt/basic.cton b/cranelift/filetests/postopt/basic.cton
index 218d4dfee4..48b6b66007 100644
--- a/cranelift/filetests/postopt/basic.cton
+++ b/cranelift/filetests/postopt/basic.cton
@@ -1,5 +1,5 @@
 test postopt
-isa intel
+isa x86
 
 ; Test that compare+branch sequences are folded effectively on x86.
 
diff --git a/cranelift/filetests/preopt/div_by_const_indirect.cton b/cranelift/filetests/preopt/div_by_const_indirect.cton
index ccc83cd49b..5d3f9475fc 100644
--- a/cranelift/filetests/preopt/div_by_const_indirect.cton
+++ b/cranelift/filetests/preopt/div_by_const_indirect.cton
@@ -1,6 +1,6 @@
 
 test preopt
-isa intel baseline
+isa x86 baseline
 
 ; Cases where the denominator is created by an iconst
 
diff --git a/cranelift/filetests/preopt/div_by_const_non_power_of_2.cton b/cranelift/filetests/preopt/div_by_const_non_power_of_2.cton
index 18811fcd82..fa3f7fa96a 100644
--- a/cranelift/filetests/preopt/div_by_const_non_power_of_2.cton
+++ b/cranelift/filetests/preopt/div_by_const_non_power_of_2.cton
@@ -1,6 +1,6 @@
 
 test preopt
-isa intel baseline
+isa x86 baseline
 
 ; -------- U32 --------
 
diff --git a/cranelift/filetests/preopt/div_by_const_power_of_2.cton b/cranelift/filetests/preopt/div_by_const_power_of_2.cton
index dc51c5395d..2318aa1f81 100644
--- a/cranelift/filetests/preopt/div_by_const_power_of_2.cton
+++ b/cranelift/filetests/preopt/div_by_const_power_of_2.cton
@@ -1,6 +1,6 @@
 
 test preopt
-isa intel baseline
+isa x86 baseline
 
 ; -------- U32 --------
 
diff --git a/cranelift/filetests/preopt/rem_by_const_non_power_of_2.cton b/cranelift/filetests/preopt/rem_by_const_non_power_of_2.cton
index c142a16359..3d4b986213 100644
--- a/cranelift/filetests/preopt/rem_by_const_non_power_of_2.cton
+++ b/cranelift/filetests/preopt/rem_by_const_non_power_of_2.cton
@@ -1,6 +1,6 @@
 
 test preopt
-isa intel baseline
+isa x86 baseline
 
 ; -------- U32 --------
 
diff --git a/cranelift/filetests/preopt/rem_by_const_power_of_2.cton b/cranelift/filetests/preopt/rem_by_const_power_of_2.cton
index 931623d2e7..7b537fdbb4 100644
--- a/cranelift/filetests/preopt/rem_by_const_power_of_2.cton
+++ b/cranelift/filetests/preopt/rem_by_const_power_of_2.cton
@@ -1,6 +1,6 @@
 
 test preopt
-isa intel baseline
+isa x86 baseline
 
 ; -------- U32 --------
 
diff --git a/cranelift/filetests/preopt/simplify.cton b/cranelift/filetests/preopt/simplify.cton
index 020e2f0108..32f19f4f03 100644
--- a/cranelift/filetests/preopt/simplify.cton
+++ b/cranelift/filetests/preopt/simplify.cton
@@ -1,5 +1,5 @@
 test preopt
-isa intel
+isa x86
 
 function %iadd_imm(i32) -> i32 {
 ebb0(v0: i32):
diff --git a/cranelift/filetests/regalloc/aliases.cton b/cranelift/filetests/regalloc/aliases.cton
index a16fe7231b..096ba99c2a 100644
--- a/cranelift/filetests/regalloc/aliases.cton
+++ b/cranelift/filetests/regalloc/aliases.cton
@@ -1,6 +1,6 @@
 test regalloc
 set is_64bit
-isa intel haswell
+isa x86 haswell
 
 function %value_aliases(i32, f32, i64 vmctx) spiderwasm {
     gv0 = vmctx
diff --git a/cranelift/filetests/regalloc/coalescing-207.cton b/cranelift/filetests/regalloc/coalescing-207.cton
index c4d348e10b..9066bd7c4f 100644
--- a/cranelift/filetests/regalloc/coalescing-207.cton
+++ b/cranelift/filetests/regalloc/coalescing-207.cton
@@ -1,6 +1,6 @@
 test regalloc
 set is_64bit
-isa intel haswell
+isa x86 haswell
 
 ; Reported as https://github.com/Cretonne/cretonne/issues/207
 ;
diff --git a/cranelift/filetests/regalloc/coalescing-216.cton b/cranelift/filetests/regalloc/coalescing-216.cton
index a6cf7b3b42..1138e2578a 100644
--- a/cranelift/filetests/regalloc/coalescing-216.cton
+++ b/cranelift/filetests/regalloc/coalescing-216.cton
@@ -1,6 +1,6 @@
 test regalloc
 set is_64bit
-isa intel haswell
+isa x86 haswell
 
 ; Reported as https://github.com/Cretonne/cretonne/issues/216 from the Binaryen fuzzer.
 ;
diff --git a/cranelift/filetests/regalloc/coloring-227.cton b/cranelift/filetests/regalloc/coloring-227.cton
index accfb3528b..8144bba62e 100644
--- a/cranelift/filetests/regalloc/coloring-227.cton
+++ b/cranelift/filetests/regalloc/coloring-227.cton
@@ -1,6 +1,6 @@
 test regalloc
 set is_64bit
-isa intel haswell
+isa x86 haswell
 
 function %pr227(i32 [%rdi], i32 [%rsi], i32 [%rdx], i32 [%rcx], i64 vmctx [%r8]) system_v {
     gv0 = vmctx
diff --git a/cranelift/filetests/regalloc/constraints.cton b/cranelift/filetests/regalloc/constraints.cton
index bda37df149..e4db3bf9da 100644
--- a/cranelift/filetests/regalloc/constraints.cton
+++ b/cranelift/filetests/regalloc/constraints.cton
@@ -1,5 +1,5 @@
 test regalloc
-isa intel
+isa x86
 
 ; regex: V=v\d+
 ; regex: REG=%r([abcd]x|[sd]i)
diff --git a/cranelift/filetests/regalloc/ghost-param.cton b/cranelift/filetests/regalloc/ghost-param.cton
index c4ce229360..2064231318 100644
--- a/cranelift/filetests/regalloc/ghost-param.cton
+++ b/cranelift/filetests/regalloc/ghost-param.cton
@@ -1,6 +1,6 @@
 test regalloc
 set is_64bit
-isa intel haswell
+isa x86 haswell
 
 ; This test case would create an EBB parameter that was a ghost value.
 ; The coalescer would insert a copy of the ghost value, leading to verifier errors.
diff --git a/cranelift/filetests/regalloc/global-constraints.cton b/cranelift/filetests/regalloc/global-constraints.cton
index b2a3fc0a7e..4975adeac5 100644
--- a/cranelift/filetests/regalloc/global-constraints.cton
+++ b/cranelift/filetests/regalloc/global-constraints.cton
@@ -1,11 +1,11 @@
 test regalloc
-isa intel
+isa x86
 
 ; This test covers the troubles when values with global live ranges are defined
 ; by instructions with constrained register classes.
 ;
 ; The icmp_imm instrutions write their b1 result to the ABCD register class on
-; 32-bit Intel. So if we define 5 live values, they can't all fit.
+; 32-bit x86. So if we define 5 live values, they can't all fit.
 function %global_constraints(i32) {
 ebb0(v0: i32):
     v1 = icmp_imm eq v0, 1
diff --git a/cranelift/filetests/regalloc/global-fixed.cton b/cranelift/filetests/regalloc/global-fixed.cton
index 14b9d8fecc..61d4928806 100644
--- a/cranelift/filetests/regalloc/global-fixed.cton
+++ b/cranelift/filetests/regalloc/global-fixed.cton
@@ -1,6 +1,6 @@
 test regalloc
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %foo() system_v {
 ebb4:
diff --git a/cranelift/filetests/regalloc/iterate.cton b/cranelift/filetests/regalloc/iterate.cton
index 2c585e941d..acb97a31af 100644
--- a/cranelift/filetests/regalloc/iterate.cton
+++ b/cranelift/filetests/regalloc/iterate.cton
@@ -1,6 +1,6 @@
 test regalloc
 set is_64bit
-isa intel haswell
+isa x86 haswell
 
 function u0:9(i64 [%rdi], f32 [%xmm0], f64 [%xmm1], i32 [%rsi], i32 [%rdx], i64 vmctx [%r14]) -> i64 [%rax] spiderwasm {
 ebb0(v0: i64, v1: f32, v2: f64, v3: i32, v4: i32, v5: i64):
diff --git a/cranelift/filetests/regalloc/multi-constraints.cton b/cranelift/filetests/regalloc/multi-constraints.cton
index afbbf6fc2b..590d93eb38 100644
--- a/cranelift/filetests/regalloc/multi-constraints.cton
+++ b/cranelift/filetests/regalloc/multi-constraints.cton
@@ -1,10 +1,10 @@
 test regalloc
 set is_64bit
-isa intel haswell
+isa x86 haswell
 
 ; Test combinations of constraints.
 ;
-; The Intel ushr instruction requires its second operand to be passed in %rcx and its output is
+; The x86 ushr instruction requires its second operand to be passed in %rcx and its output is
 ; tied to the first input operand.
 ;
 ; If we pass the same value to both operands, both constraints must be satisfied.
diff --git a/cranelift/filetests/regalloc/output-interference.cton b/cranelift/filetests/regalloc/output-interference.cton
index 4a5b90c856..ac2bb537c7 100644
--- a/cranelift/filetests/regalloc/output-interference.cton
+++ b/cranelift/filetests/regalloc/output-interference.cton
@@ -1,11 +1,11 @@
 test regalloc
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %test(i64) -> i64 system_v {
 ebb0(v0: i64):
     v2 = iconst.i64 12
-    ; This division clobbers two of its fixed input registers on Intel.
+    ; This division clobbers two of its fixed input registers on x86.
     ; These are FixedTied constraints that the spiller needs to resolve.
     v5 = udiv v0, v2
     v6 = iconst.i64 13
diff --git a/cranelift/filetests/regalloc/reload-208.cton b/cranelift/filetests/regalloc/reload-208.cton
index 70dc1c4523..8ccd3e6ef3 100644
--- a/cranelift/filetests/regalloc/reload-208.cton
+++ b/cranelift/filetests/regalloc/reload-208.cton
@@ -1,6 +1,6 @@
 test regalloc
 set is_64bit
-isa intel haswell
+isa x86 haswell
 
 ; regex: V=v\d+
 
diff --git a/cranelift/filetests/regalloc/schedule-moves.cton b/cranelift/filetests/regalloc/schedule-moves.cton
index 6ba78db893..946bcc9cf3 100644
--- a/cranelift/filetests/regalloc/schedule-moves.cton
+++ b/cranelift/filetests/regalloc/schedule-moves.cton
@@ -1,5 +1,5 @@
 test regalloc
-isa intel haswell
+isa x86 haswell
 
 function %pr165() system_v {
 ebb0:
diff --git a/cranelift/filetests/regalloc/spill-noregs.cton b/cranelift/filetests/regalloc/spill-noregs.cton
index 733606b828..65f1da84c8 100644
--- a/cranelift/filetests/regalloc/spill-noregs.cton
+++ b/cranelift/filetests/regalloc/spill-noregs.cton
@@ -1,6 +1,6 @@
 test regalloc
 set is_64bit
-isa intel
+isa x86
 
 ; Test case found by the Binaryen fuzzer.
 ;
diff --git a/cranelift/filetests/regalloc/unreachable_code.cton b/cranelift/filetests/regalloc/unreachable_code.cton
index ac667e7721..4b4896f4a8 100644
--- a/cranelift/filetests/regalloc/unreachable_code.cton
+++ b/cranelift/filetests/regalloc/unreachable_code.cton
@@ -2,7 +2,7 @@
 test compile
 
 set is_64bit
-isa intel haswell
+isa x86 haswell
 
 ; This function contains unreachable blocks which trip up the register
 ; allocator if they don't get cleared out.
diff --git a/cranelift/filetests/regalloc/intel-regres.cton b/cranelift/filetests/regalloc/x86-regres.cton
similarity index 99%
rename from cranelift/filetests/regalloc/intel-regres.cton
rename to cranelift/filetests/regalloc/x86-regres.cton
index 0f76e8f2d0..e396fb1022 100644
--- a/cranelift/filetests/regalloc/intel-regres.cton
+++ b/cranelift/filetests/regalloc/x86-regres.cton
@@ -1,6 +1,6 @@
 test regalloc
 
-isa intel
+isa x86
 
 ; regex: V=v\d+
 
diff --git a/cranelift/filetests/verifier/flags.cton b/cranelift/filetests/verifier/flags.cton
index b4a01621c4..55d9bdf4e1 100644
--- a/cranelift/filetests/verifier/flags.cton
+++ b/cranelift/filetests/verifier/flags.cton
@@ -1,5 +1,5 @@
 test verifier
-isa intel
+isa x86
 
 ; Simple, correct use of CPU flags.
 function %simple(i32) -> i32 {
diff --git a/cranelift/filetests/wasm/control.cton b/cranelift/filetests/wasm/control.cton
index 1d12aeff3d..30d4240490 100644
--- a/cranelift/filetests/wasm/control.cton
+++ b/cranelift/filetests/wasm/control.cton
@@ -2,10 +2,10 @@
 test compile
 
 set is_64bit=0
-isa intel haswell
+isa x86 haswell
 
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %br_if(i32) -> i32 {
 ebb0(v0: i32):
diff --git a/cranelift/filetests/wasm/conversions.cton b/cranelift/filetests/wasm/conversions.cton
index 4ce70ee583..5ca8072067 100644
--- a/cranelift/filetests/wasm/conversions.cton
+++ b/cranelift/filetests/wasm/conversions.cton
@@ -2,7 +2,7 @@
 test compile
 
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %i32_wrap_i64(i64) -> i32 {
 ebb0(v0: i64):
diff --git a/cranelift/filetests/wasm/f32-arith.cton b/cranelift/filetests/wasm/f32-arith.cton
index 331f9c7fad..d21316d293 100644
--- a/cranelift/filetests/wasm/f32-arith.cton
+++ b/cranelift/filetests/wasm/f32-arith.cton
@@ -2,10 +2,10 @@
 test compile
 
 set is_64bit=0
-isa intel haswell
+isa x86 haswell
 
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 ; Constants.
 
diff --git a/cranelift/filetests/wasm/f32-compares.cton b/cranelift/filetests/wasm/f32-compares.cton
index 560b86ebcb..0cdee58ef3 100644
--- a/cranelift/filetests/wasm/f32-compares.cton
+++ b/cranelift/filetests/wasm/f32-compares.cton
@@ -2,10 +2,10 @@
 test compile
 
 set is_64bit=0
-isa intel haswell
+isa x86 haswell
 
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %f32_eq(f32, f32) -> i32 {
 ebb0(v0: f32, v1: f32):
diff --git a/cranelift/filetests/wasm/f32-memory64.cton b/cranelift/filetests/wasm/f32-memory64.cton
index 7125e66d3b..a6e0d54af7 100644
--- a/cranelift/filetests/wasm/f32-memory64.cton
+++ b/cranelift/filetests/wasm/f32-memory64.cton
@@ -4,7 +4,7 @@ test compile
 ; We only test on 64-bit since the heap_addr instructions and vmctx parameters
 ; explicitly mention the pointer width.
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %f32_load(i32, i64 vmctx) -> f32 {
     gv0 = vmctx
diff --git a/cranelift/filetests/wasm/f64-arith.cton b/cranelift/filetests/wasm/f64-arith.cton
index 4f39fb6a5f..7b870ab2cb 100644
--- a/cranelift/filetests/wasm/f64-arith.cton
+++ b/cranelift/filetests/wasm/f64-arith.cton
@@ -2,7 +2,7 @@
 test compile
 
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 ; Constants.
 
diff --git a/cranelift/filetests/wasm/f64-compares.cton b/cranelift/filetests/wasm/f64-compares.cton
index 78a260ef27..ff1b9526d0 100644
--- a/cranelift/filetests/wasm/f64-compares.cton
+++ b/cranelift/filetests/wasm/f64-compares.cton
@@ -2,10 +2,10 @@
 test compile
 
 set is_64bit=0
-isa intel haswell
+isa x86 haswell
 
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %f64_eq(f64, f64) -> i32 {
 ebb0(v0: f64, v1: f64):
diff --git a/cranelift/filetests/wasm/f64-memory64.cton b/cranelift/filetests/wasm/f64-memory64.cton
index 1f61749e51..0a15e69a37 100644
--- a/cranelift/filetests/wasm/f64-memory64.cton
+++ b/cranelift/filetests/wasm/f64-memory64.cton
@@ -4,7 +4,7 @@ test compile
 ; We only test on 64-bit since the heap_addr instructions and vmctx parameters
 ; explicitly mention the pointer width.
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %f64_load(i32, i64 vmctx) -> f64 {
     gv0 = vmctx
diff --git a/cranelift/filetests/wasm/i32-arith.cton b/cranelift/filetests/wasm/i32-arith.cton
index fe9cf19883..7fb388054f 100644
--- a/cranelift/filetests/wasm/i32-arith.cton
+++ b/cranelift/filetests/wasm/i32-arith.cton
@@ -2,10 +2,10 @@
 test compile
 
 set is_64bit=0
-isa intel haswell
+isa x86 haswell
 
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 ; Constants.
 
diff --git a/cranelift/filetests/wasm/i32-compares.cton b/cranelift/filetests/wasm/i32-compares.cton
index 228258d279..a36df1b28a 100644
--- a/cranelift/filetests/wasm/i32-compares.cton
+++ b/cranelift/filetests/wasm/i32-compares.cton
@@ -2,10 +2,10 @@
 test compile
 
 set is_64bit=0
-isa intel haswell
+isa x86 haswell
 
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %i32_eqz(i32) -> i32 {
 ebb0(v0: i32):
diff --git a/cranelift/filetests/wasm/i32-memory64.cton b/cranelift/filetests/wasm/i32-memory64.cton
index 0fbffa4fb8..319609e9d3 100644
--- a/cranelift/filetests/wasm/i32-memory64.cton
+++ b/cranelift/filetests/wasm/i32-memory64.cton
@@ -4,7 +4,7 @@ test compile
 ; We only test on 64-bit since the heap_addr instructions and vmctx parameters
 ; explicitly mention the pointer width.
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %i32_load(i32, i64 vmctx) -> i32 {
     gv0 = vmctx
diff --git a/cranelift/filetests/wasm/i64-arith.cton b/cranelift/filetests/wasm/i64-arith.cton
index 4e8cdc06df..6cf6f2e4a2 100644
--- a/cranelift/filetests/wasm/i64-arith.cton
+++ b/cranelift/filetests/wasm/i64-arith.cton
@@ -2,7 +2,7 @@
 test compile
 
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 ; Constants.
 
diff --git a/cranelift/filetests/wasm/i64-compares.cton b/cranelift/filetests/wasm/i64-compares.cton
index 3406463f0d..4679268018 100644
--- a/cranelift/filetests/wasm/i64-compares.cton
+++ b/cranelift/filetests/wasm/i64-compares.cton
@@ -2,7 +2,7 @@
 test compile
 
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %i64_eqz(i64) -> i32 {
 ebb0(v0: i64):
diff --git a/cranelift/filetests/wasm/i64-memory64.cton b/cranelift/filetests/wasm/i64-memory64.cton
index bc44a2bbea..7c9836dbf3 100644
--- a/cranelift/filetests/wasm/i64-memory64.cton
+++ b/cranelift/filetests/wasm/i64-memory64.cton
@@ -4,7 +4,7 @@ test compile
 ; We only test on 64-bit since the heap_addr instructions and vmctx parameters
 ; explicitly mention the pointer width.
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %i64_load(i32, i64 vmctx) -> i64 {
     gv0 = vmctx
diff --git a/cranelift/filetests/wasm/select.cton b/cranelift/filetests/wasm/select.cton
index fc08c92a8a..7f1c26e724 100644
--- a/cranelift/filetests/wasm/select.cton
+++ b/cranelift/filetests/wasm/select.cton
@@ -2,10 +2,10 @@
 test compile
 
 set is_64bit=0
-isa intel haswell
+isa x86 haswell
 
 set is_64bit=1
-isa intel haswell
+isa x86 haswell
 
 function %select_i32(i32, i32, i32) -> i32 {
 ebb0(v0: i32, v1: i32, v2: i32):
diff --git a/lib/cretonne/build.rs b/lib/cretonne/build.rs
index e13e9349a5..8031a71c5a 100644
--- a/lib/cretonne/build.rs
+++ b/lib/cretonne/build.rs
@@ -77,7 +77,7 @@ fn main() {
 #[derive(Copy, Clone)]
 enum Isa {
     Riscv,
-    Intel,
+    X86,
     Arm32,
     Arm64,
 }
@@ -103,14 +103,14 @@ impl Isa {
 
     /// Returns all supported isa targets.
     fn all() -> [Isa; 4] {
-        [Isa::Riscv, Isa::Intel, Isa::Arm32, Isa::Arm64]
+        [Isa::Riscv, Isa::X86, Isa::Arm32, Isa::Arm64]
     }
 
     /// Returns name of the isa target.
     fn name(&self) -> &'static str {
         match *self {
             Isa::Riscv => "riscv",
-            Isa::Intel => "intel",
+            Isa::X86 => "x86",
             Isa::Arm32 => "arm32",
             Isa::Arm64 => "arm64",
         }
@@ -120,7 +120,7 @@ impl Isa {
     fn is_arch_applicable(&self, arch: &str) -> bool {
         match *self {
             Isa::Riscv => arch == "riscv",
-            Isa::Intel => ["x86_64", "i386", "i586", "i686"].contains(&arch),
+            Isa::X86 => ["x86_64", "i386", "i586", "i686"].contains(&arch),
             Isa::Arm32 => arch.starts_with("arm") || arch.starts_with("thumb"),
             Isa::Arm64 => arch == "aarch64",
         }
diff --git a/lib/cretonne/meta/base/settings.py b/lib/cretonne/meta/base/settings.py
index 3bd90f107b..a59904a572 100644
--- a/lib/cretonne/meta/base/settings.py
+++ b/lib/cretonne/meta/base/settings.py
@@ -85,7 +85,7 @@ spiderwasm_prologue_words = NumSetting(
 
         This setting configures the number of pointer-sized words pushed on the
         stack when the Cretonne-generated code is entered. This includes the
-        pushed return address on Intel ISAs.
+        pushed return address on x86.
         """)
 
 #
diff --git a/lib/cretonne/meta/isa/__init__.py b/lib/cretonne/meta/isa/__init__.py
index bad91c5c90..1add6e033f 100644
--- a/lib/cretonne/meta/isa/__init__.py
+++ b/lib/cretonne/meta/isa/__init__.py
@@ -7,7 +7,7 @@ architecture supported by Cretonne.
 """
 from __future__ import absolute_import
 from cdsl.isa import TargetISA  # noqa
-from . import riscv, intel, arm32, arm64
+from . import riscv, x86, arm32, arm64
 
 try:
     from typing import List  # noqa
@@ -21,4 +21,4 @@ def all_isas():
     Get a list of all the supported target ISAs. Each target ISA is represented
     as a :py:class:`cretonne.TargetISA` instance.
     """
-    return [riscv.ISA, intel.ISA, arm32.ISA, arm64.ISA]
+    return [riscv.ISA, x86.ISA, arm32.ISA, arm64.ISA]
diff --git a/lib/cretonne/meta/isa/intel/__init__.py b/lib/cretonne/meta/isa/intel/__init__.py
deleted file mode 100644
index 0828d790aa..0000000000
--- a/lib/cretonne/meta/isa/intel/__init__.py
+++ /dev/null
@@ -1,23 +0,0 @@
-"""
-Intel Target Architecture
--------------------------
-
-This target ISA generates code for Intel CPUs with two separate CPU modes:
-
-`I32`
-    IA-32 architecture, also known as 'x86'. Generates code for the Intel 386
-    and later processors in 32-bit mode.
-`I64`
-    Intel 64 architecture, also known as 'x86-64, 'x64', and 'amd64'. Intel and
-    AMD CPUs running in 64-bit mode.
-
-Floating point is supported only on CPUs with support for SSE2 or later. There
-is no x87 floating point support.
-"""
-
-from __future__ import absolute_import
-from . import defs
-from . import encodings, settings, registers  # noqa
-
-# Re-export the primary target ISA definition.
-ISA = defs.ISA.finish()
diff --git a/lib/cretonne/meta/isa/x86/__init__.py b/lib/cretonne/meta/isa/x86/__init__.py
new file mode 100644
index 0000000000..d87b95964a
--- /dev/null
+++ b/lib/cretonne/meta/isa/x86/__init__.py
@@ -0,0 +1,21 @@
+"""
+x86 Target Architecture
+-------------------------
+
+This target ISA generates code for x86 CPUs with two separate CPU modes:
+
+`I32`
+    32-bit x86 architecture, also known as 'IA-32', also sometimes referred
+    to as 'i386', however note that Cretonne depends on instructions not
+    in the original `i386`, such as SSE2, CMOVcc, and UD2.
+
+`I64`
+    x86-64 architecture, also known as 'AMD64`, `Intel 64`, and 'x64'.
+"""
+
+from __future__ import absolute_import
+from . import defs
+from . import encodings, settings, registers  # noqa
+
+# Re-export the primary target ISA definition.
+ISA = defs.ISA.finish()
diff --git a/lib/cretonne/meta/isa/intel/defs.py b/lib/cretonne/meta/isa/x86/defs.py
similarity index 88%
rename from lib/cretonne/meta/isa/intel/defs.py
rename to lib/cretonne/meta/isa/x86/defs.py
index b6a4d37206..32c54ab620 100644
--- a/lib/cretonne/meta/isa/intel/defs.py
+++ b/lib/cretonne/meta/isa/x86/defs.py
@@ -1,5 +1,5 @@
 """
-Intel definitions.
+x86 definitions.
 
 Commonly used definitions.
 """
@@ -9,7 +9,7 @@ import base.instructions
 from . import instructions as x86
 from base.immediates import floatcc
 
-ISA = TargetISA('intel', [base.instructions.GROUP, x86.GROUP])
+ISA = TargetISA('x86', [base.instructions.GROUP, x86.GROUP])
 
 # CPU modes for 32-bit and 64-bit operation.
 X86_64 = CPUMode('I64', ISA)
diff --git a/lib/cretonne/meta/isa/intel/encodings.py b/lib/cretonne/meta/isa/x86/encodings.py
similarity index 98%
rename from lib/cretonne/meta/isa/intel/encodings.py
rename to lib/cretonne/meta/isa/x86/encodings.py
index c7833d04bc..915e75436d 100644
--- a/lib/cretonne/meta/isa/intel/encodings.py
+++ b/lib/cretonne/meta/isa/x86/encodings.py
@@ -1,5 +1,5 @@
 """
-Intel Encodings.
+x86 Encodings.
 """
 from __future__ import absolute_import
 from cdsl.predicates import IsUnsignedInt, Not, And
@@ -9,7 +9,7 @@ from .defs import X86_64, X86_32
 from . import recipes as r
 from . import settings as cfg
 from . import instructions as x86
-from .legalize import intel_expand
+from .legalize import x86_expand
 from base.legalize import narrow, expand_flags
 from base.settings import allones_funcaddrs, is_pic
 from .settings import use_sse41
@@ -26,18 +26,18 @@ X86_32.legalize_monomorphic(expand_flags)
 X86_32.legalize_type(
     default=narrow,
     b1=expand_flags,
-    i32=intel_expand,
-    f32=intel_expand,
-    f64=intel_expand)
+    i32=x86_expand,
+    f32=x86_expand,
+    f64=x86_expand)
 
 X86_64.legalize_monomorphic(expand_flags)
 X86_64.legalize_type(
     default=narrow,
     b1=expand_flags,
-    i32=intel_expand,
-    i64=intel_expand,
-    f32=intel_expand,
-    f64=intel_expand)
+    i32=x86_expand,
+    i64=x86_expand,
+    f32=x86_expand,
+    f64=x86_expand)
 
 
 #
diff --git a/lib/cretonne/meta/isa/intel/instructions.py b/lib/cretonne/meta/isa/x86/instructions.py
similarity index 95%
rename from lib/cretonne/meta/isa/intel/instructions.py
rename to lib/cretonne/meta/isa/x86/instructions.py
index 1fe75ff984..6adc2ad689 100644
--- a/lib/cretonne/meta/isa/intel/instructions.py
+++ b/lib/cretonne/meta/isa/x86/instructions.py
@@ -1,7 +1,7 @@
 """
-Supplementary instruction definitions for Intel.
+Supplementary instruction definitions for x86.
 
-This module defines additional instructions that are useful only to the Intel
+This module defines additional instructions that are useful only to the x86
 target ISA.
 """
 
@@ -11,7 +11,7 @@ from cdsl.typevar import TypeVar
 from cdsl.instructions import Instruction, InstructionGroup
 
 
-GROUP = InstructionGroup("x86", "Intel-specific instruction set")
+GROUP = InstructionGroup("x86", "x86-specific instruction set")
 
 iWord = TypeVar('iWord', 'A scalar integer machine word', ints=(32, 64))
 
@@ -98,7 +98,7 @@ y = Operand('y', Float)
 
 fmin = Instruction(
         'x86_fmin', r"""
-        Floating point minimum with Intel semantics.
+        Floating point minimum with x86 semantics.
 
         This is equivalent to the C ternary operator `x < y ? x : y` which
         differs from :inst:`fmin` when either operand is NaN or when comparing
@@ -111,7 +111,7 @@ fmin = Instruction(
 
 fmax = Instruction(
         'x86_fmax', r"""
-        Floating point maximum with Intel semantics.
+        Floating point maximum with x86 semantics.
 
         This is equivalent to the C ternary operator `x > y ? x : y` which
         differs from :inst:`fmax` when either operand is NaN or when comparing
diff --git a/lib/cretonne/meta/isa/intel/legalize.py b/lib/cretonne/meta/isa/x86/legalize.py
similarity index 85%
rename from lib/cretonne/meta/isa/intel/legalize.py
rename to lib/cretonne/meta/isa/x86/legalize.py
index 5806bb9284..6da7d53340 100644
--- a/lib/cretonne/meta/isa/intel/legalize.py
+++ b/lib/cretonne/meta/isa/x86/legalize.py
@@ -1,5 +1,5 @@
 """
-Custom legalization patterns for Intel.
+Custom legalization patterns for x86.
 """
 from __future__ import absolute_import
 from cdsl.ast import Var
@@ -10,12 +10,12 @@ from base import instructions as insts
 from . import instructions as x86
 from .defs import ISA
 
-intel_expand = XFormGroup(
-        'intel_expand',
+x86_expand = XFormGroup(
+        'x86_expand',
         """
         Legalize instructions by expansion.
 
-        Use Intel-specific instructions if needed.
+        Use x86-specific instructions if needed.
         """,
         isa=ISA, chain=shared.expand_flags)
 
@@ -32,23 +32,23 @@ a2 = Var('a2')
 #
 # The srem expansion requires custom code because srem INT_MIN, -1 is not
 # allowed to trap. The other ops need to check avoid_div_traps.
-intel_expand.custom_legalize(insts.sdiv, 'expand_sdivrem')
-intel_expand.custom_legalize(insts.srem, 'expand_sdivrem')
-intel_expand.custom_legalize(insts.udiv, 'expand_udivrem')
-intel_expand.custom_legalize(insts.urem, 'expand_udivrem')
+x86_expand.custom_legalize(insts.sdiv, 'expand_sdivrem')
+x86_expand.custom_legalize(insts.srem, 'expand_sdivrem')
+x86_expand.custom_legalize(insts.udiv, 'expand_udivrem')
+x86_expand.custom_legalize(insts.urem, 'expand_udivrem')
 
 #
 # Double length (widening) multiplication
 #
 resLo = Var('resLo')
 resHi = Var('resHi')
-intel_expand.legalize(
+x86_expand.legalize(
         resHi << insts.umulhi(x, y),
         Rtl(
             (resLo, resHi) << x86.umulx(x, y)
         ))
 
-intel_expand.legalize(
+x86_expand.legalize(
         resHi << insts.smulhi(x, y),
         Rtl(
             (resLo, resHi) << x86.smulx(x, y)
@@ -61,14 +61,14 @@ intel_expand.legalize(
 # patterns.
 
 # Equality needs an explicit `ord` test which checks the parity bit.
-intel_expand.legalize(
+x86_expand.legalize(
         a << insts.fcmp(floatcc.eq, x, y),
         Rtl(
             a1 << insts.fcmp(floatcc.ord, x, y),
             a2 << insts.fcmp(floatcc.ueq, x, y),
             a << insts.band(a1, a2)
         ))
-intel_expand.legalize(
+x86_expand.legalize(
         a << insts.fcmp(floatcc.ne, x, y),
         Rtl(
             a1 << insts.fcmp(floatcc.uno, x, y),
@@ -82,21 +82,21 @@ for cc,               rev_cc in [
         (floatcc.le,  floatcc.ge),
         (floatcc.ugt, floatcc.ult),
         (floatcc.uge, floatcc.ule)]:
-    intel_expand.legalize(
+    x86_expand.legalize(
             a << insts.fcmp(cc, x, y),
             Rtl(
                 a << insts.fcmp(rev_cc, y, x)
             ))
 
 # We need to modify the CFG for min/max legalization.
-intel_expand.custom_legalize(insts.fmin, 'expand_minmax')
-intel_expand.custom_legalize(insts.fmax, 'expand_minmax')
+x86_expand.custom_legalize(insts.fmin, 'expand_minmax')
+x86_expand.custom_legalize(insts.fmax, 'expand_minmax')
 
 # Conversions from unsigned need special handling.
-intel_expand.custom_legalize(insts.fcvt_from_uint, 'expand_fcvt_from_uint')
+x86_expand.custom_legalize(insts.fcvt_from_uint, 'expand_fcvt_from_uint')
 # Conversions from float to int can trap.
-intel_expand.custom_legalize(insts.fcvt_to_sint, 'expand_fcvt_to_sint')
-intel_expand.custom_legalize(insts.fcvt_to_uint, 'expand_fcvt_to_uint')
+x86_expand.custom_legalize(insts.fcvt_to_sint, 'expand_fcvt_to_sint')
+x86_expand.custom_legalize(insts.fcvt_to_uint, 'expand_fcvt_to_uint')
 
 # Count leading and trailing zeroes, for baseline x86_64
 c_minus_one = Var('c_minus_one')
@@ -108,7 +108,7 @@ index1 = Var('index1')
 r2flags = Var('r2flags')
 index2 = Var('index2')
 
-intel_expand.legalize(
+x86_expand.legalize(
     a << insts.clz.i64(x),
     Rtl(
         c_minus_one << insts.iconst(imm64(-1)),
@@ -118,7 +118,7 @@ intel_expand.legalize(
         a << insts.isub(c_sixty_three, index2),
     ))
 
-intel_expand.legalize(
+x86_expand.legalize(
     a << insts.clz.i32(x),
     Rtl(
         c_minus_one << insts.iconst(imm64(-1)),
@@ -128,7 +128,7 @@ intel_expand.legalize(
         a << insts.isub(c_thirty_one, index2),
     ))
 
-intel_expand.legalize(
+x86_expand.legalize(
     a << insts.ctz.i64(x),
     Rtl(
         c_sixty_four << insts.iconst(imm64(64)),
@@ -136,7 +136,7 @@ intel_expand.legalize(
         a << insts.selectif(intcc.eq, r2flags, c_sixty_four, index1),
     ))
 
-intel_expand.legalize(
+x86_expand.legalize(
     a << insts.ctz.i32(x),
     Rtl(
         c_thirty_two << insts.iconst(imm64(32)),
@@ -164,7 +164,7 @@ qv16 = Var('qv16')
 qc77 = Var('qc77')
 qc0F = Var('qc0F')
 qc01 = Var('qc01')
-intel_expand.legalize(
+x86_expand.legalize(
     qv16 << insts.popcnt.i64(qv1),
     Rtl(
         qv3 << insts.ushr_imm(qv1, imm64(1)),
@@ -204,7 +204,7 @@ lv16 = Var('lv16')
 lc77 = Var('lc77')
 lc0F = Var('lc0F')
 lc01 = Var('lc01')
-intel_expand.legalize(
+x86_expand.legalize(
     lv16 << insts.popcnt.i32(lv1),
     Rtl(
         lv3 << insts.ushr_imm(lv1, imm64(1)),
diff --git a/lib/cretonne/meta/isa/intel/recipes.py b/lib/cretonne/meta/isa/x86/recipes.py
similarity index 98%
rename from lib/cretonne/meta/isa/intel/recipes.py
rename to lib/cretonne/meta/isa/x86/recipes.py
index 5f36e20291..af1cab5792 100644
--- a/lib/cretonne/meta/isa/intel/recipes.py
+++ b/lib/cretonne/meta/isa/x86/recipes.py
@@ -1,5 +1,5 @@
 """
-Intel Encoding recipes.
+x86 Encoding recipes.
 """
 from __future__ import absolute_import
 from cdsl.isa import EncRecipe
@@ -31,7 +31,7 @@ except ImportError:
 # Opcode representation.
 #
 # Cretonne requires each recipe to have a single encoding size in bytes, and
-# Intel opcodes are variable length, so we use separate recipes for different
+# x86 opcodes are variable length, so we use separate recipes for different
 # styles of opcodes and prefixes. The opcode format is indicated by the recipe
 # name prefix:
 
@@ -124,7 +124,7 @@ class TailRecipe:
     """
     Generate encoding recipes on demand.
 
-    Intel encodings are somewhat orthogonal with the opcode representation on
+    x86 encodings are somewhat orthogonal with the opcode representation on
     one side and the ModR/M, SIB and immediate fields on the other side.
 
     A `TailRecipe` represents the part of an encoding that follow the opcode.
@@ -144,7 +144,7 @@ class TailRecipe:
 
     The `emit` parameter contains Rust code to actually emit an encoding, like
     `EncRecipe` does it. Additionally, the text `PUT_OP` is substituted with
-    the proper `put_*` function from the `intel/binemit.rs` module.
+    the proper `put_*` function from the `x86/binemit.rs` module.
     """
 
     def __init__(
@@ -590,7 +590,7 @@ fnaddr4 = TailRecipe(
         'fnaddr4', FuncAddr, size=4, ins=(), outs=GPR,
         emit='''
         PUT_OP(bits | (out_reg0 & 7), rex1(out_reg0), sink);
-        sink.reloc_external(Reloc::IntelAbs4,
+        sink.reloc_external(Reloc::X86Abs4,
                             &func.dfg.ext_funcs[func_ref].name,
                             0);
         sink.put4(0);
@@ -601,7 +601,7 @@ fnaddr8 = TailRecipe(
         'fnaddr8', FuncAddr, size=8, ins=(), outs=GPR,
         emit='''
         PUT_OP(bits | (out_reg0 & 7), rex1(out_reg0), sink);
-        sink.reloc_external(Reloc::IntelAbs8,
+        sink.reloc_external(Reloc::X86Abs8,
                             &func.dfg.ext_funcs[func_ref].name,
                             0);
         sink.put8(0);
@@ -612,7 +612,7 @@ allones_fnaddr4 = TailRecipe(
         'allones_fnaddr4', FuncAddr, size=4, ins=(), outs=GPR,
         emit='''
         PUT_OP(bits | (out_reg0 & 7), rex1(out_reg0), sink);
-        sink.reloc_external(Reloc::IntelAbs4,
+        sink.reloc_external(Reloc::X86Abs4,
                             &func.dfg.ext_funcs[func_ref].name,
                             0);
         // Write the immediate as `!0` for the benefit of BaldrMonkey.
@@ -624,7 +624,7 @@ allones_fnaddr8 = TailRecipe(
         'allones_fnaddr8', FuncAddr, size=8, ins=(), outs=GPR,
         emit='''
         PUT_OP(bits | (out_reg0 & 7), rex1(out_reg0), sink);
-        sink.reloc_external(Reloc::IntelAbs8,
+        sink.reloc_external(Reloc::X86Abs8,
                             &func.dfg.ext_funcs[func_ref].name,
                             0);
         // Write the immediate as `!0` for the benefit of BaldrMonkey.
@@ -640,7 +640,7 @@ got_fnaddr8 = TailRecipe(
         modrm_riprel(out_reg0, sink);
         // The addend adjusts for the difference between the end of the
         // instruction and the beginning of the immediate field.
-        sink.reloc_external(Reloc::IntelGOTPCRel4,
+        sink.reloc_external(Reloc::X86GOTPCRel4,
                             &func.dfg.ext_funcs[func_ref].name,
                             -4);
         sink.put4(0);
@@ -652,7 +652,7 @@ gvaddr4 = TailRecipe(
         'gvaddr4', UnaryGlobalVar, size=4, ins=(), outs=GPR,
         emit='''
         PUT_OP(bits | (out_reg0 & 7), rex1(out_reg0), sink);
-        sink.reloc_external(Reloc::IntelAbs4,
+        sink.reloc_external(Reloc::X86Abs4,
                             &func.global_vars[global_var].symbol_name(),
                             0);
         sink.put4(0);
@@ -663,7 +663,7 @@ gvaddr8 = TailRecipe(
         'gvaddr8', UnaryGlobalVar, size=8, ins=(), outs=GPR,
         emit='''
         PUT_OP(bits | (out_reg0 & 7), rex1(out_reg0), sink);
-        sink.reloc_external(Reloc::IntelAbs8,
+        sink.reloc_external(Reloc::X86Abs8,
                             &func.global_vars[global_var].symbol_name(),
                             0);
         sink.put8(0);
@@ -677,7 +677,7 @@ got_gvaddr8 = TailRecipe(
         modrm_rm(5, out_reg0, sink);
         // The addend adjusts for the difference between the end of the
         // instruction and the beginning of the immediate field.
-        sink.reloc_external(Reloc::IntelGOTPCRel4,
+        sink.reloc_external(Reloc::X86GOTPCRel4,
                             &func.global_vars[global_var].symbol_name(),
                             -4);
         sink.put4(0);
@@ -1009,7 +1009,7 @@ call_id = TailRecipe(
         PUT_OP(bits, BASE_REX, sink);
         // The addend adjusts for the difference between the end of the
         // instruction and the beginning of the immediate field.
-        sink.reloc_external(Reloc::IntelPCRel4,
+        sink.reloc_external(Reloc::X86PCRel4,
                             &func.dfg.ext_funcs[func_ref].name,
                             -4);
         sink.put4(0);
@@ -1019,7 +1019,7 @@ call_plt_id = TailRecipe(
         'call_plt_id', Call, size=4, ins=(), outs=(),
         emit='''
         PUT_OP(bits, BASE_REX, sink);
-        sink.reloc_external(Reloc::IntelPLTRel4,
+        sink.reloc_external(Reloc::X86PLTRel4,
                             &func.dfg.ext_funcs[func_ref].name,
                             -4);
         sink.put4(0);
diff --git a/lib/cretonne/meta/isa/intel/registers.py b/lib/cretonne/meta/isa/x86/registers.py
similarity index 94%
rename from lib/cretonne/meta/isa/intel/registers.py
rename to lib/cretonne/meta/isa/x86/registers.py
index a4832640cd..f463b93a46 100644
--- a/lib/cretonne/meta/isa/intel/registers.py
+++ b/lib/cretonne/meta/isa/x86/registers.py
@@ -1,9 +1,9 @@
 """
-Intel register banks.
+x86 register banks.
 
 While the floating-point registers are straight-forward, the general purpose
-register bank has a few quirks on Intel architectures. We have these encodings
-of the 8-bit registers:
+register bank has a few quirks on x86. We have these encodings of the 8-bit
+registers:
 
          I32 I64  |  16b 32b  64b
     000  AL  AL   |  AX  EAX  RAX
diff --git a/lib/cretonne/meta/isa/intel/settings.py b/lib/cretonne/meta/isa/x86/settings.py
similarity index 92%
rename from lib/cretonne/meta/isa/intel/settings.py
rename to lib/cretonne/meta/isa/x86/settings.py
index c62012e0c1..70da674fc0 100644
--- a/lib/cretonne/meta/isa/intel/settings.py
+++ b/lib/cretonne/meta/isa/x86/settings.py
@@ -1,5 +1,5 @@
 """
-Intel settings.
+x86 settings.
 """
 from __future__ import absolute_import
 from cdsl.settings import SettingGroup, BoolSetting, Preset
@@ -7,7 +7,7 @@ from cdsl.predicates import And
 import base.settings as shared
 from .defs import ISA
 
-ISA.settings = SettingGroup('intel', parent=shared.group)
+ISA.settings = SettingGroup('x86', parent=shared.group)
 
 # The has_* settings here correspond to CPUID bits.
 
@@ -35,7 +35,7 @@ use_popcnt = And(has_popcnt, has_sse42)
 use_bmi1 = And(has_bmi1)
 use_lzcnt = And(has_lzcnt)
 
-# Presets corresponding to Intel CPUs.
+# Presets corresponding to x86 CPUs.
 
 baseline = Preset()
 nehalem = Preset(
diff --git a/lib/cretonne/src/binemit/mod.rs b/lib/cretonne/src/binemit/mod.rs
index ea31abaae5..7caca7abab 100644
--- a/lib/cretonne/src/binemit/mod.rs
+++ b/lib/cretonne/src/binemit/mod.rs
@@ -25,16 +25,16 @@ pub type Addend = i64;
 /// Relocation kinds for every ISA
 #[derive(Debug)]
 pub enum Reloc {
-    /// Intel PC-relative 4-byte
-    IntelPCRel4,
-    /// Intel absolute 4-byte
-    IntelAbs4,
-    /// Intel absolute 8-byte
-    IntelAbs8,
-    /// Intel GOT PC-relative 4-byte
-    IntelGOTPCRel4,
-    /// Intel PLT-relative 4-byte
-    IntelPLTRel4,
+    /// x86 PC-relative 4-byte
+    X86PCRel4,
+    /// x86 absolute 4-byte
+    X86Abs4,
+    /// x86 absolute 8-byte
+    X86Abs8,
+    /// x86 GOT PC-relative 4-byte
+    X86GOTPCRel4,
+    /// x86 PLT-relative 4-byte
+    X86PLTRel4,
     /// Arm32 call target
     Arm32Call,
     /// Arm64 call target
@@ -48,11 +48,11 @@ impl fmt::Display for Reloc {
     /// already unambigious, e.g. cton syntax with isa specified. In other contexts, use Debug.
     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
         match *self {
-            Reloc::IntelPCRel4 => write!(f, "{}", "PCRel4"),
-            Reloc::IntelAbs4 => write!(f, "{}", "Abs4"),
-            Reloc::IntelAbs8 => write!(f, "{}", "Abs8"),
-            Reloc::IntelGOTPCRel4 => write!(f, "{}", "GOTPCRel4"),
-            Reloc::IntelPLTRel4 => write!(f, "{}", "PLTRel4"),
+            Reloc::X86PCRel4 => write!(f, "{}", "PCRel4"),
+            Reloc::X86Abs4 => write!(f, "{}", "Abs4"),
+            Reloc::X86Abs8 => write!(f, "{}", "Abs8"),
+            Reloc::X86GOTPCRel4 => write!(f, "{}", "GOTPCRel4"),
+            Reloc::X86PLTRel4 => write!(f, "{}", "PLTRel4"),
             Reloc::Arm32Call | Reloc::Arm64Call | Reloc::RiscvCall => write!(f, "{}", "Call"),
         }
     }
diff --git a/lib/cretonne/src/binemit/relaxation.rs b/lib/cretonne/src/binemit/relaxation.rs
index 8123c5b92f..44a6611c3c 100644
--- a/lib/cretonne/src/binemit/relaxation.rs
+++ b/lib/cretonne/src/binemit/relaxation.rs
@@ -10,7 +10,7 @@
 //!
 //! Branch relaxation is the process of ensuring that all branches in the function have enough
 //! range to encode their destination. It is common to have multiple branch encodings in an ISA.
-//! For example, Intel branches can have either an 8-bit or a 32-bit displacement.
+//! For example, x86 branches can have either an 8-bit or a 32-bit displacement.
 //!
 //! On RISC architectures, it can happen that conditional branches have a shorter range than
 //! unconditional branches:
diff --git a/lib/cretonne/src/ir/stackslot.rs b/lib/cretonne/src/ir/stackslot.rs
index 9dfcfa7d21..bdf2c95825 100644
--- a/lib/cretonne/src/ir/stackslot.rs
+++ b/lib/cretonne/src/ir/stackslot.rs
@@ -107,9 +107,8 @@ pub struct StackSlotData {
 
     /// Offset of stack slot relative to the stack pointer in the caller.
     ///
-    /// On Intel ISAs, the base address is the stack pointer *before* the return address was
-    /// pushed. On RISC ISAs, the base address is the value of the stack pointer on entry to the
-    /// function.
+    /// On x86, the base address is the stack pointer *before* the return address was pushed. On
+    /// RISC ISAs, the base address is the value of the stack pointer on entry to the function.
     ///
     /// For `OutgoingArg` stack slots, the offset is relative to the current function's stack
     /// pointer immediately before the call.
diff --git a/lib/cretonne/src/isa/constraints.rs b/lib/cretonne/src/isa/constraints.rs
index b08f635ba4..b9a4838a9d 100644
--- a/lib/cretonne/src/isa/constraints.rs
+++ b/lib/cretonne/src/isa/constraints.rs
@@ -158,7 +158,7 @@ impl RecipeConstraints {
 /// The origin depends on the ISA and the specific instruction:
 ///
 /// - RISC-V and ARM Aarch64 use the address of the branch instruction, `origin = 0`.
-/// - Intel uses the address of the instruction following the branch, `origin = 2` for a 2-byte
+/// - x86 uses the address of the instruction following the branch, `origin = 2` for a 2-byte
 ///   branch instruction.
 /// - ARM's A32 encoding uses the address of the branch instruction + 8 bytes, `origin = 8`.
 #[derive(Clone, Copy, Debug)]
diff --git a/lib/cretonne/src/isa/mod.rs b/lib/cretonne/src/isa/mod.rs
index 71537a0487..5ee3359d50 100644
--- a/lib/cretonne/src/isa/mod.rs
+++ b/lib/cretonne/src/isa/mod.rs
@@ -59,8 +59,8 @@ use timing;
 #[cfg(build_riscv)]
 mod riscv;
 
-#[cfg(build_intel)]
-mod intel;
+#[cfg(build_x86)]
+mod x86;
 
 #[cfg(build_arm32)]
 mod arm32;
@@ -95,7 +95,7 @@ macro_rules! isa_builder {
 pub fn lookup(name: &str) -> Result<Builder, LookupError> {
     match name {
         "riscv" => isa_builder!(riscv, build_riscv),
-        "intel" => isa_builder!(intel, build_intel),
+        "x86" => isa_builder!(x86, build_x86),
         "arm32" => isa_builder!(arm32, build_arm32),
         "arm64" => isa_builder!(arm64, build_arm64),
         _ => Err(LookupError::Unknown),
diff --git a/lib/cretonne/src/isa/intel/abi.rs b/lib/cretonne/src/isa/x86/abi.rs
similarity index 99%
rename from lib/cretonne/src/isa/intel/abi.rs
rename to lib/cretonne/src/isa/x86/abi.rs
index 488f8a3d49..16cea926b8 100644
--- a/lib/cretonne/src/isa/intel/abi.rs
+++ b/lib/cretonne/src/isa/x86/abi.rs
@@ -1,4 +1,4 @@
-//! Intel ABI implementation.
+//! x86 ABI implementation.
 
 use super::registers::{FPR, GPR, RU};
 use abi::{legalize_args, ArgAction, ArgAssigner, ValueConversion};
diff --git a/lib/cretonne/src/isa/intel/binemit.rs b/lib/cretonne/src/isa/x86/binemit.rs
similarity index 99%
rename from lib/cretonne/src/isa/intel/binemit.rs
rename to lib/cretonne/src/isa/x86/binemit.rs
index da14f80d29..3a7c14d7be 100644
--- a/lib/cretonne/src/isa/intel/binemit.rs
+++ b/lib/cretonne/src/isa/x86/binemit.rs
@@ -1,4 +1,4 @@
-//! Emitting binary Intel machine code.
+//! Emitting binary x86 machine code.
 
 use super::registers::RU;
 use binemit::{bad_encoding, CodeSink, Reloc};
@@ -7,7 +7,7 @@ use ir::{Ebb, Function, Inst, InstructionData, Opcode, TrapCode};
 use isa::{RegUnit, StackBase, StackBaseMask, StackRef};
 use regalloc::RegDiversions;
 
-include!(concat!(env!("OUT_DIR"), "/binemit-intel.rs"));
+include!(concat!(env!("OUT_DIR"), "/binemit-x86.rs"));
 
 // Convert a stack base to the corresponding register.
 fn stk_base(base: StackBase) -> RegUnit {
diff --git a/lib/cretonne/src/isa/intel/enc_tables.rs b/lib/cretonne/src/isa/x86/enc_tables.rs
similarity index 98%
rename from lib/cretonne/src/isa/intel/enc_tables.rs
rename to lib/cretonne/src/isa/x86/enc_tables.rs
index d847eb6d53..01c9ede2f0 100644
--- a/lib/cretonne/src/isa/intel/enc_tables.rs
+++ b/lib/cretonne/src/isa/x86/enc_tables.rs
@@ -1,4 +1,4 @@
-//! Encoding tables for Intel ISAs.
+//! Encoding tables for x86 ISAs.
 
 use super::registers::*;
 use bitset::BitSet;
@@ -12,8 +12,8 @@ use isa::enc_tables::*;
 use isa::encoding::RecipeSizing;
 use predicates;
 
-include!(concat!(env!("OUT_DIR"), "/encoding-intel.rs"));
-include!(concat!(env!("OUT_DIR"), "/legalize-intel.rs"));
+include!(concat!(env!("OUT_DIR"), "/encoding-x86.rs"));
+include!(concat!(env!("OUT_DIR"), "/legalize-x86.rs"));
 
 /// Expand the `sdiv` and `srem` instructions using `x86_sdivmodx`.
 fn expand_sdivrem(
@@ -147,7 +147,7 @@ fn expand_udivrem(
     pos.remove_inst();
 }
 
-/// Expand the `fmin` and `fmax` instructions using the Intel `x86_fmin` and `x86_fmax`
+/// Expand the `fmin` and `fmax` instructions using the x86 `x86_fmin` and `x86_fmax`
 /// instructions.
 fn expand_minmax(
     inst: ir::Inst,
@@ -241,7 +241,7 @@ fn expand_minmax(
     cfg.recompute_ebb(pos.func, done);
 }
 
-/// Intel has no unsigned-to-float conversions. We handle the easy case of zero-extending i32 to
+/// x86 has no unsigned-to-float conversions. We handle the easy case of zero-extending i32 to
 /// i64 with a pattern, the rest needs more code.
 fn expand_fcvt_from_uint(
     inst: ir::Inst,
diff --git a/lib/cretonne/src/isa/intel/mod.rs b/lib/cretonne/src/isa/x86/mod.rs
similarity index 96%
rename from lib/cretonne/src/isa/intel/mod.rs
rename to lib/cretonne/src/isa/x86/mod.rs
index 02cccc4f54..a272420421 100644
--- a/lib/cretonne/src/isa/intel/mod.rs
+++ b/lib/cretonne/src/isa/x86/mod.rs
@@ -1,4 +1,4 @@
-//! Intel Instruction Set Architectures.
+//! x86 Instruction Set Architectures.
 
 mod abi;
 mod binemit;
@@ -25,7 +25,7 @@ struct Isa {
     cpumode: &'static [shared_enc_tables::Level1Entry<u16>],
 }
 
-/// Get an ISA builder for creating Intel targets.
+/// Get an ISA builder for creating x86 targets.
 pub fn isa_builder() -> IsaBuilder {
     IsaBuilder {
         setup: settings::builder(),
@@ -51,7 +51,7 @@ fn isa_constructor(
 
 impl TargetIsa for Isa {
     fn name(&self) -> &'static str {
-        "intel"
+        "x86"
     }
 
     fn flags(&self) -> &shared_settings::Flags {
diff --git a/lib/cretonne/src/isa/intel/registers.rs b/lib/cretonne/src/isa/x86/registers.rs
similarity index 95%
rename from lib/cretonne/src/isa/intel/registers.rs
rename to lib/cretonne/src/isa/x86/registers.rs
index c972c10a13..5ca0c4912c 100644
--- a/lib/cretonne/src/isa/intel/registers.rs
+++ b/lib/cretonne/src/isa/x86/registers.rs
@@ -1,8 +1,8 @@
-//! Intel register descriptions.
+//! x86 register descriptions.
 
 use isa::registers::{RegBank, RegClass, RegClassData, RegInfo, RegUnit};
 
-include!(concat!(env!("OUT_DIR"), "/registers-intel.rs"));
+include!(concat!(env!("OUT_DIR"), "/registers-x86.rs"));
 
 #[cfg(test)]
 mod tests {
diff --git a/lib/cretonne/src/isa/intel/settings.rs b/lib/cretonne/src/isa/x86/settings.rs
similarity index 92%
rename from lib/cretonne/src/isa/intel/settings.rs
rename to lib/cretonne/src/isa/x86/settings.rs
index 147af4c2fa..8bcf75249b 100644
--- a/lib/cretonne/src/isa/intel/settings.rs
+++ b/lib/cretonne/src/isa/x86/settings.rs
@@ -1,12 +1,12 @@
-//! Intel Settings.
+//! x86 Settings.
 
 use settings::{self, detail, Builder};
 use std::fmt;
 
 // Include code generated by `lib/cretonne/meta/gen_settings.py`. This file contains a public
 // `Flags` struct with an impl for all of the settings defined in
-// `lib/cretonne/meta/isa/intel/settings.py`.
-include!(concat!(env!("OUT_DIR"), "/settings-intel.rs"));
+// `lib/cretonne/meta/isa/x86/settings.py`.
+include!(concat!(env!("OUT_DIR"), "/settings-x86.rs"));
 
 #[cfg(test)]
 mod tests {
diff --git a/lib/cretonne/src/regalloc/register_set.rs b/lib/cretonne/src/regalloc/register_set.rs
index f2f109ecd9..65414dbd9b 100644
--- a/lib/cretonne/src/regalloc/register_set.rs
+++ b/lib/cretonne/src/regalloc/register_set.rs
@@ -196,7 +196,7 @@ impl<'a> fmt::Display for DisplayRegisterSet<'a> {
                             }
                             // Display individual registers as either the second letter of their
                             // name or the last digit of their number.
-                            // This works for Intel (rax, rbx, ...) and for numbered regs.
+                            // This works for x86 (rax, rbx, ...) and for numbered regs.
                             write!(
                                 f,
                                 "{}",
diff --git a/lib/native/src/lib.rs b/lib/native/src/lib.rs
index 15f3e69350..971abdc4f5 100644
--- a/lib/native/src/lib.rs
+++ b/lib/native/src/lib.rs
@@ -27,7 +27,7 @@ pub fn builders() -> Result<(settings::Builder, isa::Builder), &'static str> {
     }
 
     let name = if cfg!(any(target_arch = "x86", target_arch = "x86_64")) {
-        "intel"
+        "x86"
     } else if cfg!(target_arch = "arm") {
         "arm32"
     } else if cfg!(target_arch = "aarch64") {