Replace newly inserted fallthrough by jump.

cranelift/filetests/filetests/isa/x86/prologue-epilogue.clif

@@ -217,7 +217,7 @@ ebb0(v0: i32):
 
 ebb1(v4: i32, v5: i32, v6: i32):
     brz v4, ebb3
-    fallthrough ebb2
+    jump ebb2
 
 ebb2:
     v7 = iadd v5, v6

cranelift/filetests/filetests/isa/x86/shrink-multiple-uses.clif

@@ -8,7 +8,7 @@ ebb0(v0: i32 [%rdi]):
 [Op2seti_abcd#490,%rax]             v1 = trueif eq v3
 [RexOp2urm_noflags#4b6,%rax]        v2 = bint.i32 v1
 [Op1brib#70]                        brif eq v3, ebb1
-[-]                                 fallthrough ebb2
+[Op1jmpb#eb]                        jump ebb2
 
 ebb2:
 [Op1ret#c3]                         return v2

cranelift/filetests/filetests/licm/complex.clif

@@ -39,7 +39,7 @@ ebb0(v0: i32):
             v19 = iadd v18, v2
             v20 = iadd.i32 v2, v3
 [SBzero#18] brz.i32 v1, ebb1(v20)
-            fallthrough ebb7
+[UJ#1b]     jump ebb7
 
          ebb7:
 [Iret#19]   return v19
@@ -89,7 +89,7 @@ ebb0(v0: i32):
 ; nextln: ebb6(v18: i32):
 ; nextln:     v19 = iadd v18, v2
 ; nextln:     brz.i32 v1, ebb1(v20)
-; nextln:     fallthrough ebb7
+; nextln:     jump ebb7
 ; nextln: 
 ; nextln: ebb7:
 ; nextln:     return v19

cranelift/filetests/filetests/licm/critical-edge.clif

@@ -7,7 +7,7 @@ function %critical_edge(i32, i32) -> i32 {
 
             ebb0(v0: i32, v7: i32):
 [SBzero#38]   brnz v7, ebb2(v0)
-[-]           fallthrough ebb1
+[UJ#1b]       jump ebb1
 
             ebb1:
 [Iret#19]     return v0
@@ -30,7 +30,7 @@ function %critical_edge(i32, i32) -> i32 {
 ; sameln: function %critical_edge
 ; nextln: ebb0(v0: i32, v7: i32):
 ; nextln:     brnz v7, ebb5(v0)
-; nextln:     fallthrough ebb1
+; nextln:     jump ebb1
 ; nextln: 
 ; nextln: ebb1:
 ; nextln:     return v0

cranelift/filetests/filetests/postopt/basic.clif

@@ -7,7 +7,7 @@ function %br_icmp(i32, i32) -> i32 {
 ebb0(v0: i32, v1: i32):
 [Op1icscc#39,%rdx]  v2 = icmp slt v0, v1
 [Op1t8jccd_long#85] brnz v2, ebb1
-[-]                 fallthrough ebb2
+[Op1jmpb#eb]        jump ebb2
 
 ebb2:
 [Op1ret#c3]         return v1
@@ -21,7 +21,7 @@ ebb1:
 ; nextln:    v9 = ifcmp v0, v1
 ; nextln:    v2 = trueif slt v9
 ; nextln:    brif slt v9, ebb1
-; nextln:    fallthrough ebb2
+; nextln:    jump ebb2
 ; nextln: 
 ; nextln: ebb2:
 ; nextln:    return v1
@@ -37,7 +37,7 @@ function %br_icmp_inverse(i32, i32) -> i32 {
 ebb0(v0: i32, v1: i32):
 [Op1icscc#39,%rdx]  v2 = icmp slt v0, v1
 [Op1t8jccd_long#84] brz v2, ebb1
-[-]                 fallthrough ebb2
+[Op1jmpb#eb]        jump ebb2
 
 ebb2:
 [Op1ret#c3]         return v1
@@ -51,7 +51,7 @@ ebb1:
 ; nextln:    v9 = ifcmp v0, v1
 ; nextln:    v2 = trueif slt v9
 ; nextln:    brif sge v9, ebb1
-; nextln:    fallthrough ebb2
+; nextln:    jump ebb2
 ; nextln: 
 ; nextln: ebb2:
 ; nextln:    return v1
@@ -67,7 +67,7 @@ function %br_icmp_imm(i32, i32) -> i32 {
 ebb0(v0: i32, v1: i32):
 [Op1icscc_ib#7083]  v2 = icmp_imm slt v0, 2
 [Op1t8jccd_long#84] brz v2, ebb1
-[-]                 fallthrough ebb2
+[Op1jmpb#eb]        jump ebb2
 
 ebb2:
 [Op1ret#c3]         return v1
@@ -81,7 +81,7 @@ ebb1:
 ; nextln:    v9 = ifcmp_imm v0, 2
 ; nextln:    v2 = trueif slt v9
 ; nextln:    brif sge v9, ebb1
-; nextln:    fallthrough ebb2
+; nextln:    jump ebb2
 ; nextln: 
 ; nextln: ebb2:
 ; nextln:    return v1
@@ -97,7 +97,7 @@ function %br_fcmp(f32, f32) -> f32 {
 ebb0(v0: f32, v1: f32):
 [Op2fcscc#42e,%rdx] v2 = fcmp gt v0, v1
 [Op1t8jccd_long#84] brz v2, ebb1
-[-]                 fallthrough ebb2
+[Op1jmpb#eb]        jump ebb2
 
 ebb2:
 [Op1ret#c3]         return v1
@@ -112,7 +112,7 @@ ebb1:
 ; nextln:    v19 = ffcmp v0, v1
 ; nextln:    v2 = trueff gt v19
 ; nextln:    brff ule v19, ebb1
-; nextln:    fallthrough ebb2
+; nextln:    jump ebb2
 ; nextln: 
 ; nextln: ebb2:
 ; nextln:    return v1

cranelift/filetests/filetests/regalloc/coalesce.clif

@@ -12,7 +12,7 @@ ebb0(v0: i32):
     ; not: copy
     ; v0 is used by the branch and passed as an arg - that's no conflict.
     brnz v0, ebb1(v0)
-    fallthrough ebb2
+    jump ebb2
 
 ebb2:
     ; v0 is live across the branch above. That's no conflict.
@@ -29,7 +29,7 @@ ebb0(v0: i32):
     ; check: $(cp1=$V) = copy v0
     ; nextln: brnz v0, ebb1($cp1)
     brnz v0, ebb1(v0)
-    fallthrough ebb2
+    jump ebb2
 
 ebb2:
     ; not: copy
@@ -48,7 +48,7 @@ ebb0(v0: i32):
     ; check: $(cp1=$V) = copy v0
     ; nextln: brnz v0, ebb1($cp1, v0)
     brnz v0, ebb1(v0, v0)
-    fallthrough ebb2
+    jump ebb2
 
 ebb2:
     v1 = iadd_imm v0, 7
@@ -68,7 +68,7 @@ ebb0(v0: i32):
     ; not: copy
     ; check: brnz v0, ebb1($cp0)
     brnz v0, ebb1(v0)
-    fallthrough ebb2
+    jump ebb2
 
 ebb2:
     v1 = iadd_imm v0, 7
@@ -101,7 +101,7 @@ ebb1(v10: i32, v11: i32):
     ; not: copy
     ; check: brnz v13, ebb1($nv11b, v12)
     brnz v13, ebb1(v11, v12)
-    fallthrough ebb2
+    jump ebb2
 
 ebb2:
     return v12
@@ -131,12 +131,12 @@ ebb0(v0: i32):
 
 ebb2(v3: i32, v4: i32):
     brnz v3, ebb2(v3, v4)
-    fallthrough ebb3
+    jump ebb3
 
 ebb3:
     v5 = iconst.i32 1
     brnz v3, ebb2(v2, v5)
-    fallthrough ebb4
+    jump ebb4
 
 ebb4:
     return

cranelift/filetests/filetests/regalloc/coalescing-207.clif

@@ -22,7 +22,7 @@ ebb0(v0: i64, v1: i32, v2: i32):
     v6 = iconst.i32 0x4ffe
     v7 = icmp uge v5, v6
     brz v7, ebb1
-    fallthrough ebb100
+    jump ebb100
 
 ebb100:
     trap heap_oob
@@ -38,7 +38,7 @@ ebb1:
     v15 = iconst.i32 0x4ffe
     v16 = icmp.i32 uge v4, v15
     brz v16, ebb2
-    fallthrough ebb101
+    jump ebb101
 
 ebb101:
     trap heap_oob
@@ -52,7 +52,7 @@ ebb2:
     v21 = iconst.i32 0x4ffe
     v22 = icmp.i32 uge v2, v21
     brz v22, ebb3
-    fallthrough ebb102
+    jump ebb102
 
 ebb102:
     trap heap_oob
@@ -69,7 +69,7 @@ ebb3:
     v31 = icmp eq v29, v30
     v32 = bint.i32 v31
     brnz v32, ebb90(v14, v1)
-    fallthrough ebb103
+    jump ebb103
 
 ebb103:
     v33 = call fn0(v0, v1, v27)
@@ -78,13 +78,13 @@ ebb103:
     v36 = icmp eq v33, v35
     v37 = bint.i32 v36
     brnz v37, ebb90(v14, v34)
-    fallthrough ebb104
+    jump ebb104
 
 ebb104:
     v38 = iconst.i32 0x4ffe
     v39 = icmp.i32 uge v2, v38
     brz v39, ebb4
-    fallthrough ebb105
+    jump ebb105
 
 ebb105:
     trap heap_oob
@@ -99,13 +99,13 @@ ebb4:
     v46 = icmp eq v44, v45
     v47 = bint.i32 v46
     brnz v47, ebb56(v33, v14)
-    fallthrough ebb106
+    jump ebb106
 
 ebb106:
     v48 = iconst.i32 0x4ffe
     v49 = icmp.i32 uge v33, v48
     brz v49, ebb5
-    fallthrough ebb107
+    jump ebb107
 
 ebb107:
     trap heap_oob
@@ -120,13 +120,13 @@ ebb5:
     v56 = icmp eq v54, v55
     v57 = bint.i32 v56
     brnz v57, ebb90(v14, v34)
-    fallthrough ebb108
+    jump ebb108
 
 ebb108:
     v58 = iconst.i32 0x4ffe
     v59 = icmp.i32 uge v2, v58
     brz v59, ebb6
-    fallthrough ebb109
+    jump ebb109
 
 ebb109:
     trap heap_oob
@@ -141,13 +141,13 @@ ebb6:
     v66 = icmp eq v64, v65
     v67 = bint.i32 v66
     brnz v67, ebb42
-    fallthrough ebb110
+    jump ebb110
 
 ebb110:
     v68 = iconst.i32 0x4ffe
     v69 = icmp.i32 uge v33, v68
     brz v69, ebb7
-    fallthrough ebb111
+    jump ebb111
 
 ebb111:
     trap heap_oob
@@ -162,13 +162,13 @@ ebb7:
     v76 = icmp eq v74, v75
     v77 = bint.i32 v76
     brnz v77, ebb90(v14, v34)
-    fallthrough ebb112
+    jump ebb112
 
 ebb112:
     v78 = iconst.i32 0x4ffe
     v79 = icmp.i32 uge v2, v78
     brz v79, ebb8
-    fallthrough ebb113
+    jump ebb113
 
 ebb113:
     trap heap_oob
@@ -183,13 +183,13 @@ ebb8:
     v86 = icmp eq v84, v85
     v87 = bint.i32 v86
     brnz v87, ebb46
-    fallthrough ebb114
+    jump ebb114
 
 ebb114:
     v88 = iconst.i32 0x4ffe
     v89 = icmp.i32 uge v33, v88
     brz v89, ebb9
-    fallthrough ebb115
+    jump ebb115
 
 ebb115:
     trap heap_oob
@@ -204,13 +204,13 @@ ebb9:
     v96 = icmp eq v94, v95
     v97 = bint.i32 v96
     brnz v97, ebb90(v14, v34)
-    fallthrough ebb116
+    jump ebb116
 
 ebb116:
     v98 = iconst.i32 0x4ffe
     v99 = icmp.i32 uge v2, v98
     brz v99, ebb10
-    fallthrough ebb117
+    jump ebb117
 
 ebb117:
     trap heap_oob
@@ -225,7 +225,7 @@ ebb10:
     v106 = icmp eq v104, v105
     v107 = bint.i32 v106
     brnz v107, ebb54
-    fallthrough ebb118
+    jump ebb118
 
 ebb118:
     v108 = iconst.i32 1
@@ -236,7 +236,7 @@ ebb118:
     v113 = iconst.i32 0x4ffe
     v114 = icmp uge v111, v113
     brz v114, ebb11
-    fallthrough ebb119
+    jump ebb119
 
 ebb119:
     trap heap_oob
@@ -253,7 +253,7 @@ ebb11:
     v122 = iconst.i32 0x4ffe
     v123 = icmp uge v120, v122
     brz v123, ebb12
-    fallthrough ebb120
+    jump ebb120
 
 ebb120:
     trap heap_oob
@@ -268,7 +268,7 @@ ebb12:
     v129 = iconst.i32 0x4ffe
     v130 = icmp.i32 uge v14, v129
     brz v130, ebb13
-    fallthrough ebb121
+    jump ebb121
 
 ebb121:
     trap heap_oob
@@ -283,7 +283,7 @@ ebb13:
     v136 = iconst.i32 0x4ffe
     v137 = icmp.i32 uge v14, v136
     brz v137, ebb14
-    fallthrough ebb122
+    jump ebb122
 
 ebb122:
     trap heap_oob
@@ -304,7 +304,7 @@ ebb15(v143: i32, v144: i32):
     v148 = iconst.i32 0x4ffe
     v149 = icmp uge v147, v148
     brz v149, ebb16
-    fallthrough ebb123
+    jump ebb123
 
 ebb123:
     trap heap_oob
@@ -319,7 +319,7 @@ ebb16:
     v156 = icmp eq v154, v155
     v157 = bint.i32 v156
     brnz v157, ebb89(v14)
-    fallthrough ebb124
+    jump ebb124
 
 ebb124:
     v158 = iconst.i32 255
@@ -332,7 +332,7 @@ ebb124:
     v165 = iconst.i32 0x4ffe
     v166 = icmp uge v162, v165
     brz v166, ebb17
-    fallthrough ebb125
+    jump ebb125
 
 ebb125:
     trap heap_oob
@@ -353,7 +353,7 @@ ebb17:
     v178 = iconst.i32 0x4ffe
     v179 = icmp uge v177, v178
     brz v179, ebb18
-    fallthrough ebb126
+    jump ebb126
 
 ebb126:
     trap heap_oob
@@ -372,7 +372,7 @@ ebb18:
     v190 = iconst.i32 0x4ffe
     v191 = icmp.i32 uge v177, v190
     brz v191, ebb19
-    fallthrough ebb127
+    jump ebb127
 
 ebb127:
     trap heap_oob
@@ -391,7 +391,7 @@ ebb19:
     v201 = iconst.i32 0x4ffe
     v202 = icmp uge v200, v201
     brz v202, ebb20
-    fallthrough ebb128
+    jump ebb128
 
 ebb128:
     trap heap_oob
@@ -416,7 +416,7 @@ ebb21:
     v215 = icmp ult v213, v214
     v216 = bint.i32 v215
     brnz v216, ebb38(v2, v211, v209, v210, v208, v198, v213, v33, v14)
-    fallthrough ebb129
+    jump ebb129
 
 ebb129:
     v217 = iconst.i32 -1
@@ -434,7 +434,7 @@ ebb22(v223: i32, v224: i32, v225: i32, v226: i32, v227: i32, v228: i32, v229: i3
     v237 = iconst.i32 0x4ffe
     v238 = icmp uge v236, v237
     brz v238, ebb23
-    fallthrough ebb130
+    jump ebb130
 
 ebb130:
     trap heap_oob
@@ -450,13 +450,13 @@ ebb23:
     v246 = icmp ne v243, v245
     v247 = bint.i32 v246
     brnz v247, ebb24
-    fallthrough ebb131
+    jump ebb131
 
 ebb131:
     v248 = icmp.i32 ne v224, v226
     v249 = bint.i32 v248
     brnz v249, ebb25
-    fallthrough ebb132
+    jump ebb132
 
 ebb132:
     v250 = iadd.i32 v227, v226
@@ -467,7 +467,7 @@ ebb24:
     v252 = icmp.i32 ule v243, v245
     v253 = bint.i32 v252
     brnz v253, ebb26
-    fallthrough ebb133
+    jump ebb133
 
 ebb133:
     v254 = isub.i32 v234, v223
@@ -493,14 +493,14 @@ ebb27(v264: i32, v265: i32, v266: i32, v267: i32):
     v269 = icmp uge v268, v229
     v270 = bint.i32 v269
     brnz v270, ebb29
-    fallthrough ebb134
+    jump ebb134
 
 ebb134:
     v271 = iadd.i32 v2, v268
     v272 = iconst.i32 0x4ffe
     v273 = icmp uge v271, v272
     brz v273, ebb28
-    fallthrough ebb135
+    jump ebb135
 
 ebb135:
     trap heap_oob
@@ -532,7 +532,7 @@ ebb31(v285: i32, v286: i32, v287: i32, v288: i32, v289: i32, v290: i32, v291: i3
     v300 = iconst.i32 0x4ffe
     v301 = icmp uge v299, v300
     brz v301, ebb32
-    fallthrough ebb136
+    jump ebb136
 
 ebb136:
     trap heap_oob
@@ -548,13 +548,13 @@ ebb32:
     v309 = icmp ne v306, v308
     v310 = bint.i32 v309
     brnz v310, ebb33
-    fallthrough ebb137
+    jump ebb137
 
 ebb137:
     v311 = icmp.i32 ne v286, v288
     v312 = bint.i32 v311
     brnz v312, ebb34
-    fallthrough ebb138
+    jump ebb138
 
 ebb138:
     v313 = iadd.i32 v289, v288
@@ -565,7 +565,7 @@ ebb33:
     v315 = icmp.i32 uge v306, v308
     v316 = bint.i32 v315
     brnz v316, ebb35
-    fallthrough ebb139
+    jump ebb139
 
 ebb139:
     v317 = isub.i32 v297, v285
@@ -591,14 +591,14 @@ ebb36(v327: i32, v328: i32, v329: i32, v330: i32):
     v332 = icmp uge v331, v291
     v333 = bint.i32 v332
     brnz v333, ebb38(v2, v330, v292, v329, v293, v294, v291, v295, v296)
-    fallthrough ebb140
+    jump ebb140
 
 ebb140:
     v334 = iadd.i32 v2, v331
     v335 = iconst.i32 0x4ffe
     v336 = icmp uge v334, v335
     brz v336, ebb37
-    fallthrough ebb141
+    jump ebb141
 
 ebb141:
     trap heap_oob
@@ -620,7 +620,7 @@ ebb38(v343: i32, v344: i32, v345: i32, v346: i32, v347: i32, v348: i32, v349: i3
     v356 = icmp ugt v353, v355
     v357 = bint.i32 v356
     brnz v357, ebb39(v344)
-    fallthrough ebb142
+    jump ebb142
 
 ebb142:
     v358 = copy v345
@@ -629,7 +629,7 @@ ebb142:
 ebb39(v359: i32):
     v360 = iadd.i32 v343, v359
     brnz.i32 v357, ebb40(v346)
-    fallthrough ebb143
+    jump ebb143
 
 ebb143:
     v361 = copy.i32 v347
@@ -643,7 +643,7 @@ ebb40(v362: i32):
     v367 = icmp eq v365, v366
     v368 = bint.i32 v367
     brnz v368, ebb63
-    fallthrough ebb144
+    jump ebb144
 
 ebb144:
     v369 = iconst.i32 1
@@ -655,7 +655,7 @@ ebb144:
     v375 = bint.i32 v374
     v376 = copy v362
     brnz v375, ebb41(v376)
-    fallthrough ebb145
+    jump ebb145
 
 ebb145:
     v377 = copy v373
@@ -674,7 +674,7 @@ ebb42:
     v385 = iconst.i32 0x4ffe
     v386 = icmp.i32 uge v33, v385
     brz v386, ebb43
-    fallthrough ebb146
+    jump ebb146
 
 ebb146:
     trap heap_oob
@@ -698,7 +698,7 @@ ebb44(v392: i32, v393: i32, v394: i32):
     v402 = icmp eq v401, v384
     v403 = bint.i32 v402
     brnz v403, ebb56(v394, v14)
-    fallthrough ebb147
+    jump ebb147
 
 ebb147:
     v404 = iconst.i32 2
@@ -708,7 +708,7 @@ ebb147:
     v408 = iconst.i32 0x4ffe
     v409 = icmp uge v405, v408
     brz v409, ebb45
-    fallthrough ebb148
+    jump ebb148
 
 ebb148:
     trap heap_oob
@@ -731,7 +731,7 @@ ebb46:
     v420 = iconst.i32 0x4ffe
     v421 = icmp.i32 uge v33, v420
     brz v421, ebb47
-    fallthrough ebb149
+    jump ebb149
 
 ebb149:
     trap heap_oob
@@ -766,7 +766,7 @@ ebb48(v440: i32, v441: i32):
     v446 = iconst.i32 0x4ffe
     v447 = icmp uge v445, v446
     brz v447, ebb49
-    fallthrough ebb150
+    jump ebb150
 
 ebb150:
     trap heap_oob
@@ -781,7 +781,7 @@ ebb49:
     v454 = icmp eq v452, v453
     v455 = bint.i32 v454
     brnz v455, ebb51(v14)
-    fallthrough ebb151
+    jump ebb151
 
 ebb151:
     v456 = bor.i32 v441, v452
@@ -803,7 +803,7 @@ ebb51(v462: i32):
     v466 = iconst.i32 0x4ffe
     v467 = icmp uge v463, v466
     brz v467, ebb52
-    fallthrough ebb152
+    jump ebb152
 
 ebb152:
     trap heap_oob
@@ -816,7 +816,7 @@ ebb52:
     store.i32 v465, v471+4
     v472 = iconst.i32 0
     brnz.i32 v452, ebb53(v443)
-    fallthrough ebb153
+    jump ebb153
 
 ebb153:
     v473 = copy v472
@@ -835,7 +835,7 @@ ebb54:
     v481 = iconst.i32 0x4ffe
     v482 = icmp.i32 uge v33, v481
     brz v482, ebb55
-    fallthrough ebb154
+    jump ebb154
 
 ebb154:
     trap heap_oob
@@ -878,7 +878,7 @@ ebb58(v505: i32, v506: i32):
     v511 = iconst.i32 0x4ffe
     v512 = icmp uge v508, v511
     brz v512, ebb59
-    fallthrough ebb155
+    jump ebb155
 
 ebb155:
     trap heap_oob
@@ -893,7 +893,7 @@ ebb59:
     v519 = icmp eq v517, v518
     v520 = bint.i32 v519
     brnz v520, ebb61(v14)
-    fallthrough ebb156
+    jump ebb156
 
 ebb156:
     v521 = iconst.i32 8
@@ -910,7 +910,7 @@ ebb60:
 ebb61(v526: i32):
     v527 = iconst.i32 0
     brnz.i32 v517, ebb62(v510)
-    fallthrough ebb157
+    jump ebb157
 
 ebb157:
     v528 = copy v527
@@ -946,13 +946,13 @@ ebb65(v547: i32, v548: i32, v549: i32, v550: i32, v551: i32, v552: i32, v553: i3
     v564 = icmp uge v563, v549
     v565 = bint.i32 v564
     brnz v565, ebb67(v547)
-    fallthrough ebb158
+    jump ebb158
 
 ebb158:
     v566 = iconst.i32 0
     v567 = call fn2(v0, v547, v566, v550)
     brnz v567, ebb66
-    fallthrough ebb159
+    jump ebb159
 
 ebb159:
     v568 = iadd v547, v550
@@ -963,7 +963,7 @@ ebb66:
     v570 = icmp ult v569, v549
     v571 = bint.i32 v570
     brnz v571, ebb89(v552)
-    fallthrough ebb160
+    jump ebb160
 
 ebb160:
     v572 = copy.i32 v567
@@ -975,7 +975,7 @@ ebb67(v573: i32):
     v576 = iconst.i32 0x4ffe
     v577 = icmp uge v575, v576
     brz v577, ebb68
-    fallthrough ebb161
+    jump ebb161
 
 ebb161:
     trap heap_oob
@@ -999,7 +999,7 @@ ebb68:
     v593 = iconst.i32 0x4ffe
     v594 = icmp uge v592, v593
     brz v594, ebb69
-    fallthrough ebb162
+    jump ebb162
 
 ebb162:
     trap heap_oob
@@ -1015,7 +1015,7 @@ ebb69:
     v602 = icmp eq v600, v601
     v603 = bint.i32 v602
     brnz v603, ebb74
-    fallthrough ebb163
+    jump ebb163
 
 ebb163:
     v604 = iconst.i32 2
@@ -1024,7 +1024,7 @@ ebb163:
     v607 = iconst.i32 0x4ffe
     v608 = icmp uge v606, v607
     brz v608, ebb70
-    fallthrough ebb164
+    jump ebb164
 
 ebb164:
     trap heap_oob
@@ -1040,7 +1040,7 @@ ebb70:
     v616 = icmp eq v614, v615
     v617 = bint.i32 v616
     brnz v617, ebb75
-    fallthrough ebb165
+    jump ebb165
 
 ebb165:
     v618 = iconst.i32 1
@@ -1049,7 +1049,7 @@ ebb165:
     v621 = bint.i32 v620
     v622 = copy.i32 v553
     brnz v621, ebb71(v622)
-    fallthrough ebb166
+    jump ebb166
 
 ebb166:
     v623 = copy v619
@@ -1080,7 +1080,7 @@ ebb75:
     v634 = bint.i32 v633
     v635 = copy.i32 v558
     brnz v634, ebb76(v635)
-    fallthrough ebb167
+    jump ebb167
 
 ebb167:
     v636 = copy.i32 v555
@@ -1091,7 +1091,7 @@ ebb76(v637: i32):
     v639 = iconst.i32 0x4ffe
     v640 = icmp uge v638, v639
     brz v640, ebb77
-    fallthrough ebb168
+    jump ebb168
 
 ebb168:
     trap heap_oob
@@ -1106,7 +1106,7 @@ ebb77:
     v647 = icmp eq v645, v646
     v648 = bint.i32 v647
     brnz v648, ebb82(v548, v549, v551, v552)
-    fallthrough ebb169
+    jump ebb169
 
 ebb169:
     v649 = iadd.i32 v548, v637
@@ -1120,7 +1120,7 @@ ebb78(v652: i32, v653: i32, v654: i32, v655: i32):
     v658 = iconst.i32 0x4ffe
     v659 = icmp uge v653, v658
     brz v659, ebb79
-    fallthrough ebb170
+    jump ebb170
 
 ebb170:
     trap heap_oob
@@ -1136,7 +1136,7 @@ ebb79:
     v667 = copy.i32 v554
     v668 = copy.i32 v562
     brnz v666, ebb87(v548, v654, v573, v549, v550, v551, v552, v553, v667, v668, v557, v558, v559, v560, v561)
-    fallthrough ebb171
+    jump ebb171
 
 ebb171:
     v669 = iconst.i32 1
@@ -1146,7 +1146,7 @@ ebb171:
     v673 = iconst.i32 0x4ffe
     v674 = icmp.i32 uge v655, v673
     brz v674, ebb80
-    fallthrough ebb172
+    jump ebb172
 
 ebb172:
     trap heap_oob
@@ -1169,7 +1169,7 @@ ebb82(v682: i32, v683: i32, v684: i32, v685: i32):
     v686 = icmp.i32 ule v558, v555
     v687 = bint.i32 v686
     brnz v687, ebb90(v685, v682)
-    fallthrough ebb173
+    jump ebb173
 
 ebb173:
     v688 = copy.i32 v561
@@ -1180,7 +1180,7 @@ ebb83(v689: i32):
     v691 = iconst.i32 0x4ffe
     v692 = icmp uge v690, v691
     brz v692, ebb84
-    fallthrough ebb174
+    jump ebb174
 
 ebb174:
     trap heap_oob
@@ -1195,7 +1195,7 @@ ebb84:
     v699 = iconst.i32 0x4ffe
     v700 = icmp uge v698, v699
     brz v700, ebb85
-    fallthrough ebb175
+    jump ebb175
 
 ebb175:
     trap heap_oob
@@ -1209,7 +1209,7 @@ ebb85:
     v706 = icmp.i32 ne v697, v705
     v707 = bint.i32 v706
     brnz v707, ebb86
-    fallthrough ebb176
+    jump ebb176
 
 ebb176:
     v708 = icmp.i32 ule v689, v555
@@ -1250,7 +1250,7 @@ ebb90(v756: i32, v757: i32):
     v761 = iconst.i32 0x4ffe
     v762 = icmp uge v758, v761
     brz v762, ebb91
-    fallthrough ebb177
+    jump ebb177
 
 ebb177:
     trap heap_oob
@@ -1307,7 +1307,7 @@ ebb0(v0: f64, v1: i64):
     v24 = icmp ult v22, v23
     v25 = bint.i32 v24
     brnz v25, ebb10
-    fallthrough ebb178
+    jump ebb178
 
 ebb178:
     v26 = iconst.i64 0x7fff_ffff_ffff_ffff
@@ -1323,14 +1323,14 @@ ebb10:
     v32 = icmp.i32 ult v22, v31
     v33 = bint.i32 v32
     brnz v33, ebb8
-    fallthrough ebb179
+    jump ebb179
 
 ebb179:
     v34 = iconst.i32 0x3ff0_a2b2
     v35 = icmp.i32 uge v22, v34
     v36 = bint.i32 v35
     brnz v36, ebb6
-    fallthrough ebb180
+    jump ebb180
 
 ebb180:
     v37 = iconst.i32 1
@@ -1349,7 +1349,7 @@ ebb9:
     v44 = bint.i32 v43
     v45 = bor v42, v44
     brnz v45, ebb7
-    fallthrough ebb181
+    jump ebb181
 
 ebb181:
     v141 = iconst.i64 0x7fe0_0000_0000_0000
@@ -1362,7 +1362,7 @@ ebb8:
     v49 = icmp.i32 ule v22, v48
     v50 = bint.i32 v49
     brnz v50, ebb3
-    fallthrough ebb182
+    jump ebb182
 
 ebb182:
     v51 = iconst.i32 0
@@ -1378,7 +1378,7 @@ ebb7:
     v55 = bint.i32 v54
     v56 = bor v55, v44
     brnz v56, ebb6
-    fallthrough ebb183
+    jump ebb183
 
 ebb183:
     v144 = iconst.i64 0xb6a0_0000_0000_0000
@@ -1417,12 +1417,12 @@ ebb6:
     v158 = iconst.i32 0x8000_0000
     v154 = icmp ne v76, v158
     brnz v154, ebb11
-    fallthrough ebb184
+    jump ebb184
 
 ebb184:
     v155 = fcmp uno v75, v75
     brz v155, ebb12
-    fallthrough ebb185
+    jump ebb185
 
 ebb185:
     trap bad_toint
@@ -1432,7 +1432,7 @@ ebb12:
     v156 = bitcast.f64 v159
     v157 = fcmp ge v156, v75
     brz v157, ebb13
-    fallthrough ebb186
+    jump ebb186
 
 ebb186:
     trap int_ovf
@@ -1491,7 +1491,7 @@ ebb4(v86: f64, v87: f64, v108: f64, v113: i32):
     v114 = icmp eq v113, v169
     v115 = bint.i32 v114
     brnz v115, ebb2(v12, v112)
-    fallthrough ebb187
+    jump ebb187
 
 ebb187:
     v116 = call fn0(v112, v113, v1)

cranelift/filetests/filetests/regalloc/coalescing-216.clif

@@ -14,7 +14,7 @@ ebb0(v0: i32, v1: i64):
 ebb4(v11: i64, v29: i64):
     v6 = iconst.i32 0
     brz v6, ebb14
-    fallthrough ebb15
+    jump ebb15
 
 ebb15:
     v9 = iconst.i32 -17
@@ -23,16 +23,16 @@ ebb15:
 
 ebb9(v10: i32):
     brnz v10, ebb8(v9, v11, v11)
-    fallthrough ebb16
+    jump ebb16
 
 ebb16:
     brz.i32 v9, ebb13
-    fallthrough ebb17
+    jump ebb17
 
 ebb17:
     v13 = iconst.i32 0
     brnz v13, ebb6(v11, v11)
-    fallthrough ebb18
+    jump ebb18
 
 ebb18:
     v14 = iconst.i32 0
@@ -52,7 +52,7 @@ ebb13:
 ebb10(v21: i64):
     v16 = iconst.i32 0
     brnz v16, ebb6(v21, v11)
-    fallthrough ebb19
+    jump ebb19
 
 ebb19:
     v17 = iconst.i32 0xffff_ffff_ffff_9f35

cranelift/filetests/filetests/regalloc/coloring-227.clif

@@ -17,7 +17,7 @@ function %pr227(i32 [%rdi], i32 [%rsi], i32 [%rdx], i32 [%rcx], i64 vmctx [%r8])
                           ebb6:
 [RexOp1pu_id#b8]              v8 = iconst.i32 0
 [RexOp1tjccb#75]              brnz v8, ebb5
-[-]                           fallthrough ebb20
+[Op1jmpb#eb]                  jump ebb20
 
                           ebb20:
 [RexOp1pu_id#b8]              v9 = iconst.i32 0
@@ -30,12 +30,12 @@ function %pr227(i32 [%rdi], i32 [%rsi], i32 [%rdx], i32 [%rcx], i64 vmctx [%r8])
 
                           ebb7:
 [RexOp1tjccb#74]              brz.i32 v17, ebb8
-[-]                           fallthrough ebb17
+[Op1jmpb#eb]                  jump ebb17
 
                           ebb17:
 [RexOp1pu_id#b8]              v18 = iconst.i32 0
 [RexOp1tjccb#74]              brz v18, ebb9
-[-]                           fallthrough ebb16
+[Op1jmpb#eb]                  jump ebb16
 
                           ebb16:
 [RexOp1pu_id#b8]              v21 = iconst.i32 0
@@ -72,12 +72,12 @@ function %pr227(i32 [%rdi], i32 [%rsi], i32 [%rdx], i32 [%rcx], i64 vmctx [%r8])
                           ebb2(v7: i32, v45: i32, v52: i32, v59: i32, v66: i32, v73: i32):
 [RexOp1pu_id#b8]              v44 = iconst.i32 0
 [RexOp1tjccb#74]              brz v44, ebb12
-[-]                           fallthrough ebb18
+[Op1jmpb#eb]                  jump ebb18
 
                           ebb18:
 [RexOp1pu_id#b8]              v50 = iconst.i32 11
 [RexOp1tjccb#74]              brz v50, ebb14
-[-]                           fallthrough ebb19
+[Op1jmpb#eb]                  jump ebb19
 
                           ebb19:
 [RexOp1umr#89]                v82 = uextend.i64 v52

cranelift/filetests/filetests/regalloc/ghost-param.clif

@@ -20,7 +20,7 @@ ebb5(v9: f64):
     v6 = iconst.i32 0
     v7 = iconst.i32 1
     brnz v7, ebb4(v6)
-    fallthrough ebb8
+    jump ebb8
 
 ebb8:
     v8 = iconst.i32 0

cranelift/filetests/filetests/regalloc/global-constraints.clif

@@ -14,7 +14,7 @@ ebb0(v0: i32):
     v4 = icmp_imm ne v0, 4
     v5 = icmp_imm sge v0, 5
     brnz v5, ebb1
-    fallthrough ebb2
+    jump ebb2
 
 ebb2:
     return

cranelift/filetests/filetests/regalloc/iterate.clif

@@ -20,7 +20,7 @@ ebb0(v0: i64, v1: f32, v2: f64, v3: i32, v4: i32, v5: i64):
     v44 = iconst.i64 0
     v37 = icmp slt v0, v44
     brnz v37, ebb2
-    fallthrough ebb11
+    jump ebb11
 
 ebb11:
     v38 = fcvt_from_sint.f64 v0
@@ -44,7 +44,7 @@ ebb3(v15: f64):
     v54 = iconst.i64 0
     v47 = icmp.i64 slt v13, v54
     brnz v47, ebb4
-    fallthrough ebb12
+    jump ebb12
 
 ebb12:
     v48 = fcvt_from_sint.f64 v13
@@ -63,7 +63,7 @@ ebb5(v20: f64):
     v63 = iconst.i64 0
     v56 = icmp.i64 slt v7, v63
     brnz v56, ebb6
-    fallthrough ebb13
+    jump ebb13
 
 ebb13:
     v57 = fcvt_from_sint.f64 v7
@@ -91,12 +91,12 @@ ebb7(v21: f64):
     v69 = iconst.i64 0x8000_0000_0000_0000
     v65 = icmp ne v30, v69
     brnz v65, ebb8
-    fallthrough ebb15
+    jump ebb15
 
 ebb15:
     v66 = fcmp uno v29, v29
     brz v66, ebb9
-    fallthrough ebb16
+    jump ebb16
 
 ebb16:
     trap bad_toint
@@ -106,7 +106,7 @@ ebb9:
     v67 = bitcast.f64 v70
     v68 = fcmp gt v67, v29
     brz v68, ebb10
-    fallthrough ebb17
+    jump ebb17
 
 ebb17:
     trap int_ovf
@@ -136,7 +136,7 @@ ebb0(v0: i64):
     v7 = icmp uge v3, v6
     ; If we're unlucky, there are no ABCD registers available for v7 at this branch.
     brz v7, ebb2
-    fallthrough ebb4
+    jump ebb4
 
 ebb4:
     trap oob
@@ -149,7 +149,7 @@ ebb2:
     v11 = iadd v8, v10
     v12 = load.i64 v11
     brnz v12, ebb3
-    fallthrough ebb5
+    jump ebb5
 
 ebb5:
     trap icall_null

cranelift/filetests/filetests/regalloc/reload-208.clif

@@ -25,7 +25,7 @@ ebb0(v0: i64):
     v20 = iconst.i32 0x4ffe
     v16 = icmp uge v2, v20
     brz v16, ebb5
-    fallthrough ebb9
+    jump ebb9
 
 ebb9:
     trap heap_oob
@@ -47,7 +47,7 @@ ebb3(v7: i32):
     v26 = iconst.i32 0x4ffe
     v22 = icmp uge v7, v26
     brz v22, ebb6
-    fallthrough ebb10
+    jump ebb10
 
 ebb10:
     trap heap_oob
@@ -71,7 +71,7 @@ ebb2:
     v31 = iconst.i32 0x4ffe
     v27 = icmp uge v10, v31
     brz v27, ebb7
-    fallthrough ebb11
+    jump ebb11
 
 ebb11:
     trap heap_oob
@@ -87,7 +87,7 @@ ebb7:
     v36 = iconst.i32 0x4ffe
     v32 = icmp uge v13, v36
     brz v32, ebb8
-    fallthrough ebb12
+    jump ebb12
 
 ebb12:
     trap heap_oob

cranelift/filetests/filetests/regalloc/spill.clif

@@ -151,7 +151,7 @@ ebb0(v1: i32):
     ; check: v1 = spill
     v2 = iconst.i32 1
     brnz v1, ebb1(v2, v2, v2, v2, v2, v2, v2, v2, v2, v2, v2, v2)
-    fallthrough ebb2
+    jump ebb2
 
 ebb2:
     return v1