aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear
AgeCommit message (Expand)AuthorFilesLines
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-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