test

Author: avanhatt

cranelift/filetests/filetests/egraph/sharing.clif

@@ -0,0 +1,41 @@
+test optimize
+set opt_level=speed
+target x86_64
+
+;; iadd has cost 3, imul has cost 10
+;; (rule (simplify (ireduce ty (iadd _ x y))) (iadd ty (ireduce ty x) (ireduce ty y)))
+
+function %f0(i32, i32) -> i16 {
+block0(v0: i32, v1: i32):
+    v2 = imul.i32 v0, v1
+    v3 = imul.i32 v1, v0
+    v4 = imul.i32 v2, v3
+    v5 = imul.i32 v3, v2
+    v6 = imul.i32 v4, v5
+    v7 = imul.i32 v6, v6
+    v8 = imul.i32 v7, v7
+    v9 = imul.i32 v8, v8
+    v10 = imul.i32 v9, v9
+    v11 = imul.i32 v10, v10
+    v12 = imul.i32 v11, v11
+    v13 = imul.i32 v12, v12
+    v14 = imul.i32 v13, v13
+    v15 = imul.i32 v14, v14
+    v16 = imul.i32 v15, v15
+    v17 = imul.i32 v16, v16
+    v18 = imul.i32 v17, v17
+    v19 = imul.i32 v18, v18
+    v20 = imul.i32 v19, v19
+    v21 = imul.i32 v20, v20
+    v22 = imul.i32 v21, v21
+    v23 = imul.i32 v22, v22
+    v24 = imul.i32 v23, v23
+    v25 = isub.i32 v24, v1
+    ;; Chain of imuls saturate to infinity w/o DAG cost model
+    ;; then do a rewrite to a more expensive thing
+    v26 = iadd.i32 v24, v25
+    v27 = ireduce.i16 v26
+    v28 = ireduce.i16 v0
+    v29 = iadd.i16 v27, v28
+    return v29
+}