aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear
AgeCommit message (Expand)AuthorFilesLines
2024-01-07testsuite: avoid "warning: stray \ before t" messageLuc Van Oostenryck1-1/+1
2021-02-28asm-out0: fix a test failure on 32-bit systemsRamsay Jones1-1/+1
2021-02-21asm: output *memory* operands need their address as *input*Luc Van Oostenryck1-1/+0
2021-02-21asm: add testcase for problem with output addressesLuc Van Oostenryck1-0/+26
2021-01-31fix add_join_conditional() when one of the alternative is VOIDLuc Van Oostenryck1-0/+19
2020-11-22canon: put PSEUDO_ARGs in canonical order tooLuc Van Oostenryck2-11/+11
2020-11-17cfg: early CFG simplificationLuc Van Oostenryck3-5/+5
2020-11-01linearize __builtin_isdigit()Luc Van Oostenryck1-0/+12
2020-11-01fix usage count in linearize_fma()Luc Van Oostenryck1-1/+1
2020-10-22add testcase for missing inline definitionLuc Van Oostenryck1-0/+30
2020-10-20Merge branch 'bf-sign' into nextLuc Van Oostenryck4-5/+44
2020-10-08fix evaluation of pointer to bool conversionsLuc Van Oostenryck1-1/+0
2020-09-16teach sparse about -funsigned-bitfieldsLuc Van Oostenryck4-5/+44
2020-09-07builtin: teach sparse to linearize __builtin_fma()Luc Van Oostenryck1-0/+19
2020-08-17fix evaluate_ptr_add() when sizeof(offset) != sizeof(pointer)Luc Van Oostenryck2-0/+173
2020-08-11bug-assign-op0.c: fix test on 32-bit buildsRamsay Jones1-5/+5
2020-08-06shift-assign: restrict shift count to unsigned intLuc Van Oostenryck1-1/+0
2020-08-06shift-assign: fix linearization of shift-assignLuc Van Oostenryck2-2/+0
2020-08-06shift-assign: add more testcases for bogus linearizationLuc Van Oostenryck2-0/+374
2020-07-06testsuite: add testcase for bogus linearization of >>= & /=Luc Van Oostenryck1-0/+115
2020-05-21bad-goto: check declaration of label expressionsLuc Van Oostenryck1-1/+0
2020-05-21bad-goto: jumping inside a statement expression is an errorLuc Van Oostenryck2-2/+0
2020-05-21bad-goto: catch labels with reserved namesLuc Van Oostenryck1-1/+0
2020-05-21bad-goto: reorganize testcases and add some moreLuc Van Oostenryck7-5/+92
2020-05-21bad-goto: add testcases for linearization of invalid labelsLuc Van Oostenryck1-0/+19
2020-05-21bad-goto: add testcase for 'jump inside discarded expression statement'Luc Van Oostenryck1-0/+28
2020-03-20teach sparse to linearize __builtin_unreachable()Luc Van Oostenryck2-2/+0
2020-03-20add an implicit __builtin_unreachable() for __noreturnLuc Van Oostenryck1-1/+0
2020-03-20add testcases for OP_UNREACHLuc Van Oostenryck3-7/+58
2019-10-09"graph" segfaults on top-level asmLuc Van Oostenryck1-0/+1
2019-09-27asm: linearization of output memory operands is differentLuc Van Oostenryck1-1/+0
2019-09-27asm: add test evaluation, expansion & linearization of ASM operandsLuc Van Oostenryck1-0/+24
2019-09-26expand: add missing expansion of compound literalsLuc Van Oostenryck1-1/+0
2019-02-04target.c: ignore -m64 on archs where int32_t is a longLuc Van Oostenryck9-0/+9
2018-09-08fix linearization of non-constant switch-casesLuc Van Oostenryck1-1/+0
2018-09-08add testcase for non-constant switch-caseLuc Van Oostenryck1-0/+38
2018-09-06Merge branches 'missing-return' and 'fix-logical-phi' into tipLuc Van Oostenryck13-90/+288
2018-09-06fix linearization of nested logical exprLuc Van Oostenryck4-93/+90
2018-09-06add tests for nested logical exprLuc Van Oostenryck1-0/+49
2018-09-06fix ordering of phi-node operandLuc Van Oostenryck2-5/+4
2018-09-06add testcases for wrong ordering in phi-nodesLuc Van Oostenryck4-0/+55
2018-09-06return nothing only in void functionsLuc Van Oostenryck1-1/+0
2018-09-06use UNDEF for missing returnsLuc Van Oostenryck5-5/+0
2018-09-06topasm: top-level asm is specialLuc Van Oostenryck1-0/+7
2018-09-05add testcases for missing return in last blockLuc Van Oostenryck6-0/+97
2018-09-01fix linearization of unreachable switch (with reachable label).Luc Van Oostenryck1-1/+0
2018-09-01add tescase for unreachable label in switchLuc Van Oostenryck1-0/+20
2018-08-25Merge branch 'ssa' into tipLuc Van Oostenryck5-60/+90
2018-08-07fix instruction size & type in linearize_inc_dec()Luc Van Oostenryck2-68/+75
2018-08-06limit the mask used for bitfield insertionLuc Van Oostenryck1-6/+6
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 Oostenryck1-5/+5
2018-08-04add testcase for linearize_logical()Luc Van Oostenryck1-0/+300
2018-07-25Merge branch 'optim-cast' into tipLuc Van Oostenryck3-0/+57
2018-07-24use "%Le" to display floatsLuc Van Oostenryck2-13/+13
2018-07-23add testcases for casts & bitfield insertion/extractionLuc Van Oostenryck3-0/+57
2018-07-01testsuite: improve mem2reg testcasesLuc Van Oostenryck1-25/+0
2018-07-01testsuite: reorganize tests for compound literalsLuc Van Oostenryck3-0/+55
2018-06-29cast: reorganize testcases for cast optimizationLuc Van Oostenryck1-405/+0
2018-06-26cast: simplify TRUNC + ZEXT to ANDLuc Van Oostenryck1-106/+0
2018-06-23cast: keep instruction sizes consistentLuc Van Oostenryck2-11/+189
2018-06-23cast: specialize integer castsLuc Van Oostenryck5-99/+97
2018-06-23cast: make casts from pointer always size preservingLuc Van Oostenryck1-84/+86
2018-06-23cast: add support for -Wpointer-to-int-castLuc Van Oostenryck1-1/+1
2018-06-23cast: specialize cast from pointersLuc Van Oostenryck4-4/+42
2018-06-23cast: make pointer casts always size preservingLuc Van Oostenryck1-30/+32
2018-06-23cast: specialize casts from unsigned to pointersLuc Van Oostenryck1-5/+5
2018-06-23cast: specialize floats to integer conversionLuc Van Oostenryck3-9/+11
2018-06-23cast: handle NO-OP castsLuc Van Oostenryck1-0/+15
2018-06-23cast: specialize FPCAST into [USF]CVTFLuc Van Oostenryck1-10/+10
2018-06-23cast: reorg testcases related to castsLuc Van Oostenryck6-0/+858
2018-06-16testsuite: fix missing returnLuc Van Oostenryck1-8/+8
2018-05-06use function-like syntax for __range__Luc Van Oostenryck1-0/+31
2018-03-18fix-return: remove special case for single returnLuc Van Oostenryck2-27/+3
2018-03-11testsuite: fix problem with double-escaping in patternsLuc Van Oostenryck8-11/+11
2018-01-02Merge branches 'fix-expand-bitfield-deref', 'fix-fpops-cse', 'null-expr', 'si...Luc Van Oostenryck10-0/+262
2017-12-28add more testcases for function designator dereferenceLuc Van Oostenryck1-0/+13
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 Oostenryck4-4/+0
2017-12-21add testcases for multiple deref of callsLuc Van Oostenryck4-4/+19
2017-12-21fix linearize (*fun)()Luc Van Oostenryck3-3/+0
2017-12-21add testcases for the linearization of callsLuc Van Oostenryck7-0/+179
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-08fix: add missing degenerate() for logical notLuc Van Oostenryck1-1/+0
2017-12-07add testcases linearization of degenerated arrays/functionsLuc Van Oostenryck3-0/+110
2017-11-13Merge branches 'testcases-bugs', 'testcases-bugs-optim' and 'testcases-mem2re...Luc Van Oostenryck2-0/+55
2017-11-13add test case for superfluous cast with volatilesLuc Van Oostenryck1-0/+14
2017-11-13add testcase for return & inlineLuc Van Oostenryck1-0/+24
2017-11-13add testcase for __builtin_unreachable()Luc Van Oostenryck1-0/+31
2017-11-13add test case for memory to register problemLuc Van Oostenryck1-0/+25
2017-11-13dump-ir: make it more flexibleLuc Van Oostenryck1-1/+1
2017-11-13dump-ir: rename -fdump-linearize to -fdump-irLuc Van Oostenryck1-1/+1
2017-06-15fix: add missing examine in evaluate_dereference()Luc Van Oostenryck1-0/+19
2017-05-19fix implicit zero initializer.Luc Van Oostenryck3-0/+171
2017-05-19add test case for linearize_initializer() of bitfieldsLuc Van Oostenryck1-0/+27
generated by cgit 1.2.3-korg (git 2.43.0) at 2025-11-02 19:22:10 +0000