Skip to content

Commit

Permalink
Merge branch 'llvm-integer-cast-ops' of https://github.com/opencompl/…
Browse files Browse the repository at this point in the history
…lean-mlir into llvm-integer-cast-ops
  • Loading branch information
lfrenot committed Oct 25, 2024
2 parents 0e0ead2 + 3d133a8 commit 3df1b91
Show file tree
Hide file tree
Showing 57 changed files with 951 additions and 54 deletions.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 6 additions & 0 deletions SSA/Projects/InstCombine/tests/LLVM/gdivhshift.lean

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
=======
4: "visible" has unsupported operation: builtin.unregistered: llvm.select

Expand All @@ -20,6 +21,8 @@

=======
>>>>>>> bd0a83c7 (Updated the generated tests)
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
1: "determinant"
5: "determinant" is empty

6 changes: 6 additions & 0 deletions SSA/Projects/InstCombine/tests/logs/2010-03-03-ExtElim.txt
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
=======
4: "PR16462_1" has unsupported operation after optimization: builtin.unregistered: llvm.select

Expand All @@ -31,6 +32,8 @@

=======
>>>>>>> bd0a83c7 (Updated the generated tests)
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
4: "PR16462_1" has unsupported operation after optimization: builtin.unregistered: llvm.icmp

1: "PR16462_2"
Expand All @@ -43,6 +46,7 @@
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
=======
4: "PR16462_2" has unsupported operation after optimization: builtin.unregistered: llvm.select

Expand All @@ -53,5 +57,7 @@

=======
>>>>>>> bd0a83c7 (Updated the generated tests)
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
4: "PR16462_2" has unsupported operation after optimization: builtin.unregistered: llvm.icmp

6 changes: 6 additions & 0 deletions SSA/Projects/InstCombine/tests/logs/and-xor-or.txt
Original file line number Diff line number Diff line change
Expand Up @@ -395,11 +395,14 @@

1: "sext_or_chain_two_uses1"
7: "sext_or_chain_two_uses1" is unchanged by InstCombine
<<<<<<< HEAD

<<<<<<< HEAD
<<<<<<< HEAD
=======
4: "sext_or_chain_two_uses1" has unsupported operation: llvm.udiv
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7

4: "sext_or_chain_two_uses1" has unsupported operation: llvm.udiv

Expand All @@ -408,11 +411,14 @@
>>>>>>> edb64a33 (Updated tests)
1: "sext_or_chain_two_uses2"
7: "sext_or_chain_two_uses2" is unchanged by InstCombine
<<<<<<< HEAD

<<<<<<< HEAD
<<<<<<< HEAD
=======
4: "sext_or_chain_two_uses2" has unsupported operation: llvm.udiv
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7

4: "sext_or_chain_two_uses2" has unsupported operation: llvm.udiv

Expand Down
21 changes: 21 additions & 0 deletions SSA/Projects/InstCombine/tests/logs/and.txt
Original file line number Diff line number Diff line change
Expand Up @@ -305,15 +305,19 @@
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
4: "test31" has unsupported operation after optimization: builtin.unregistered: llvm.zext
=======
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
2: llvm.func
2: llvm.mlir.constant
2: llvm.mlir.constant
2: llvm.zext
2: llvm.shl
2: llvm.and
2: llvm.return
<<<<<<< HEAD
>>>>>>> bd0a83c7 (Updated the generated tests)

1: "and_demanded_bits_splat_vec"
Expand All @@ -326,6 +330,8 @@
>>>>>>> 4bf2f937 (Re-ran the sccripts)
=======
4: "test31" has unsupported operation after optimization: builtin.unregistered: llvm.zext
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7

1: "and_demanded_bits_splat_vec"
8: "and_demanded_bits_splat_vec" contains vectors which are unsupported
Expand Down Expand Up @@ -935,6 +941,7 @@

4: "signbit_splat_mask_use1" has unsupported operation: builtin.unregistered: llvm.icmp

<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
=======
Expand All @@ -943,6 +950,8 @@
>>>>>>> 4bf2f937 (Re-ran the sccripts)
=======
>>>>>>> edb64a33 (Updated tests)
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
1: "signbit_splat_mask_use2"
4: "signbit_splat_mask_use2" has unsupported operation: llvm.call

Expand Down Expand Up @@ -1426,6 +1435,7 @@
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
4: "and_zext" has unsupported operation after optimization: builtin.unregistered: llvm.zext

1: "and_zext_commuted"
Expand All @@ -1443,17 +1453,28 @@
4: "and_zext_commuted" has unsupported operation after optimization: builtin.unregistered: llvm.zext
>>>>>>> edb64a33 (Updated tests)
=======
=======
2: llvm.func
2: llvm.zext
2: llvm.and
2: llvm.return

1: "and_zext_commuted"
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
2: llvm.func
2: llvm.zext
2: llvm.and
2: llvm.return
<<<<<<< HEAD

