ID |
Summary |
State |
Reported In Release |
Target Release |
Workaround |
Release Notes |
CODEGEN-3858 |
OFD gets DIE attribute offset wrong when using --dwarf_display=none,dinfo |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
If you use --dwarf_display=none,dinfo, use --dwarf_display=none,dinfo,types instead |
You can use OFD to display the DWARF debugging information in your object files by using the option '--dwarf' (or -g). You can narrow the categories of DWARF information displayed by using the '--dwarf_display' option. If you use the option --dwarf_display=none,dinfo you will see the DWARF DIE objects in the .dwarf_info section, but you will not see any DW_AT_type attributes unless you also use the "types" flag. This is not a bug. However, when OFD skips a DW_AT_type attribute, it displays the offset of the skipped DW_AT_type for the next attribute instead of the next attribute's correct offset. |
CODEGEN-3801 |
Linker crashes with INTERNAL ERROR (unhandled exception) |
Fixed |
C2000_15.12.6.LTS |
C2000_15.12.7.LTS |
|
The linker experiences a segmentation fault when there is a reference from a debug section to a symbol without a section (for example, an absolute symbol). |
CODEGEN-3676 |
CLA store-load cycles for read-before-write pipeline hazard |
Fixed |
|
C2000_15.12.7.LTS |
No work around other than upgrade to a fixed version. |
For CLA instruction scheduling of stores followed by loads, only 2 cycles (instead of 3 cycles) were placed between the store/load. Fixed this to be the 3 cycles required by CLA pipeline to avoid read-before-write issue. To offset code size impact (increased NOPs), enabled better memory disambiguation checking to additionally eliminate unnecessary NOPs if a store/load pair were to different memory locations. |
CODEGEN-3655 |
Incorrect code generated for multiplication |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
|
Under a set of special circumstances too detailed for this release note to describe, it is possible for the compiler to drop certain multiply instructions, yielding incorrect code. The circumstances are somewhat rare. This will probably only happen with multiplications near an access of a 32-bit variable that is cast to 16 bits. |
CODEGEN-3650 |
Linker crashes when printing module list to map file |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
Add linker option --mapfile_contents=all,nomodules |
When creating a linker map file, and a summary of modules is written to the linker map file, and the entry point is undefined, the linker may crash. |
CODEGEN-3619 |
pragma triggers false MISRA-C:2004 19.1/A warning |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
N/A |
Certain pragmas appearing prior to #include statements, such as #pragma RESET_MISRA, would cause MISRA warning 19.1/A to be issued:
MISRA-C:2004 19.1/A: #include statements in a file should only be preceded by other preprocessor directives or comments |
CODEGEN-3617 |
gmtime incorrect when invoked in timezones east of GMT |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
Set the timezone to 0 (UTC) until the fix is in place |
|
CODEGEN-3597 |
ELF header field e_phoff should be 0 when no program header is present |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
|
ELF header field e_phoff should be 0 when no program header is present, and ELF header field e_shoff should be 0 when no section headers are present. |
CODEGEN-3580 |
C2000 float to int intrinsics matching error |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
Assign the result to the same signedness as the conversion and subsequently cast it to the other:
unsigned int x = __f32toui16r(f);
int y = x;
int y = __f32toi16r(f);
unsigned int x = y; |
The following intrinsics fail to match depending on whether the result is assigned to a signed or unsigned int.
Conversion to unsigned int fails to match when assigned to signed int:
int x = __f32toui16r(f);
Conversion to signed int fails to match when assigned to unsigned int:
unsigned y = __f32toi16r(f); |
CODEGEN-2373 |
Internal linker error triggered by function alias |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
|
Linker sometimes generates "Assertion failed" message and aborts. |
CODEGEN-2343 |
C2000 indexed addressing performance degradation |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
|
For array indexing expressions of the form P[N] or P->f, whether written by the user or generated by an optimization, where N is a constant larger than 255 (after scaling by the size of the type), the compiler may generate inefficient code. We want this:
MOV AR0, #N
MOVL ... *AR1[AR0]
However, the compiler was actually doing this:
MOV ACC, AR1
ADD ACC, #(N/2) << 1
MOV AR2, ACC
MOVL ..., *AR2[0]
This is much more costly |
CODEGEN-2286 |
palign(8) of .init_array messes up __TI_INITARRAY_Limit address |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.6.LTS |
In the linker command file, replace
.init_array > FLASH, palign(8), fill = 0xffffffff
with the following GROUP statement:
GROUP
{
.init_array
} > FLASH, palign(8)
The palign(8) on GROUP will ensure that any required padding is added after .init_array. However, both the size of .init_array and the value of __TI_INITARRAY_Limit remain unchanged. |
Applying palign(8) to .init_array caused __TI_INIT_ARRAY_Limit to be set to the end of .init_array including the padding. This broke RTS startup code responsible for calling constructors because the table of constructors now includes invalid data. This bug has been fixed and __TI_INIT_ARRAY_Limit is no longer affected by padding. |
CODEGEN-2238 |
Compiler incorrectly emits MISRA 10.1 for function argument |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
|
|
CODEGEN-2182 |
INTERNAL ERROR: opt2000 experienced a segmentation fault |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.0.LTS |
The problem appears with a while-loop that places the increment or decrement ahead of the MAC. Work around it by using a for-loop, or by moving the increment/decrement to the end of the loop body (instead of in the while-loop predicate, for instance). |
A while-loop like
while (n--) sum += *x++ * *y++;
may cause the compiler to crash. Use a for-loop instead. |
CODEGEN-2179 |
I16TOF32 or UI16TOF32 lost or cannot be generated |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.6.LTS |
|
The compiler incorrectly modeled I16TOF32 and UI16TOF32. This had two detrimental effects:
1. If the compiler created one of these instructions with a memory operand and gave it post-increment addressing, it could be dropped as dead code, leading to incorrect results.
2. Some loops that should have used one of these instructions would instead sign extend the 16-bit integer and used I32TOF32 or UI32TOF32 instead. |
CODEGEN-2176 |
RPTB block containing RPT is too small |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.6.LTS |
|
This bug can occur when there is a small loop containing a smaller loop, where the smaller loop behaves like memset(foo, 0, n). Only the fill value zero will trigger this bug. The generated RPTB may be one byte too small to be legal, and the assembler will reject the RPTB. |
CODEGEN-2171 |
C2000 compiler disables if conversion on mac |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.5.LTS |
|
|
CODEGEN-2168 |
Incorrect use of MPYA overwrites T register, resulting in wrong computation |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.6.LTS |
|
The kill of register T was not being captured in the MPYA P,loc16,#16bit instruction causing a prior load to the T register to be erroneously overwritten by a subsequent MPYA P,loc16,#16bit instruction. |
CODEGEN-2166 |
INTERNAL ERROR: lnk2000 failed to allocate memory |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.6.LTS |
Compile with --disable:cla_scratchpad_overlay, or
do not allow CLA functions to call any function in any section that may contain its own ancestor. |
CLA modules should have each function in its own text section, and CLA functions should absolutely not be recursive or mutually recursive in any way. For this test case, hand-coded CLA functions had two functions (A and C) in the same text section. A has a call to B, which is in a different text section. B has a call to C. This forms a cycle in the call graph, because the linker can only see sections and doesn't realize A and C are different functions. Due to a bug in the CLA scratchpad overlay optimization, this cycle would cause the linker to go into an infinite loop. |
CODEGEN-2143 |
Anonymous struct in union causes type merging failure at -O4 |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.6.LTS |
Do not use anonymous structs or unions; give all struct members a name, even if it is never used. |
Anonymous structs and unions are a GCC extension. They are members of a parent structure and have no names. You access the elements inside them as if they were direct members of the parent class. If you have an anonymous struct or union inside a union and you use -O4 optimization, you may get the mistaken error "symbol so-and-so redeclared with incompatible type" at link time. |
CODEGEN-2119 |
Stack usage assistant call graph misses callee relationship for some direct calls |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.6.LTS |
|
The Object File Display utility failed to detect function callees when generating call graph information for functions that contain nested blocks. |
CODEGEN-2113 |
Hex utility mishandles space in directory name of output file |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.6.LTS |
Use directory names without spaces for output files. |
The hex utility did not correctly handle spaces in output directory and file names. |
CODEGEN-2098 |
Temp filename collisions on Windows with many parallel invocations |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.5.LTS |
|
In some cases with a large number of compilations in parallel on Windows, the compiler could create temporary files with colliding names, resulting in strange compilation failures. |
CODEGEN-2053 |
Compiler incorrectly reorders struct assign for small, volatile structs with bit-fields |
Fixed |
C2000_15.12.3.LTS |
C2000_15.12.5.LTS |
Use optimization level 0 or off (option --opt_level) |
For a very specific optimization, the optimizer may drop a volatile qualifier from a struct assignment. In some cases, the compiler may later perform an incorrect optimization, most commonly incorrectly reordering volatile assignments.
This bug can only happen in a function compiled with optimization level 1 or higher which contains both of the following: 1) A struct assign where the destination is volatile, and the source is a known constant, and the struct contains a bit-field, and the struct is of size "int" or smaller. 2) Any bit-field access (read or write) other than as part of a struct assign or initialization expression. That is, the name of the bit-field is present in the access expression. Note that the optimizer can create this situation by inlining functions, so 1 and 2 might be in different functions in the source code.
Consider a tree x = y where x and y are of type struct S. If the value of y is known at compile time (e.g. a const value), the optimizer will try to turn the struct constant into an integer constant (possibly combining bit-fields) and rewrite the tree to look like this: "(unsigned *)x = 32;" However, if y is volatile, that should be "*(volatile unsigned *)x = 32;" Because the access is not volatile, instruction scheduling could cause this instruction to drift past nearby volatile accesses. |
CODEGEN-2050 |
Use of -o4 causes linker XML map file to have missing input_file entries |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.5.LTS |
|
|
CODEGEN-2025 |
Linker crash message incorrectly suggests submitting a preprocessed file |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.6.LTS |
|
|
CODEGEN-1979 |
Statements before declarations with no white space (aggravated by macros) may cause incorrect parser error |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
Do not start any statement in the left-most column
Rearrange your code so that there are no statements before declarations. |
C99 and C++ allow statements before declarations in functions. This is not allowed by the C89 language, but as an extension, the TI compiler allows such statements in relaxed mode. However, in certain circumstances, the compiler may emit the 'error: expected "}"' for otherwise legal code which has statements before declarations.
This problem can only occur in relaxed C89 mode (which is the default mode), and 1) you have a function with statements that start in the left-most column, or 2) you use macros where the macro body contains C code with statements before declarations. |
CODEGEN-1976 |
Value of __cplusplus is wrong |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.5.LTS |
If possible, use the -ps or --strict_ansi options. This mode will use the strict definition of __cplusplus, which is 199711L. |
Our parser mimicked G++ behavior for the value of this macro in relaxed ANSI mode. This reproduced a bug in G++ versions v.4.7 and v.4.3 that has since been fixed. |
CODEGEN-1927 |
Float variables allocated to FPU register such as R4H are displayed as "unknown register R4HL" in Variables view |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.5.LTS |
Lowering the level of optimization in the project such that the variable is not allocated to a register will allow its value to be displayed correctly in the Variables view. |
Fixed an issue where FPU32 registers were sometimes incorrectly named and not available during debug. |
CODEGEN-1710 |
Illegal instruction selection for __byte_peripheral_32 on FPU32 |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.5.LTS |
Try a lower level of optimization. For our test case, optimization levels lower than 3 did not expose the bug. However, this workaround may not help for all test cases. |
Although byte peripheral types are integral, when FPU32 device support is enabled, the compiler might store 32-bit integral values in floating point registers when CPU registers are unavailable. The compiler erroneously generates a MOVL instruction instead of a MOV32 instruction for moving 32-bit byte peripheral data between floating point registers and byte peripheral memory, if this data gets assigned to a floating point register. |
CODEGEN-1709 |
Using #pragma INTERRUPT(HPI) crashes the compiler |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.5.LTS |
Besides not using #pragma INTERRUPT(HPI), there is no workaround. The compiler requires an update. |
Fixed a crash that occurs when using #pragma INTERRUPT(HPI) |
CODEGEN-1703 |
Designated initializer plus struct hack hangs compiler |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.4.LTS |
Avoiding using string constants to initialize objects with flexible array members. Instead, use a brace-initialized array. For example:
struct { int a; char b[]; } mystruct = {0, {'h', 'e', 'l', 'l', 'o'} }; |
Fixed a compiler hang caused by initializing flexible array members with string constants.
struct {int a; char b[]; } mystruct = {0, "hello"} /* Would cause the compiler to hang and/or crash */ |
CODEGEN-1671 |
Arrays of Byte Peripherals or types aligned larger than their size should generate error |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.4.LTS |
Do not attempt to create an array of byte peripheral objects. |
The C language guarantees that the size of an array is equal to the size of each element times the number of elements. Because we double the alignment of byte peripheral data types but do not change the size, this does not hold true. There would be padding in the array, which is not allowed by the standard.
Underneath the hood, we use the aligned GCC attribute to change the alignment for byte peripherals. On GCC, if you try to make an array of elements whose alignment is larger than its size (see example code below), you get the following error:
"9:1: error: alignment of array elements is greater than element size"
However, our parser doesn’t generate an error. Instead, it just reduces the alignment of the element size silently and makes an array.
We need to generate an error and document that this is not allowed, both for byte peripherals and the aligned GCC attribute. |
CODEGEN-1667 |
Assignment to 32-bit byte peripheral from 64-bit cast to 32-bit value causes internal error |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.4.LTS |
Saving the cast value to a 32-bit temp and then assigning to the 32-bit byte peripheral will work at optimization settings of 0 and off. |
If a 64-bit value is cast to a 32-bit value and then assigned to a 32-bit byte peripheral type, an internal error occurs. |
CODEGEN-1662 |
Optimizer incorrectly detects __fmin and __fmax idioms |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.4.LTS |
If you want floating-point absolute value, use fabs. However, there are other ways this bug could be triggered that have no practical workaround other than to use -Ooff |
|
CODEGEN-1656 |
Using --gen_profile_info does not work with -o4 |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.6.LTS |
Lower the optimization level to -o3. |
Previously, link time optimization failed when profiling options --gen_profile_info and use_profile_info were specified in combination with the --opt_level=4 option. The errors were because profiling options were not supported when used in combination with --opt_level=4.
Application profiling during whole program optimization is now supported. Profiling options --gen_profile_info and --use_profile_info may now be combined with --opt_level=4. |
CODEGEN-1640 |
MISRA 19.1 misreported: #include statements should only be preceded by other preprocessor directives |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.4.LTS |
No practical workaround |
|
CODEGEN-1639 |
MISRA-C:2004 17.6/R false positive when assigning local struct member to static struct member |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.6.LTS |
|
|
CODEGEN-1634 |
MISRA 7.1 misreported: octal tokens in token paste |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.4.LTS |
No practical workaround |
|
CODEGEN-1632 |
MISRA 15.2 misreported: switch clause unconditional break |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.4.LTS |
Put an explicit break at the end of the compound statement |
|
CODEGEN-1534 |
Assembler mishandles SUBF32||MOV32 UNCF |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.4.LTS |
As a workaround, take off the UNCF operand and the assembler handles the instruction correctly. |
|
CODEGEN-1510 |
Assembler incorrectly issues warning on large constant used with MOVI32 instruction |
Fixed |
C2000_15.12.1.LTS |
C2000_15.12.4.LTS |
|
|
SDSCM00052895 |
C28x --disable_dp_load_opt does not disable blocking for .ebss |
Fixed |
C2000_15.12.2.LTS |
C2000_15.12.4.LTS |
Put data in user-defined section and use --disable_dp_load_opt to prevent blocking. |
The C28x compiler blocks .ebss by default. --disable_dp_load_opt disables
blocking for user-defined sections. However, for .ebss the flag only disables
DP-load optimization but did not disable blocking. |
CODEGEN-1420 |
Compiler mistakenly overwrites upper 32-bits to 0 by using MOVZ instruction to compute var32 |= 0x20 |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.4.LTS |
|
Fixed an issue where the compiler would issue a MOVZ instruction that zeroes the upper bits of an XAR register when those upper bits are needed for a future instruction. |
CODEGEN-1418 |
64-bit bitwise op on enum gives INTERNAL ERROR: no match for ASG |
Fixed |
C2000_15.12.2.LTS, C2000_15.12.3.LTS, C2000_15.12.0.LTS, C2000_15.12.1.LTS |
C2000_15.12.4.LTS |
Add compiler option -mf3 or higher (--opt_for_speed=3) |
|
CODEGEN-1333 |
Structure assignment causes compiler to fail with INTERNAL ERROR: Decomposition error |
Fixed |
C2000_15.12.3.LTS |
C2000_15.12.4.LTS |
Replace struct assignments involving packed structures with a memcpy() call to copy the contents of the RHS of the struct assign to the LHS. |
|
CODEGEN-1329 |
Lower diagnostic about redefined opcode to a warning, when a compiler intrinsic is redefined |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.5.LTS |
Remove the #define or do not include the header file in assembly files. |
When a header file attempting to redefine an opcode name is included in assembly files, the assembler issues an error because it is not legal to redefine an opcode name. While this behavior is correct, it causes programs to fail to compile when some C2000 header files are included in assembly files due to the "#define eallow ..." in the header files. |
SDSCM00052894 |
CLA does not correctly handle certain pragmas like UNROLL which take an integer argument |
Fixed |
C2000_15.12.1.LTS |
C2000_15.12.3.LTS |
None |
|
SDSCM00052881 |
unsigned array index not trucated as it should be |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.3.LTS |
Disable the optimizer with -Ooff |
|
SDSCM00052873 |
Mishandled condition codes set by CLA intrinsics __mmaxf32 and __mminf32 |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.3.LTS |
|
|
SDSCM00052833 |
Linker INTERNAL ERROR with object files with DWARF information compiled by IAR compiler |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.3.LTS |
Add option --compress_dwarf=off |
|
SDSCM00052805 |
Decomposition error on while(*ptr++) where ptr points to volatile |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.2.LTS |
No workaround. |
|
SDSCM00052774 |
Using __IQsat with destination same as one input leads to bad code |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.2.LTS |
No practical workaround |
|
SDSCM00052737 |
Compiler reorders MOVDL or MOVD32 instruction with an instruction which reads the delayed memory |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.2.LTS |
None. |
|
SDSCM00052723 |
Compiler seg faults with use of --opt_level=4 |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.1.LTS |
Use optimization level 3 or below. |
|
SDSCM00052699 |
Compiler discards write to a volatile local struct member |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.2.LTS |
No workaround. |
|
SDSCM00051734 |
Accepts invalid CLA instruction "MMOV32 MRx, MSTF" |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
|
When coding in assembly for the CLA, the assembler accepts an instruction of the form MMOV32 MRx, MSTF. This is not a valid instruction. |
SDSCM00050540 |
Accepts invalid CLA instruction "MMOV32 mem, MRn, COND" |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.7.LTS |
Care should be taken when writing hand-coded assembly to only write valid instructions as they are documented. |
The CLA assembler accepts an instruction of the form "MMOV32 mem, MRn, COND", which is not legal. There is no conditional MMOV32 to a memory destination. The only valid conditional MMOV32 instructions have register (MRn) destinations. |
SDSCM00050005 |
Compiler mistakenly issues MISRA diagnostic 12.9 for a float point type |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.3.LTS |
|
|
SDSCM00039432 |
Must interrupt-protect RB restore in low-prority interrupt handler |
Fixed |
C2000_15.12.0.LTS |
C2000_15.12.2.LTS |
At the end of every low-priority interrupt handler function which may have enabled interrupts (possibly during a callee), add the intrinsic __disable_interrupts. |
|
SDSCM00038327 |
ARM RTS libraries expose enumerations across ABI boundaries, but are marked as having no visible enumerations |
Fixed |
|
C2000_15.12.0.LTS |
When using C++ RTS functions, use --enum_type=packed, or rebuild the RTS
library with the --enum_type=int option. |
|
SDSCM00037411 |
C2000 assembler segmentation fault on RPTB with syntax error |
Planned |
|
C2000_15.12.0.LTS |
Ensure that RPTB statements follow the correct syntax:
RPTB label, #immediate
RPTB label, loc16
If the #immediate or loc16 field is not present, the INTERNAL ERROR segmentation fault will occur. The line number given in the error message will be for a label.
|
|