File: pr94613.c

package info (click to toggle)
gcc-arm-none-eabi 15%3A12.2.rel1-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 959,712 kB
  • sloc: cpp: 3,275,382; ansic: 2,061,766; ada: 840,956; f90: 208,513; makefile: 76,132; asm: 73,433; xml: 50,448; exp: 34,146; sh: 32,436; objc: 15,637; fortran: 14,012; python: 11,991; pascal: 6,787; awk: 4,779; perl: 3,054; yacc: 338; ml: 285; lex: 201; haskell: 122
file content (47 lines) | stat: -rw-r--r-- 1,216 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
/* { dg-do run } */
/* { dg-require-effective-target vmx_hw } */
/* { dg-options "-O2 -maltivec" } */

#include <altivec.h>

/* The initial implementation of vec_sel used an IF_THEN_ELSE rtx.
   This did NOT match what the vsel instruction does.  vsel is a
   bit-wise operation.  Using IF_THEN_ELSE made the + operation to be
   simplified away in combine.  A plus operation affects other bits in
   the same element. Hence per-element simplifications are wrong for
   vsel.  */
vector unsigned char __attribute__((noinline))
foo (vector unsigned char a, vector unsigned char b, vector unsigned char c)
{
  return vec_sel (a + b, c, a);
}

vector unsigned char __attribute__((noinline))
foor (vector unsigned char a, vector unsigned char b, vector unsigned char c)
{
  return vec_sel (c, a + b, ~a);
}

vector unsigned char __attribute__((noinline))
bar (vector unsigned char a, vector unsigned char b, vector unsigned char c)
{
  return vec_sel (a | b, c, a);
}

int
main ()
{
  vector unsigned char v = (vector unsigned char){ 1 };

  if (foo (v, v, v)[0] != 3)
      __builtin_abort ();

  if (bar (v, v, v)[0] != 1)
    __builtin_abort ();

  if (foor (v, v, v)[0] != 3)
    __builtin_abort ();

  return 0;
}