;; Let combine see that we can get the MSB and LSB into the T bit
;; via shll and shlr. This allows it to plug it into insns that can have
;; the T bit as an input (e.g. addc).
-;; FIXME: On SH2A use bld #0,Rn instead of shlr to avoid mutating the input.
+;; On SH2A use bld #0,Rn instead of shlr to avoid mutating the input.
(define_insn_and_split "*reg_lsb_t"
[(set (reg:SI T_REG)
(and:SI (match_operand:SI 0 "arith_reg_operand")
"&& 1"
[(const_int 0)]
{
- emit_insn (gen_shlr (gen_reg_rtx (SImode), operands[0]));
+ emit_insn (TARGET_SH2A ? gen_bldsi_reg (operands[0], const0_rtx)
+ : gen_shlr (gen_reg_rtx (SImode), operands[0]));
})
(define_insn_and_split "*reg_msb_t"
[(set (match_dup 0) (reg:SI T_REG))
(set (match_dup 0) (xor:SI (match_dup 0) (const_int 1)))])
-;; Use negc to store the T bit in a MSB of a reg in the following way:
-;; T = 0: 0x80000000 -> reg
-;; T = 1: 0x7FFFFFFF -> reg
-;; This works because 0 - 0x80000000 = 0x80000000.
+;; 0x7fffffff + T
+;; 0x7fffffff + (1-T) = 0 - 0x80000000 - T
+;;
+;; Notice that 0 - 0x80000000 = 0x80000000.
+
+;; Single bit tests are usually done with zero_extract. On non-SH2A this
+;; will use a tst-negc sequence. On SH2A it will use a bld-addc sequence.
+;; The zeroth bit requires a special pattern, otherwise we get a shlr-addc.
+;; This is a special case of the generic treg_set_expr pattern and thus has
+;; to come first or it will never match.
(define_insn_and_split "*mov_t_msb_neg"
[(set (match_operand:SI 0 "arith_reg_dest")
- (minus:SI (const_int -2147483648) ;; 0x80000000
- (match_operand 1 "treg_set_expr")))
+ (plus:SI (and:SI (match_operand:SI 1 "arith_reg_operand")
+ (const_int 1))
+ (const_int 2147483647)))
(clobber (reg:SI T_REG))]
- "TARGET_SH1 && can_create_pseudo_p ()"
+ "TARGET_SH1"
"#"
- "&& 1"
- [(const_int 0)]
-{
- if (negt_reg_operand (operands[1], VOIDmode))
- {
- emit_insn (gen_addc (operands[0],
- force_reg (SImode, const0_rtx),
- force_reg (SImode, GEN_INT (2147483647))));
- DONE;
- }
-
- sh_treg_insns ti = sh_split_treg_set_expr (operands[1], curr_insn);
- if (ti.remove_trailing_nott ())
- emit_insn (gen_addc (operands[0],
- force_reg (SImode, const0_rtx),
- force_reg (SImode, GEN_INT (2147483647))));
- else
- emit_insn (gen_negc (operands[0],
- force_reg (SImode, GEN_INT (-2147483648LL))));
- DONE;
-})
+ "&& can_create_pseudo_p ()"
+ [(parallel [(set (match_dup 0)
+ (plus:SI (zero_extract:SI (match_dup 1)
+ (const_int 1) (const_int 0))
+ (const_int 2147483647)))
+ (clobber (reg:SI T_REG))])])
-;; 0x7fffffff + T
-;; 0x7fffffff + (1-T) = 0 - 0x80000000 - T
(define_insn_and_split "*mov_t_msb_neg"
[(set (match_operand:SI 0 "arith_reg_dest")
(plus:SI (match_operand 1 "treg_set_expr")
/* { dg-options "-O1" } */
/* { dg-skip-if "" { "sh*-*-*" } { "-m5*"} { "" } } */
/* { dg-final { scan-assembler-times "addc" 36 } } */
-/* { dg-final { scan-assembler-times "shlr" 22 } } */
/* { dg-final { scan-assembler-times "shll" 14 } } */
/* { dg-final { scan-assembler-times "add\tr" 12 } } */
/* { dg-final { scan-assembler-not "movt" } } */
/* { dg-final { scan-assembler-times "bclr\t#0" 1 { target { sh2a } } } } */
+/* { dg-final { scan-assembler-times "shlr" 22 { target { ! sh2a } } } } */
+/* { dg-final { scan-assembler-not "shlr" { target { sh2a } } } } */
+
int
test_000 (int a, int c, int b, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return a + (b & 1);
}
int
test_001 (int a, int c, int b, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return a + b + (c & 1);
}
int
test_002 (int a, int c, int b, int d)
{
- // 1x shlr, 1x add, 1x addc
+ // 1x shlr/bld, 1x add, 1x addc
return a + b + c + (d & 1);
}
int
test_003 (int a, int c, int b, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return (b & 1) + a;
}
int
test_004 (int a, int c, int b, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return a + (c & 1) + b;
}
int
test_005 (int a, int c, int b, int d)
{
- // 1x shlr, 1x add, 1x addc
+ // 1x shlr/bld, 1x add, 1x addc
return a + b + (d & 1) + c;
}
int
test_006 (int a, int c, int b, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return (c & 1) + a + b;
}
int
test_007 (int a, int c, int b, int d)
{
- // 1x shlr, 1x add, 1x addc
+ // 1x shlr/bld, 1x add, 1x addc
return a + (d & 1) + b + c;
}
int
test_008 (int a, int c, int b, int d)
{
- // 1x shlr, 1x add, 1x addc
+ // 1x shlr/bld, 1x add, 1x addc
return (d & 1) + a + b + c;
}
int
test_009 (int a, int c, int b, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return a + b + (b & 1);
}
int
test_010 (int a, int c, int b, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return a + (b & 1) + b;
}
int
test_011 (int a, int c, int b, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return (b & 1) + a + b;
}
int
test_012 (int a, int c, int b, int d)
{
- // 1x shlr, 1x add, 1x addc
+ // 1x shlr/bld, 1x add, 1x addc
return a + b + d + (b & 1);
}
int
test_013 (int a, int c, int b, int d)
{
- // 1x shlr, 1x add, 1x addc
+ // 1x shlr/bld, 1x add, 1x addc
return a + d + (b & 1) + b;
}
int
test_014 (int a, int c, int b, int d)
{
- // 1x shlr, 1x add, 1x addc
+ // 1x shlr/bld, 1x add, 1x addc
return a + (b & 1) + d + b;
}
int
test_015 (int a, int c, int b, int d)
{
- // 1x shlr, 1x add, 1x addc
+ // 1x shlr/bld, 1x add, 1x addc
return (b & 1) + a + d + b;
}
int
test_017 (int a, int b, int c, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return a + a + (a & 1);
}
int
test_018 (int a, int b, int c, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return a + (a & 1) + a;
}
int
test_019 (int a, int b, int c, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return (a & 1) + a + a;
}
int
test_020 (int a, int b, int c, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return b + b + (a & 1);
}
int
test_021 (int a, int b, int c, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return b + (a & 1) + b;
}
int
test_022 (int a, int b, int c, int d)
{
- // 1x shlr, 1x addc
+ // 1x shlr/bld, 1x addc
return (a & 1) + b + b;
}
projects / gcc.git / commitdiff