1: "and_zext_commuted"
2: llvm.func
2: llvm.zext
2: llvm.and
2: llvm.return
>>>>>>> bd0a83c7 (Updated the generated tests)
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7

1: "and_zext_multiuse"
4: "and_zext_multiuse" has unsupported operation: llvm.call
Expand Down
6 changes: 6 additions & 0 deletions SSA/Projects/InstCombine/tests/logs/apint-shift.txt
Original file line number Diff line number Diff line change
Expand Up @@ -230,9 +230,12 @@
=======

1: "test15a"
<<<<<<< HEAD
4: "test15a" has unsupported operation after optimization: builtin.unregistered: llvm.zext
>>>>>>> edb64a33 (Updated tests)
=======
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
2: llvm.func
2: llvm.mlir.constant
2: llvm.mlir.constant
Expand All @@ -241,7 +244,10 @@
2: llvm.zext
2: llvm.shl
2: llvm.return
<<<<<<< HEAD
>>>>>>> bd0a83c7 (Updated the generated tests)
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7

1: "test16"
4: "test16" has unsupported operation: builtin.unregistered: llvm.icmp
Expand Down
30 changes: 30 additions & 0 deletions SSA/Projects/InstCombine/tests/logs/binop-cast.txt
Original file line number Diff line number Diff line change
Expand Up @@ -11,13 +11,19 @@
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
4: "and_sext_to_sel" has unsupported operation after optimization: builtin.unregistered: llvm.sext
=======
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
2: llvm.func
2: llvm.sext
2: llvm.and
2: llvm.return
<<<<<<< HEAD
>>>>>>> bd0a83c7 (Updated the generated tests)
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7

1: "and_sext_to_sel_constant_vec"
8: "and_sext_to_sel_constant_vec" contains vectors which are unsupported
Expand All @@ -44,6 +50,7 @@
1: "and_sext_to_sel_multi_use"
4: "and_sext_to_sel_multi_use" has unsupported operation: llvm.call

<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
=======
Expand All @@ -63,6 +70,11 @@
>>>>>>> 4bf2f937 (Re-ran the sccripts)
=======
>>>>>>> edb64a33 (Updated tests)
=======
1: "and_sext_to_sel_multi_use_constant_mask"
4: "and_sext_to_sel_multi_use_constant_mask" has unsupported operation: llvm.call

>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
1: "and_not_sext_to_sel"
4: "and_not_sext_to_sel" has unsupported operation: llvm.call

Expand Down Expand Up @@ -97,13 +109,19 @@
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
4: "or_sext_to_sel" has unsupported operation after optimization: builtin.unregistered: llvm.sext
=======
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
2: llvm.func
2: llvm.sext
2: llvm.or
2: llvm.return
<<<<<<< HEAD
>>>>>>> bd0a83c7 (Updated the generated tests)
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7

1: "or_sext_to_sel_constant_vec"
8: "or_sext_to_sel_constant_vec" contains vectors which are unsupported
Expand Down Expand Up @@ -179,6 +197,7 @@
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
<<<<<<< HEAD
4: "and_add_bool_to_select" has unsupported operation after optimization: builtin.unregistered: llvm.zext
=======
4: "and_add_bool_to_select" has unsupported operation: builtin.unregistered: llvm.select
Expand All @@ -187,13 +206,18 @@
4: "and_add_bool_to_select" has unsupported operation after optimization: builtin.unregistered: llvm.zext
>>>>>>> edb64a33 (Updated tests)
=======
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
2: llvm.func
2: llvm.mlir.constant
2: llvm.zext
2: llvm.add
2: llvm.and
2: llvm.return
<<<<<<< HEAD
>>>>>>> bd0a83c7 (Updated the generated tests)
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7

1: "and_add_bool_no_fold"
4: "and_add_bool_no_fold" has unsupported operation: builtin.unregistered: llvm.icmp
Expand All @@ -205,6 +229,7 @@

1: "and_add_bool_to_select_multi_use"
<<<<<<< HEAD
<<<<<<< HEAD
4: "and_add_bool_to_select_multi_use" has unsupported operation after optimization: builtin.unregistered: llvm.zext
=======
4: "and_add_bool_no_fold" has unsupported operation: builtin.unregistered: llvm.select
Expand All @@ -222,12 +247,17 @@
4: "and_add_bool_to_select_multi_use" has unsupported operation after optimization: builtin.unregistered: llvm.zext
>>>>>>> edb64a33 (Updated tests)
=======
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7
2: llvm.func
2: llvm.mlir.constant
2: llvm.zext
2: llvm.add
2: llvm.and
2: llvm.add
2: llvm.return
<<<<<<< HEAD
>>>>>>> bd0a83c7 (Updated the generated tests)
=======
>>>>>>> 3d133a8a07b3d7eb59d68a5bf0131917e72bade7

Loading

0 comments on commit 3df1b91

Please sign in to comment.