diff --git a/cranelift/filetests/filetests/simple_gvn/basic.clif b/cranelift/filetests/filetests/simple_gvn/basic.clif index df8fd495c9..72155a324c 100644 --- a/cranelift/filetests/filetests/simple_gvn/basic.clif +++ b/cranelift/filetests/filetests/simple_gvn/basic.clif @@ -24,6 +24,9 @@ function %redundancies_on_some_paths(i32, i32, i32) -> i32 { ebb0(v0: i32, v1: i32, v2: i32): v3 = iadd v0, v1 brz v3, ebb1 + jump ebb3 + +ebb3: v4 = iadd v0, v1 jump ebb2(v4) ; check: jump ebb2(v3) diff --git a/cranelift/filetests/filetests/simple_gvn/scopes.clif b/cranelift/filetests/filetests/simple_gvn/scopes.clif index 85ea5583c2..bf4e7fac94 100644 --- a/cranelift/filetests/filetests/simple_gvn/scopes.clif +++ b/cranelift/filetests/filetests/simple_gvn/scopes.clif @@ -5,6 +5,9 @@ ebb0(v0: i32, v1: i32, v2: i32, v3: i32, v4: i32): v5 = iconst.i32 16 ; check: v5 = iconst.i32 16 brz v0, ebb1 + jump ebb5 + +ebb5: v6 = iconst.i32 17 ; check: v6 = iconst.i32 17 v7 = iconst.i32 16 @@ -30,6 +33,9 @@ ebb2: v14 = iconst.i32 16 ; not: v14 = iconst.i32 16 brz v1, ebb3 + jump ebb6 + +ebb6: v15 = iconst.i32 20 ; check: v15 = iconst.i32 20 v16 = iconst.i32 19