aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
AgeCommit message (Expand)AuthorFilesLines
2018-08-06simplify TRUNC(SETCC(x,y), N)Luc Van Oostenryck1-1/+0
2018-08-06simplify SEXT(SETCC(x,y), N)Luc Van Oostenryck1-1/+0
2018-08-06simplify ZEXT(SETCC(x,y), N)Luc Van Oostenryck3-8/+3
2018-08-06simplify SETNE(TRUNC(x,N),{0,1})Luc Van Oostenryck1-1/+0
2018-08-06simplify SETNE(AND(X,1),0) to AND(X,1)Luc Van Oostenryck1-1/+0
2018-08-06simplify linearize_logical()Luc Van Oostenryck1-92/+68
2018-08-06expand linearize_conditional() into linearize_logical()Luc Van Oostenryck1-127/+111
2018-08-06fix linearize_conditional() for logical opsLuc Van Oostenryck1-1/+0
2018-08-06conditional branches can't accept arbitrary expressionsLuc Van Oostenryck3-29/+29
2018-08-04add testcase for linearize_logical()Luc Van Oostenryck8-0/+418
2018-07-28Merge branch 'optim-setne' into tipLuc Van Oostenryck4-37/+43
2018-07-28simplify 'x != 0' or 'x == 1' to 'x'Luc Van Oostenryck2-37/+19
2018-07-28simplify SET{EQ,NE}(SEXT(x, N),{0,1})Luc Van Oostenryck1-1/+0
2018-07-28simplify SET{EQ,NE}(ZEXT(x, N),{0,1})Luc Van Oostenryck1-1/+0
2018-07-25testcase for SET{EQ,NE}([SZ]EXT(x, N),{0,1})'s simplificationLuc Van Oostenryck2-0/+26
2018-07-25Merge branch 'optim-cast' into tipLuc Van Oostenryck21-0/+379
2018-07-25Merge branch 'optim-shift' into tipLuc Van Oostenryck7-0/+488
2018-07-25shift: simplify ASR(ZEXT(X, N), C)Luc Van Oostenryck1-0/+13
2018-07-25shift: simplify ASR(LSR(x,N),N')Luc Van Oostenryck1-0/+42
2018-07-25shift: simplify LSR(LSR(x,N),N') & friendsLuc Van Oostenryck1-0/+149
2018-07-25testcases: missing evaluation of side effects in typeof(VLA)Luc Van Oostenryck1-0/+26
2018-07-25testcases: add testcase for missing detection of out-of-bound storesLuc Van Oostenryck1-0/+21
2018-07-24use "%Le" to display floatsLuc Van Oostenryck4-22/+22
2018-07-23big-shift: fix warning message for negative or over-sized shiftsLuc Van Oostenryck2-13/+12
2018-07-23big-shift: add testcases for simplification of negative shiftsLuc Van Oostenryck1-0/+18
2018-07-23big-shift: add testcases for simplification of over-sized shiftsLuc Van Oostenryck1-7/+55
2018-07-23cast: simplify SEXT(ZEXT(x,N),N')Luc Van Oostenryck1-1/+0
2018-07-23cast: simplify ZEXT(ZEXT(x,N),N')Luc Van Oostenryck1-1/+0
2018-07-23cast: simplify SEXT(SEXT(x,N),N')Luc Van Oostenryck1-1/+0
2018-07-23cast: simplify AND(ZEXT(x,M),N)Luc Van Oostenryck2-2/+0
2018-07-23cast: simplify [ZS]EXT(AND(x,M),N)Luc Van Oostenryck3-3/+0
2018-07-23cast: preserve the sizes of TRUNC(AND(x,M),N)Luc Van Oostenryck1-1/+0
2018-07-23cast: simplify [SZ]EXT + TRUNC to a smaller/greater sizeLuc Van Oostenryck2-2/+0
2018-07-23cast: simplify [SZ]EXT + TRUNC to original sizeLuc Van Oostenryck1-1/+0
2018-07-23add testcases for casts & bitfield insertion/extractionLuc Van Oostenryck21-0/+391
2018-07-23big-shift: do not truncate the count when checking itLuc Van Oostenryck1-1/+0
2018-07-23big-shift: fix warning message for negative shift countLuc Van Oostenryck1-18/+18
2018-07-23big-shift: use the type width for too big shiftLuc Van Oostenryck1-12/+45
2018-07-23big-shift: simplify over-sized OP_SHLsLuc Van Oostenryck1-0/+7
2018-07-23big-shift: simplify over-sized OP_LSRsLuc Van Oostenryck2-10/+37
2018-07-23big-shift: reuse simplify_asr() for LSR & SHLLuc Van Oostenryck1-0/+8
2018-07-23big-shift: do not simplify over-sized OP_ASR to zeroLuc Van Oostenryck1-0/+2
2018-07-22big-shift: also check shift count of shift-assignmentLuc Van Oostenryck1-0/+48
2018-07-21big-shift: add test for shifts with bad countLuc Van Oostenryck2-0/+95
2018-06-30Merge branch 'cse-cast' into tipLuc Van Oostenryck1-0/+15
2018-06-30fix killing OP_SWITCHLuc Van Oostenryck1-0/+17
2018-06-30Merge branch 'cast-optim' into tipLuc Van Oostenryck4-61/+38
2018-06-29cast: optimize away casts to/from pointersLuc Van Oostenryck2-16/+26
2018-06-29cast: reorganize testcases for cast optimizationLuc Van Oostenryck3-45/+12
2018-06-28bool: generate plain OP_{AND,OR} instead of OP_{AND,OR}_BOOLLuc Van Oostenryck3-28/+53
2018-06-28bool: fix missing boolean context for floatsLuc Van Oostenryck1-0/+48
2018-06-28bool: simplify ZEXT in bool -> int -> boolLuc Van Oostenryck2-33/+29
2018-06-28bool: add testcase for bool simplificationLuc Van Oostenryck1-0/+247
2018-06-28simplify 'x ^ ~0' to '~x'Luc Van Oostenryck1-0/+8
2018-06-28simplify 'x & ~0' to 'x'Luc Van Oostenryck1-0/+7
2018-06-28simplify 'x | ~0' to '~0'Luc Van Oostenryck1-0/+15
2018-06-26add simple testcases for internal infinite loopsLuc Van Oostenryck1-0/+54
2018-06-26cast: simplify TRUNC + ZEXT to ANDLuc Van Oostenryck2-10/+8
2018-06-26cse: move to next comparable instructionLuc Van Oostenryck1-1/+0
2018-06-23cast: keep instruction sizes consistentLuc Van Oostenryck2-11/+189
2018-06-23cse: add testcase for missed opportunityLuc Van Oostenryck1-0/+16
2018-06-23cast: specialize integer castsLuc Van Oostenryck14-156/+151
2018-06-23cast: make casts from pointer always size preservingLuc Van Oostenryck2-86/+86
2018-06-23cast: add support for -Wpointer-to-int-castLuc Van Oostenryck2-2/+2
2018-06-23cast: specialize cast from pointersLuc Van Oostenryck5-4/+43
2018-06-23cast: make pointer casts always size preservingLuc Van Oostenryck2-38/+42
2018-06-23cast: specialize casts from unsigned to pointersLuc Van Oostenryck5-6/+58
2018-06-23cast: specialize floats to integer conversionLuc Van Oostenryck5-12/+12
2018-06-23cast: handle NO-OP castsLuc Van Oostenryck1-0/+15
2018-06-23cast: specialize FPCAST into [USF]CVTFLuc Van Oostenryck2-11/+11
2018-06-23cast: add tests for warnings issued by sparse -vLuc Van Oostenryck1-0/+27
2018-06-23cast: add testcase for cast to bad typeofLuc Van Oostenryck1-0/+13
2018-06-23cast: add testcase for bad implicit casts to struct/unionLuc Van Oostenryck1-0/+47
2018-06-23cast: reorg testcases related to castsLuc Van Oostenryck9-47/+32
2018-06-21fix bad fpcast simplificationLuc Van Oostenryck1-1/+0
2018-06-21add testcase for bad fpcast simplificationLuc Van Oostenryck1-0/+14
2018-06-16testsuite: allow extra/default options to test commandsLuc Van Oostenryck1-0/+4
2018-06-16testsuite: fix missing returnLuc Van Oostenryck2-8/+9
2018-06-16add support for -fdiagnostic-prefix[=prefix]Luc Van Oostenryck1-0/+11
2018-06-12Merge branches 'has-builtin' and 'builtin-predef' into tipLuc Van Oostenryck8-0/+377
2018-06-08builtin: add support for __has_builtin()Luc Van Oostenryck1-0/+43
2018-06-08builtin: add support for __builtin_{add,sub,mul}_overflow(), ...Luc Van Oostenryck1-0/+246
2018-06-08builtin: add testcase for builtin macro expansionLuc Van Oostenryck1-0/+17
2018-06-04dyn-macro: add real support for __BASE_FILE__Luc Van Oostenryck3-0/+23
2018-06-04dyn-macro: add support for __INCLUDE_LEVEL__Luc Van Oostenryck3-0/+19
2018-06-04dyn-macro: use a table to expand __DATE__, __FILE__, ...Luc Van Oostenryck1-1/+0
2018-06-04dyn-macro: add testcase for __LINE__ & friendsLuc Van Oostenryck1-0/+30
2018-06-04Merge branches 'label-redef', 'goto-reserved', 'errmsg-builtin-pos', 'fix-bui...Luc Van Oostenryck13-2/+436
2018-06-04add test for integer-const-expr-nessLuc Van Oostenryck1-0/+85
2018-06-01give a position to end-of-inputLuc Van Oostenryck2-2/+12
2018-06-01fix crash on 'goto <reserved word>'Luc Van Oostenryck1-0/+12
2018-06-01fix typing of __builtin_expect()Luc Van Oostenryck1-0/+101
2018-05-27Merge branch 'vla-sizeof' into tipLuc Van Oostenryck6-0/+124
2018-05-27vla-sizeof: add support for sizeof of VLAsLuc Van Oostenryck5-5/+0
2018-05-27vla-sizeof: add test casesLuc Van Oostenryck6-0/+129
2018-05-26label: avoid multiple definitionsLuc Van Oostenryck1-1/+0
2018-05-26label: add testcase for label redefinitionLuc Van Oostenryck1-0/+18
2018-05-26context: extra warning for __context__() & friendsLuc Van Oostenryck1-0/+17
2018-05-26context: stricter syntax for __context__ statementLuc Van Oostenryck1-3/+22
2018-05-26context: fix crashes while parsing '__context__;' or '__context__(;'Luc Van Oostenryck1-0/+7
2018-05-26context: __context__(...) expect a constant expressionLuc Van Oostenryck1-0/+19
2018-05-26context: fix parsing of attribute 'context'Luc Van Oostenryck1-0/+40
2018-05-21Merge branch 'doc-sphinx' into tipLuc Van Oostenryck2-1/+178
2018-05-21autodoc: add autodoc tests in the testsuiteLuc Van Oostenryck2-1/+178
2018-05-06Merge branches 'unop', 'describe-dirty', 'range-syntax', 'old-testcases', 'fi...Luc Van Oostenryck10-14/+194
2018-05-06use function-like syntax for __range__Luc Van Oostenryck2-0/+54
2018-05-06add test case bug expand unionLuc Van Oostenryck2-0/+41
2018-05-04testsuite: add check-assertLuc Van Oostenryck1-0/+12
2018-05-04sparse: option to print compound global data symbol infoRandy Dunlap1-0/+88
2018-05-04testsuite: add check-cp-ifLuc Van Oostenryck1-0/+14
2018-05-01do not to ignore old preprocessor testcasesLuc Van Oostenryck2-14/+27
2018-05-01fix: warn on typedef redefinitionLuc Van Oostenryck1-1/+0
2018-05-01add testcase for typedef redefinitionLuc Van Oostenryck2-0/+27
2018-05-01add testcase for array size type differenceLuc Van Oostenryck1-0/+12
2018-05-01add testcase for enum / int type differenceLuc Van Oostenryck1-0/+34
2018-04-30add testcases for verifying ABI's integer size & alignLuc Van Oostenryck1-0/+31
2018-04-11sparse: add -Wpointer-arith flag to toggle sizeof(void) warningsJoey Pabalinas1-0/+44
2018-04-11doc: copy-edit text related to applying sizeof to a _BoolJoey Pabalinas1-1/+1
2018-04-11use -Wpointer-arith for testsLuc Van Oostenryck1-1/+1
2018-03-18fix-return: remove special case for single returnLuc Van Oostenryck2-5/+5
2018-03-17optim: simplify null selectLuc Van Oostenryck1-0/+16
2018-03-14optim: kill unreachable BBS after CFG simplificationLuc Van Oostenryck2-2/+0
2018-03-14optim: add timeout for infinite optim loop testsLuc Van Oostenryck2-0/+2
2018-03-14optim: add testcase for internal infinite loopLuc Van Oostenryck1-0/+18
2018-03-14optim: add some more optimization testsLuc Van Oostenryck2-0/+42
2018-03-14cleanup deadborn phi-sourcesLuc Van Oostenryck1-0/+17
2018-03-11fix symbol cleanupLuc Van Oostenryck1-1/+0
2018-03-11fix address_taken()Luc Van Oostenryck2-1/+19
2018-03-11taint: let check_access() warn just onceLuc Van Oostenryck1-0/+15
2018-03-11testsuite: fix problem with double-escaping in patternsLuc Van Oostenryck19-29/+29
2018-02-27testsuite: add testcase about CSE problemLuc Van Oostenryck1-0/+18
2018-02-27testsuite: add testcase for some random crashLuc Van Oostenryck1-0/+11
2018-02-24testsuite: fix typo with 'test-suite format -a'Luc Van Oostenryck1-1/+1
2018-02-20no need for signed & unsigned multiplicationLuc Van Oostenryck1-1/+1
2018-02-17builtin: add testcases for expansion of FP classificationLuc Van Oostenryck4-0/+86
2018-02-17builtin: add testcases for expansion of special FP constantsLuc Van Oostenryck2-0/+62
2018-02-17builtin: add typechecking of isnan(), isinf(), ...Luc Van Oostenryck1-0/+95
2018-02-17builtin: make builtins more builtinLuc Van Oostenryck1-0/+15
2018-02-17add __builtin functions for isinf_sign, isfinite and isnanLogan Gunthorpe1-0/+3
2018-02-16Merge branches 'fix-converted-loads', 'kill-deadborn-loads', 'kill-dead-loads...Luc Van Oostenryck5-0/+73
2018-02-16no repetition in unknown attribute warning messageLuc Van Oostenryck1-1/+1
2018-02-15By default disable the warning flag '-Wunknown-attribute'Luc Van Oostenryck1-4/+0
2018-02-14kill dead stores when simplifying symbolsLuc Van Oostenryck1-1/+0
2018-02-14kill dead loadsLuc Van Oostenryck2-0/+36
2018-02-14fix usage of deadborn loadsLuc Van Oostenryck1-0/+9
2018-02-14fix killing of converted loadsLuc Van Oostenryck2-1/+25
2018-02-14add testcases for converted loadsLuc Van Oostenryck1-0/+15
2018-02-11add testcase for bad killing of dominated storesLuc Van Oostenryck1-0/+16
2018-02-11fix missing checks for deleted instructionsLuc Van Oostenryck1-0/+15
2018-02-10fix dead dominatorLuc Van Oostenryck1-1/+0
2018-02-10add testcase of dead dominatorLuc Van Oostenryck1-0/+19
2018-02-08Merge branches 'cse-setfval' and 'extract-eval' into tipLuc Van Oostenryck5-0/+87
2018-02-05fix examination of bad typeofLuc Van Oostenryck1-0/+17
2018-02-01do not report bad types twiceLuc Van Oostenryck1-1/+0
2018-02-01use valid_type to avoid to warn twice on conditionalsLuc Van Oostenryck1-1/+0
2018-02-01fix error in bad conditionalLuc Van Oostenryck1-1/+0
2018-02-01add testcases for duplicated warning about invalid typesLuc Van Oostenryck3-0/+50
2018-01-31report type & size on non-power-of-2 pointer subtractionLuc Van Oostenryck1-0/+23
2018-01-16CSE: support CSE of floating-point literalLuc Van Oostenryck1-0/+12
2018-01-08add OP_SETFVALLuc Van Oostenryck4-14/+61
2018-01-07Merge branches 'fmax-warnings', 'funsigned-char', 'testcase-fix-missing-retur...Luc Van Oostenryck6-2/+130
2018-01-02Merge branches 'fix-expand-bitfield-deref', 'fix-fpops-cse', 'null-expr', 'si...Luc Van Oostenryck22-0/+500
2018-01-02fix: dereference null-typeLuc Van Oostenryck1-0/+18
2017-12-29add support for '-f[no-][un]signed-char'Luc Van Oostenryck2-0/+20
2017-12-28fix implicit size of unsized arraysLuc Van Oostenryck2-0/+28
2017-12-28add testcases for type comparisonLuc Van Oostenryck1-0/+76
2017-12-28add more testcases for function designator dereferenceLuc Van Oostenryck3-0/+19
2017-12-28fix crash on bad expression in linearize_switch()Luc Van Oostenryck1-1/+0
2017-12-28warn on empty parenthesized expressionsLuc Van Oostenryck1-0/+27
2017-12-28testcases: add missing return statementsLuc Van Oostenryck2-2/+2
2017-12-27llvm: fix: previous function ref MUST be reusedLuc Van Oostenryck1-0/+32
2017-12-21fix: restore CSE on floating-point comparesLuc Van Oostenryck1-1/+0
2017-12-21add testcase for CSE of floating-point comparesLuc Van Oostenryck1-0/+20
2017-12-21fix expansion of constant bitfield dereferenceLuc Van Oostenryck1-1/+0
2017-12-21add testcase for constant bitfield dereferenceLuc Van Oostenryck1-0/+28
2017-12-21Merge branches 'deref-fun-ptr' and 'deref-base-type' into tipLuc Van Oostenryck2-0/+62
2017-12-21dereference of a function is a no-opLuc Van Oostenryck6-6/+0
2017-12-21add testcases for multiple deref of callsLuc Van Oostenryck5-4/+23
2017-12-21fix linearize (*fun)()Luc Van Oostenryck3-3/+0
2017-12-21add testcases for the linearization of callsLuc Van Oostenryck12-0/+318
2017-12-21fix: evaluate_dereference() unexamined base typeLuc Van Oostenryck2-2/+0
2017-12-21add testcases for unexamined base typeLuc Van Oostenryck2-0/+64
2017-12-16Merge branch 'testsuite-arg-env' into cli-macroLuc Van Oostenryck1-8/+6
2017-12-16fix: spaces in macro definition on the command lineLuc Van Oostenryck1-1/+0
2017-12-16add test case for space within command lineLuc Van Oostenryck1-0/+11
2017-12-16Merge branch 'testsuite-fix-quotes-cmdline' into cli-macroLuc Van Oostenryck2-5/+14
2017-12-16testsuite: allow default args from environment for test commandsLuc Van Oostenryck1-1/+2
2017-12-16testsuite: respect command line's quotes & whitespacesLuc Van Oostenryck2-6/+7
2017-12-16testsuite: process extra options without execLuc Van Oostenryck1-7/+4
2017-12-13testsuite: add test case for quoting of command's argumentsLuc Van Oostenryck1-0/+8
2017-12-13fix: accept 'sparse -D M...'Luc Van Oostenryck1-1/+0
2017-12-13add testcase for 'sparse -D M...'Luc Van Oostenryck1-0/+13
2017-12-10Merge remote-tracking branch 'worktree/testsuite-next'Luc Van Oostenryck13-90/+91
2017-12-08testsuite: add support for 'format -a'Luc Van Oostenryck1-0/+5
2017-12-08testsuite: default to shift in the getopt loopLuc Van Oostenryck1-9/+1
2017-12-08testsuite: allow to test only a subdirLuc Van Oostenryck1-5/+17
2017-12-08testsuite: change do_usage textLuc Van Oostenryck1-7/+7
2017-12-08testsuite: move no-arg out of the getopt loopLuc Van Oostenryck1-6/+5
2017-12-08testsuite: move do_test_suite out of the getopt loopLuc Van Oostenryck1-2/+1
2017-12-08testsuite: early return in getopt loopLuc Van Oostenryck1-0/+4
generated by cgit 1.2.3-korg (git 2.43.0) at 2025-11-03 15:55:24 +0000