diff --git a/gcc/config/loongarch/loongarch.md b/gcc/config/loongarch/loongarch.md index 36d140a9e942334f18166f376fe3cd7468d2e6d4..6c3fdfea00a29245bd722f384d9bf83caea4b420 100644 --- a/gcc/config/loongarch/loongarch.md +++ b/gcc/config/loongarch/loongarch.md @@ -488,6 +488,10 @@ (xor "uns_arith_operand")]) (define_code_attr is_and [(and "true") (ior "false") (xor "false")]) +;; If we know the operands does not have overlapping bits, use this +;; instead of just ior to cover more cases. +(define_code_iterator any_or_plus [any_or plus]) + ;; This code iterator allows unsigned and signed division to be generated ;; from the same template. (define_code_iterator any_div [div udiv mod umod]) @@ -1588,10 +1592,11 @@ (define_insn_and_split "*bstrins_<mode>_for_ior_mask" [(set (match_operand:GPR 0 "register_operand" "=r") - (ior:GPR (and:GPR (match_operand:GPR 1 "register_operand" "r") - (match_operand:GPR 2 "const_int_operand" "i")) - (and:GPR (match_operand:GPR 3 "register_operand" "r") - (match_operand:GPR 4 "const_int_operand" "i"))))] + (any_or_plus:GPR + (and:GPR (match_operand:GPR 1 "register_operand" "r") + (match_operand:GPR 2 "const_int_operand" "i")) + (and:GPR (match_operand:GPR 3 "register_operand" "r") + (match_operand:GPR 4 "const_int_operand" "i"))))] "loongarch_pre_reload_split () && loongarch_use_bstrins_for_ior_with_mask (<MODE>mode, operands)" "#" @@ -4228,12 +4233,13 @@ DONE; }) -(define_insn "bytepick_w_<bytepick_imm>" +(define_insn "*bytepick_w_<bytepick_imm>" [(set (match_operand:SI 0 "register_operand" "=r") - (ior:SI (lshiftrt:SI (match_operand:SI 1 "register_operand" "r") - (const_int <bytepick_w_lshiftrt_amount>)) - (ashift:SI (match_operand:SI 2 "register_operand" "r") - (const_int bytepick_w_ashift_amount))))] + (any_or_plus:SI + (lshiftrt:SI (match_operand:SI 1 "register_operand" "r") + (const_int <bytepick_w_lshiftrt_amount>)) + (ashift:SI (match_operand:SI 2 "register_operand" "r") + (const_int bytepick_w_ashift_amount))))] "" "bytepick.w\t%0,%1,%2,<bytepick_imm>" [(set_attr "mode" "SI")]) @@ -4271,22 +4277,24 @@ "bytepick.w\t%0,%2,%1,1" [(set_attr "mode" "SI")]) -(define_insn "bytepick_d_<bytepick_imm>" +(define_insn "*bytepick_d_<bytepick_imm>" [(set (match_operand:DI 0 "register_operand" "=r") - (ior:DI (lshiftrt (match_operand:DI 1 "register_operand" "r") - (const_int <bytepick_d_lshiftrt_amount>)) - (ashift (match_operand:DI 2 "register_operand" "r") - (const_int bytepick_d_ashift_amount))))] + (any_or_plus:DI + (lshiftrt (match_operand:DI 1 "register_operand" "r") + (const_int <bytepick_d_lshiftrt_amount>)) + (ashift (match_operand:DI 2 "register_operand" "r") + (const_int bytepick_d_ashift_amount))))] "TARGET_64BIT" "bytepick.d\t%0,%1,%2,<bytepick_imm>" [(set_attr "mode" "DI")]) -(define_insn "bytepick_d_<bytepick_imm>_rev" +(define_insn "*bytepick_d_<bytepick_imm>_rev" [(set (match_operand:DI 0 "register_operand" "=r") - (ior:DI (ashift (match_operand:DI 1 "register_operand" "r") - (const_int bytepick_d_ashift_amount)) - (lshiftrt (match_operand:DI 2 "register_operand" "r") - (const_int <bytepick_d_lshiftrt_amount>))))] + (any_or_plus:DI + (ashift (match_operand:DI 1 "register_operand" "r") + (const_int bytepick_d_ashift_amount)) + (lshiftrt (match_operand:DI 2 "register_operand" "r") + (const_int <bytepick_d_lshiftrt_amount>))))] "TARGET_64BIT" "bytepick.d\t%0,%2,%1,<bytepick_imm>" [(set_attr "mode" "DI")]) diff --git a/gcc/testsuite/gcc.target/loongarch/bytepick_shift_128.c b/gcc/testsuite/gcc.target/loongarch/bytepick_shift_128.c new file mode 100644 index 0000000000000000000000000000000000000000..d3a97721906b19fa20e1a61ab7f1d18c88c2d084 --- /dev/null +++ b/gcc/testsuite/gcc.target/loongarch/bytepick_shift_128.c @@ -0,0 +1,9 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -march=loongarch64 -mabi=lp64d" } */ +/* { dg-final { scan-assembler "bytepick\\.d" } } */ + +__int128 +test (__int128 a) +{ + return a << 16; +}