From f025a30a1e40c613f25c83f472d21f921b449ef6 Mon Sep 17 00:00:00 2001 From: Philipp van Kempen Date: Wed, 5 Mar 2025 17:12:20 +0100 Subject: [PATCH] add examples/common/cfg/llvm{18,19,20}_imm_types.yml --- examples/common/cfg/llvm18_imm_types.yml | 66 ++++++++++++++++++++++++ examples/common/cfg/llvm19_imm_types.yml | 55 ++++++++++++++++++++ examples/common/cfg/llvm20_imm_types.yml | 62 ++++++++++++++++++++++ 3 files changed, 183 insertions(+) create mode 100644 examples/common/cfg/llvm18_imm_types.yml create mode 100644 examples/common/cfg/llvm19_imm_types.yml create mode 100644 examples/common/cfg/llvm20_imm_types.yml diff --git a/examples/common/cfg/llvm18_imm_types.yml b/examples/common/cfg/llvm18_imm_types.yml new file mode 100644 index 00000000..91d31029 --- /dev/null +++ b/examples/common/cfg/llvm18_imm_types.yml @@ -0,0 +1,66 @@ +llvm: + state: + supported_imm_types: + - uimm1 + - uimm1 + # - uimm10_lsb00nonzero + - uimm2 + - uimm2 + - uimm20 + # - uimm20_auipc + # - uimm20_auipc + # - uimm20_lui + # - uimm20_lui + - uimm2_3 + # - uimm2_3_XFORM + - uimm2_4 + # - uimm2_4_XFORM + - uimm2_lsb0 + # - uimm2_opcode + - uimm3 + - uimm3 + - uimm4 + - uimm4 + - uimm5 + - uimm5 + - uimm6 + - uimm6 + # - uimm6gt32 + # - uimm6gt32 + - uimm7 + - uimm7 + - uimm7_lsb00 + # - uimm7_opcode + # - uimm7_opcode + - uimm8 + - uimm8 + # - uimm8ge32 + # - uimm8_lsb00 + # - uimm8_lsb000 + # - uimm9_lsb000 + # - uimmlog2xlen + # - uimmlog2xlen + # - uimmlog2xlennonzero + # - simm10_lsb0000nonzero + - simm12 + - simm12 + - simm12i32 + - simm12_lsb0 + - simm12_lsb00000 + # - simm12Minus1Nonzero + # - simm12Minus1NonzeroNonNeg1 + # - simm12_no6 + # - simm12_no6 + # - simm12Plus1 + # - simm12Plus1i32 + - simm13_lsb0 + - simm13_lsb0 + # - simm21_lsb0_jal + # - simm21_lsb0_jal + - simm5 + # - simm5_plus1 + # - simm5_plus1_nonzero + # - simm5shl2 + - simm6 + # - simm6nonzero + - simm9_lsb0 diff --git a/examples/common/cfg/llvm19_imm_types.yml b/examples/common/cfg/llvm19_imm_types.yml new file mode 100644 index 00000000..3352301c --- /dev/null +++ b/examples/common/cfg/llvm19_imm_types.yml @@ -0,0 +1,55 @@ +llvm: + state: + supported_imm_types: + - uimm1 + # - uimm10_lsb00nonzero + - uimm16 + - uimm2 + - uimm20 + # - uimm20_auipc + # - uimm20_lui + - uimm2_3 + # - uimm2_3_XFORM + - uimm2_4 + # - uimm2_4_XFORM + - uimm2_lsb0 + # - uimm2_opcode + - uimm3 + - uimm32 + - uimm4 + # - uimm4_with_predicate + - uimm5 + - uimm5_lsb0 + # - uimm5_with_predicate + - uimm6 + # - uimm6gt32 + - uimm6_lsb0 + - uimm7 + - uimm7_lsb00 + # - uimm7_opcode + - uimm8 + # - uimm8ge32 + - uimm8_lsb00 + - uimm8_lsb000 + - uimm9_lsb000 + # - uimmlog2xlen + # - uimmlog2xlennonzero + # - simm10_lsb0000nonzero + - simm12 + # - simm12i32 + - simm12_lsb0 + - simm12_lsb00000 + # - simm12Minus1Nonzero + # - simm12Minus1NonzeroNonNeg1 + # - simm12_no6 + # - simm12Plus1 + # - simm12Plus1i32 + - simm13_lsb0 + # - simm21_lsb0_jal + - simm5 + # - simm5_plus1 + # - simm5_plus1_nonzero + # - simm5shl2 + - simm6 + # - simm6nonzero + - simm9_lsb0 diff --git a/examples/common/cfg/llvm20_imm_types.yml b/examples/common/cfg/llvm20_imm_types.yml new file mode 100644 index 00000000..e45c9e39 --- /dev/null +++ b/examples/common/cfg/llvm20_imm_types.yml @@ -0,0 +1,62 @@ +llvm: + state: + supported_imm_types: + - uimm1 + - uimm10 + # - uimm10_lsb00nonzero + - uimm11 + - uimm16 + - uimm2 + - uimm20 + # - uimm20_auipc + # - uimm20_lui + # - uimm2_3 + # - uimm2_3_XFORM + # - uimm2_4 + # - uimm2_4_XFORM + - uimm2_lsb0 + # - uimm2_opcode + - uimm3 + - uimm32 + - uimm4 + - uimm48 + - uimm5 + # - uimm5gt3 + # - uimm5i32 + - uimm5_lsb0 + # - uimm5nonzero + - uimm6 + - uimm64 + # - uimm6gt32 + - uimm6_lsb0 + - uimm7 + - uimm7_lsb00 + - uimm7_lsb000 + # - uimm7_opcode + - uimm8 + # - uimm8ge32 + - uimm8_lsb00 + - uimm8_lsb000 + - uimm9_lsb000 + # - uimmlog2xlen + # - uimmlog2xlennonzero + # - simm10_lsb0000nonzero + - simm12 + - simm12_lsb0 + - simm12_lsb00000 + # - simm12Minus1Nonzero + # - simm12Minus1NonzeroNonNeg1 + # - simm12_no6 + # - simm12_plus1 + # - simm12Plus1 + # - simm12Plus1i32 + - simm13_lsb0 + # - simm21_lsb0_jal + - simm26 + - simm5 + # - simm5_plus1 + # - simm5_plus1_nonzero + # - simm5shl2 + - simm6 + # - simm6nonzero + - simm9_lsb0