IV36987: INEFFICIENT CODE FOR TRIVIAL VECTOR CONSTANTS

XL C/C++ for AIX Fix Pack 4 (June 2013 PTF) for 12.1
XL C/C++ for AIX Fix Pack 5 (September 2013 PTF) for 12.1
XL C/C++ for AIX Fix Pack 7 (January 2014 PTF) for 12.1
XL C for AIX Fix Pack 8 (March 2014 PTF) for 12.1
XL C/C++ for AIX Fix Pack 8 (March 2014 PTF) for 12.1
XL C/C++ for AIX Fix Pack 11 (February 2015 PTF) for 12.1
XL C for AIX Fix Pack 12 (May 2015 PTF) for 12.1
XL C/C++ for AIX Fix Pack 12 (May 2015 PTF) for 12.1
XL C/C++ for AIX Fix Pack 13 (August 2015 Update) for 12.1
XL C/C++ for AIX Fix Pack 14 (December 2015 Update) for 12.1
XL C for AIX Fix Pack 15 (April 2016 Update) for 12.1
XL C/C++ for AIX Fix Pack 15 (April 2016 Update) for 12.1
XL C for AIX Fix Pack 16 (July 2016 Update) for 12.1
XL C/C++ for AIX Fix Pack 16 (July 2016 Update) for 12.1
XL C/C++ for AIX Fix Pack 17 (November 2016 Update) for 12.1
XL C for AIX Fix Pack 17 (November 2016 Update) for 12.1
XL C for AIX Fix Pack 18 (February 2017 Update) for 12.1
XL C/C++ for AIX Fix Pack 18 (February 2017 Update) for 12.1
XL C for AIX Fix Pack 19 (August 2017 Update) for 12.1
XL C/C++ for AIX Fix Pack 19 (August 2017 Update) for 12.1
XL C for AIX Fix Pack 20 (March 2018 Update) for 12.1
XL C/C++ for AIX Fix Pack 20 (March 2018 Update) for 12.1
XL C for AIX Fix Pack 4 (June 2013 PTF) for 12.1
XL C for AIX Fix Pack 5 (September 2013 PTF) for 12.1
XL C for AIX Fix Pack 6 (December 2013 PTF) for 12.1
XL C/C++ for AIX Fix Pack 6 (December 2013 PTF) for 12.1
XL C for AIX Fix Pack 7 (January 2014 PTF) for 12.1
XL C for AIX Fix Pack 9 (July 2014 PTF) for 12.1
XL C/C++ for AIX Fix Pack 9 (July 2014 PTF) for 12.1
XL C for AIX Fix Pack 10 (October 2014 PTF) for 12.1
XL C/C++ for AIX Fix Pack 10 (October 2014 PTF) for 12.1
XL C for AIX Fix Pack 11 (February 2015 PTF) for 12.1
XL C for AIX Fix Pack 13 (August 2015 Update) for 12.1
XL C for AIX Fix Pack 14 (December 2015 Update) for 12.1
XL C/C++ for AIX Fix Pack 21 (January 2019 Update) for 12.1
XL C for AIX Fix Pack 21 (January 2019 Update) for 12.1

APAR status

• Closed as program error.

Error description

• The compiler generates in-efficient code for trivial vector
  contants.
  
  eg:
  $ cat test.cpp
  const vector signed int zeros = { 0,0,0,0 };
  
  extern "C" vector signed int vec_zeros()
  {
      return zeros;
  }
  
  $ cat test.lst
  VR's set/used:   --s- ---- ---- ----  ---- ---- ---- ----
      | 000000                           PDEF     vec_zeros
     3|                                  PROC
     5| 000000 ld       E8620008   1     L8
  gr3=.+CONSTANT_AREA(gr2,0)
     5| 000004 lxvd2x   7C401E99   1     VLQD
  vs34=zeros(gr3,0)
     6| 000008 bclr     4E800020   1     BA        lr
  
  $
  
  
  It should be generating code such as:
     21| 000040 xxlxor   F04004D7   1     VXOR      vs34=vs32,vs32
     22| 000044 bclr     4E800020   1     BA        lr
  

Local fix

• N/A
  

Problem summary

• USERS AFFECTED:
  Users who have test cases with trivial vectors of zeros.
  
  PROBLEM DESCRIPTION:
  The compiler generates inefficient code for trivial vector of
  zeros, when this vector is defined as a global variable.
  

Problem conclusion

• The compiler has been fixed so that once the zero vector is
  determined to be stored in the constant area, code is added to
  retrieve the zero vector.
  

Temporary fix

Comments

APAR Information

• APAR is sysrouted FROM one or more of the following:

• APAR is sysrouted TO one or more of the following:

  LI77421 LI77658

Fix information

• Fixed component name

  XL C FOR AIX

• Fixed component ID

  5725C7100

Applicable component levels