aboutsummaryrefslogtreecommitdiffstatshomepage
AgeCommit message (Expand)AuthorFilesLines
2018-08-25add testcase for accesses to volatile bitfieldsLuc Van Oostenryck1-0/+17
2018-08-25Merge branch 'ssa' into tipLuc Van Oostenryck53-376/+1439
2018-08-25testsuite: remove useless test for loop-linearizationLuc Van Oostenryck1-136/+0
2018-08-25Merge branch 'kill-dead-stores' into tipLuc Van Oostenryck7-22/+214
2018-08-24Merge branches 'optim-trunc-or' and 'optim-mask-shift-or' into tipLuc Van Oostenryck5-22/+61
2018-08-24simplify TRUNC(SHIFT(a | b, S), N)Luc Van Oostenryck3-2/+6
2018-08-24simplify AND(SHIFT(a | b, S), M)Luc Van Oostenryck3-2/+18
2018-08-23prepare simplification of MASK(SHIFT(a | b, S), M)Luc Van Oostenryck1-4/+22
2018-08-23doc: extend simplification notationLuc Van Oostenryck1-13/+15
2018-08-22simplify TRUNC((x & M') | y, N)Luc Van Oostenryck5-4/+8
2018-08-22Merge branches 'optim-shift-and' and 'optim-bitfield' into tipLuc Van Oostenryck39-45/+723
2018-08-22simplify ((x & M) << S) when (M << S) == (-1 << S)Luc Van Oostenryck2-1/+2
2018-08-22simplify ((x & M) << S) when (M << S) == 0Luc Van Oostenryck2-1/+11
2018-08-22simplify ((x & M) >> S) when (M >> S) == (-1 >> S)Luc Van Oostenryck2-1/+2
2018-08-22simplify ((x & M) >> S) when (M >> S) == 0Luc Van Oostenryck2-2/+5
2018-08-22use an intermediate mask in simplify_shift()Luc Van Oostenryck1-3/+3
2018-08-22add testcases for {LSR,SHL}(AND(x, M), S) with shared AND(x, M)Luc Van Oostenryck4-0/+66
2018-08-22simplify SHL((x & M') | y, S)Luc Van Oostenryck8-7/+4
2018-08-22simplify OP((x | C), K) when (C & M) != CLuc Van Oostenryck2-1/+4
2018-08-22simplify OP((x | C), K) when (C & M) == MLuc Van Oostenryck2-1/+4
2018-08-22simplify OP((x | C), K) when (C & M) == 0Luc Van Oostenryck3-2/+9
2018-08-22simplify OP(((x & M') | y), K) when (M' & M) != M'Luc Van Oostenryck4-3/+5
2018-08-22simplify OP(((x & M') | y), K) when (M' & M) == MLuc Van Oostenryck4-3/+8
2018-08-22move opcode test inside simplify_mask_or_and()Luc Van Oostenryck1-3/+7
2018-08-22allow simplification of OP(((x & y) | (a & M')), K)Luc Van Oostenryck4-5/+5
2018-08-22switch return order in simplify_mask_or_and()Luc Van Oostenryck1-6/+5
2018-08-22document simplify_mask_or() & simplify_mask_or_and()Luc Van Oostenryck1-0/+21
2018-08-22use better names for simplify_mask_or_and() varsLuc Van Oostenryck1-3/+4
2018-08-22add simplify_mask_or()Luc Van Oostenryck1-16/+14
2018-08-22unify simplify_lsr_or() & simplify_and_or_mask()Luc Van Oostenryck1-33/+23
2018-08-22add testcases for bitfield & AND/OR simplificationLuc Van Oostenryck36-0/+625
2018-08-22add testcase for (((x & M') | (y & M'')) & M)Luc Van Oostenryck2-0/+23
2018-08-21doc: add doc for simplification notationLuc Van Oostenryck2-0/+29
2018-08-21doc: reword doc for replace_pseudo()Luc Van Oostenryck1-1/+1
2018-08-21doc: convert existing simplify.c doc into ReST autodocLuc Van Oostenryck1-36/+43
2018-08-21doc: automatically insert the blank line for listsLuc Van Oostenryck1-0/+3
2018-08-21doc: simplify the creation of the viewlistLuc Van Oostenryck1-6/+5
2018-08-17Merge branches 'optim-shl-lsr' and 'optim-trunc-trunc' into tipLuc Van Oostenryck2-2/+19
2018-08-17simplify TRUNC(TRUNC(x))Luc Van Oostenryck2-1/+3
2018-08-17reorganize simplification of ZEXT(TRUNC(x))Luc Van Oostenryck1-2/+4
2018-08-17simplify ((x >> S) << S)Luc Van Oostenryck2-1/+7
2018-08-17reorganize shift-shift simplificationLuc Van Oostenryck1-6/+8
2018-08-17simpler guard in LSR-SHL simplificationLuc Van Oostenryck1-3/+1
2018-08-16add testcase for TRUNC(TRUNC(x)) simplificationLuc Van Oostenryck1-0/+13
2018-08-16add testcase for ((x >> S) << S) simplificationLuc Van Oostenryck1-0/+15
2018-08-16rename testcase for ((x << S) >> S) simplificationLuc Van Oostenryck1-1/+1
2018-08-08Merge branches 'fix-inc-dec-size' and 'optim-mask' into tipLuc Van Oostenryck10-104/+192
2018-08-08simplify (x & M) >> S to (x >> S) & (M >> S)Luc Van Oostenryck2-1/+14
2018-08-08simplify (x << S) >> S into x & (-1 >> S)Luc Van Oostenryck4-11/+14
2018-08-08simplify ((x & M) | y) >> S to (y >> S) when (M >> S) == 0Luc Van Oostenryck2-1/+24
2018-08-08simplify ((x & M') | y ) & M into (y & M) when (M' & M) == 0Luc Van Oostenryck2-1/+23
2018-08-08reorg code for shift-shift simplificationLuc Van Oostenryck1-5/+10
2018-08-07use multi_users() instead on nbr_users()Luc Van Oostenryck1-3/+3
2018-08-07Merge branch 'fix-logical-extra' into tipLuc Van Oostenryck17-59/+509
2018-08-07optim: add a few more testcases for shift & maskLuc Van Oostenryck1-0/+15
2018-08-07avoid infinite simplification loops of the second kindLuc Van Oostenryck1-2/+3
2018-08-07fix bad indentation in linearize_inc_dec()Luc Van Oostenryck1-1/+1
2018-08-07fix instruction size & type in linearize_inc_dec()Luc Van Oostenryck3-69/+80
2018-08-07put back the bitfield base type into struct access_dataLuc Van Oostenryck1-5/+7
2018-08-07expand linearize_position() into linearize_initializer()Luc Van Oostenryck1-9/+2
2018-08-06limit the mask used for bitfield insertionLuc Van Oostenryck2-7/+8
2018-08-06cast: fix warning position in cast_pseudo()Luc Van Oostenryck3-6/+7
2018-08-06boolean conversion of boolean value is a no-opLuc Van Oostenryck2-6/+8
2018-08-06simplify AND(SETCC(x,y), M)Luc Van Oostenryck2-1/+5
2018-08-06simplify TRUNC(SETCC(x,y), N)Luc Van Oostenryck2-1/+2
2018-08-06simplify SEXT(SETCC(x,y), N)Luc Van Oostenryck2-1/+4
2018-08-06simplify ZEXT(SETCC(x,y), N)Luc Van Oostenryck4-8/+16
2018-08-06simplify SETNE(TRUNC(x,N),{0,1})Luc Van Oostenryck2-1/+17
2018-08-06simplify SETNE(AND(X,1),0) to AND(X,1)Luc Van Oostenryck2-1/+10
2018-08-06simplify linearize_logical()Luc Van Oostenryck2-119/+82
2018-08-06expand linearize_conditional() into linearize_logical()Luc Van Oostenryck2-144/+158
2018-08-06fix linearize_conditional() for logical opsLuc Van Oostenryck2-5/+13
2018-08-06conditional branches can't accept arbitrary expressionsLuc Van Oostenryck4-30/+30
2018-08-06protect add_convert_to_bool() against bad types / invalid expressionsLuc Van Oostenryck1-0/+2
2018-08-06fix size corruption when simplifing 'x != 0' to 'x'Luc Van Oostenryck1-1/+1
2018-08-04Merge branch 'list-optims' (early part) into tipLuc Van Oostenryck6-13/+134
2018-08-04add testcase for linearize_logical()Luc Van Oostenryck8-0/+418
2018-07-28Merge branch 'optim-setne' into tipLuc Van Oostenryck5-52/+64
2018-07-28simplify 'x != 0' or 'x == 1' to 'x'Luc Van Oostenryck3-37/+27
2018-07-28simplify SET{EQ,NE}(SEXT(x, N),{0,1})Luc Van Oostenryck2-2/+5
2018-07-28simplify SET{EQ,NE}(ZEXT(x, N),{0,1})Luc Van Oostenryck2-11/+7
2018-07-25cleanup of simplify_seteq_setne(): remove tmp varsLuc Van Oostenryck1-5/+2
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 Oostenryck25-34/+523
2018-07-25Merge branch 'optim-shift' into tipLuc Van Oostenryck16-20/+755
2018-07-25shift: simplify ASR(ZEXT(X, N), C)Luc Van Oostenryck2-0/+23
2018-07-25shift: avoid simplification of ASR(LSR(x,0),N)Luc Van Oostenryck1-1/+1
2018-07-25shift: simplify ASR(LSR(x,N),N')Luc Van Oostenryck2-1/+46
2018-07-25shift: simplify LSR(LSR(x,N),N') & friendsLuc Van Oostenryck2-1/+195
2018-07-25add lookup_ptr_list_entry()Luc Van Oostenryck4-9/+27
2018-07-25add ptr_list_multiple()Luc Van Oostenryck4-1/+28
2018-07-25add ptr_list_empty()Luc Van Oostenryck4-2/+28
2018-07-25kill dead OP_FADD & friendsLuc Van Oostenryck1-0/+7
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-25add copy_ptr_list()Luc Van Oostenryck3-1/+51
2018-07-24use "%Le" to display floatsLuc Van Oostenryck6-25/+25
2018-07-23big-shift: do not optimize over-sized ASRsLuc Van Oostenryck1-0/+2
2018-07-23big-shift: do not optimize negative shiftsLuc Van Oostenryck1-0/+2
2018-07-23big-shift: fix warning message for negative or over-sized shiftsLuc Van Oostenryck3-18/+30
2018-07-23big-shift: move shift count check in a separate functionLuc Van Oostenryck1-5/+16
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-23bits: add helpers for zero & sign-extensionLuc Van Oostenryck3-0/+70
2018-07-23cast: simplify SEXT(ZEXT(x,N),N')Luc Van Oostenryck2-1/+3
2018-07-23cast: simplify ZEXT(ZEXT(x,N),N')Luc Van Oostenryck2-1/+6
2018-07-23cast: simplify SEXT(SEXT(x,N),N')Luc Van Oostenryck2-1/+5
2018-07-23cast: simplify AND(ZEXT(x,M),N)Luc Van Oostenryck3-3/+34
2018-07-23cast: simplify [ZS]EXT(AND(x,M),N)Luc Van Oostenryck4-3/+24
2018-07-23cast: preserve the sizes of TRUNC(AND(x,M),N)Luc Van Oostenryck2-7/+11
2018-07-23cast: use a switch to handle TRUNC(AND(x,M),N) in simplify_cast()Luc Van Oostenryck1-7/+11
2018-07-23cast: do not compare sizes, test the opcodeLuc Van Oostenryck1-1/+1
2018-07-23cast: fix shift signedness in cast simplificationLuc Van Oostenryck1-1/+2
2018-07-23cast: simplify [SZ]EXT + TRUNC to a smaller/greater sizeLuc Van Oostenryck3-3/+4
2018-07-23cast: simplify [SZ]EXT + TRUNC to original sizeLuc Van Oostenryck2-1/+10
2018-07-23bitfield: extract linearize_bitfield_insert()Luc Van Oostenryck1-11/+19
2018-07-23bitfield: extract linearize_bitfield_extract()Luc Van Oostenryck1-6/+14
2018-07-23add testcases for casts & bitfield insertion/extractionLuc Van Oostenryck21-0/+391
2018-07-23extract nbr_users() from unssa.cLuc Van Oostenryck3-7/+7
2018-07-23big-shift: add -Wshift-count-{negative,overflow}Luc Van Oostenryck5-1/+25
2018-07-23big-shift: do not truncate the count when checking itLuc Van Oostenryck2-6/+8
2018-07-23big-shift: fix evaluation of shift-assignLuc Van Oostenryck1-0/+5
2018-07-23big-shift: fix warning message for negative shift countLuc Van Oostenryck2-19/+23
2018-07-23big-shift: use the type width for too big shiftLuc Van Oostenryck2-14/+47
2018-07-23big-shift: simplify over-sized OP_SHLsLuc Van Oostenryck2-0/+9
2018-07-23big-shift: simplify over-sized OP_LSRsLuc Van Oostenryck3-10/+45
2018-07-23big-shift: reuse simplify_asr() for LSR & SHLLuc Van Oostenryck2-4/+12
2018-07-23big-shift: reorder the tests in simplify_asr()Luc Van Oostenryck1-3/+5
2018-07-23big-shift: do not simplify over-sized OP_ASR to zeroLuc Van Oostenryck2-1/+2
2018-07-22big-shift: also check shift count of shift-assignmentLuc Van Oostenryck2-1/+68
2018-07-22big-shift: use the base type for shift-too-big warningLuc Van Oostenryck1-0/+2
2018-07-22big-shift: move the check into check_shift_count()Luc Van Oostenryck1-5/+5
2018-07-21big-shift: don't take the modulo at expand timeLuc Van Oostenryck1-5/+2
2018-07-21big-shift: do not evaluate negative or over-sized shiftsLuc Van Oostenryck1-0/+6
2018-07-21big-shift: mark out-of-range OP_{ASR,LSR,SHL} as taintedLuc Van Oostenryck2-1/+21
2018-07-21big-shift: add test for shifts with bad countLuc Van Oostenryck2-0/+95
2018-07-13remove obsolete comment: /* Dummy pseudo allocator */Luc Van Oostenryck1-1/+0
2018-07-13no need to assign ad->type for EXPR_POSLuc Van Oostenryck1-1/+0
2018-07-13remove unused struct access_data::posLuc Van Oostenryck1-4/+0
2018-07-13remove unused finish_address_gen()Luc Van Oostenryck1-10/+0
2018-07-01ssa: phi worklistLuc Van Oostenryck3-10/+35
2018-07-01ssa: remove unused simplify_symbol_usage()Luc Van Oostenryck1-278/+0
2018-07-01ssa: activate the new SSA conversionLuc Van Oostenryck11-11/+4
2018-07-01ssa: phase 3: rename phi-nodesLuc Van Oostenryck1-0/+36
2018-07-01ssa: phase 2: rename load & storesLuc Van Oostenryck1-0/+63
2018-07-01ssa: phase 1: phi-nodes placementLuc Van Oostenryck5-0/+289
2018-07-01ptrmap: add type-safe interfaceLuc Van Oostenryck1-0/+16
2018-07-01ptrmap: core implementationLuc Van Oostenryck3-0/+122
2018-07-01add insert_phi_node()Luc Van Oostenryck2-0/+39
2018-07-01add PSEUDO_UNDEF & undef_pseudo()Luc Van Oostenryck3-1/+18
2018-07-01add new helper: is_integral_type()Luc Van Oostenryck1-0/+18
2018-07-01idf: add test/debug/exampleLuc Van Oostenryck1-0/+27
2018-07-01idf: compute the iterated dominance frontierLuc Van Oostenryck3-0/+136
2018-07-01sset: add implementation of sparse setsLuc Van Oostenryck3-0/+85
2018-07-01dom: use domtree for bb_dominates()Luc Van Oostenryck1-24/+3
2018-07-01dom: build the domtree before optimizationLuc Van Oostenryck1-0/+3
2018-07-01dom: add support for dominance queriesLuc Van Oostenryck2-0/+28
2018-07-01dom: add some debugging for the dominance treeLuc Van Oostenryck4-0/+21
2018-07-01dom: calculate the dominance treeLuc Van Oostenryck3-0/+108
2018-07-01graph: add debugging for (reverse) postorder traversalLuc Van Oostenryck4-0/+20
2018-07-01graph: build the CFG reverse postorder traversalLuc Van Oostenryck4-1/+78
2018-07-01testsuite: remove useless test for loop-linearizationLuc Van Oostenryck1-136/+0
2018-07-01testsuite: improve mem2reg testcasesLuc Van Oostenryck19-18/+178
2018-07-01testsuite: add a few more tests catching quadratic behaviourLuc Van Oostenryck3-0/+69
2018-07-01testsuite: reorganize tests for compound literalsLuc Van Oostenryck3-9/+19
2018-07-01kds: clarify kill_dead_stores_bb()Luc Van Oostenryck1-14/+14
2018-06-30kds: fix recursion in kill_dead_stores_bb()Luc Van Oostenryck2-6/+2
2018-06-30kds: shortcut for kill_dead_stores()Luc Van Oostenryck1-0/+27
2018-06-30kds: kill dead stores after memops simplificationLuc Van Oostenryck3-2/+12
2018-06-30kds: add interface for kill_dead_stores()Luc Van Oostenryck2-0/+14
2018-06-30kds: rename kill_dead_stores() to kill_dead_stores_bb()Luc Van Oostenryck1-3/+3
2018-06-30kds: add explanation to kill_dead_stores()Luc Van Oostenryck1-0/+14
2018-06-30kds: add testcases for kill_dead_stores()Luc Van Oostenryck4-0/+131
2018-06-30Merge branch 'cse-cast' into tipLuc Van Oostenryck2-12/+33
2018-06-30fix: remove dead OP_{SETVAL,SETFVAL,SLICE}Luc Van Oostenryck1-0/+9
2018-06-30fix killing OP_SWITCHLuc Van Oostenryck2-0/+18
2018-06-30Merge branch 'cast-optim' into tipLuc Van Oostenryck6-63/+45
2018-06-30cse: let equivalent casts hash & compare identicallyLuc Van Oostenryck1-12/+16
2018-06-29cast: optimize away casts to/from pointersLuc Van Oostenryck4-18/+33
2018-06-29cast: reorganize testcases for cast optimizationLuc Van Oostenryck3-45/+12
2018-06-28bool: remove OP_{AND,OR}_BOOL instructionsLuc Van Oostenryck7-66/+2
2018-06-28bool: generate plain OP_{AND,OR} instead of OP_{AND,OR}_BOOLLuc Van Oostenryck4-29/+54
2018-06-28bool: fix missing boolean context for floatsLuc Van Oostenryck2-2/+55
2018-06-28bool: simplify ZEXT in bool -> int -> boolLuc Van Oostenryck3-35/+41
2018-06-28bool: fix add missing check in simplify_seteq_setne()Luc Van Oostenryck1-1/+4
2018-06-28bool: add testcase for bool simplificationLuc Van Oostenryck1-0/+247
2018-06-28simplify 'x ^ ~0' to '~x'Luc Van Oostenryck2-1/+15
2018-06-28simplify 'x & ~0' to 'x'Luc Van Oostenryck2-0/+9
2018-06-28simplify 'x | ~0' to '~0'Luc Van Oostenryck2-1/+23
2018-06-26add simple testcases for internal infinite loopsLuc Van Oostenryck1-0/+54
2018-06-26cast: simplify TRUNC + ZEXT to ANDLuc Van Oostenryck3-10/+17
2018-06-26cse: move to next comparable instructionLuc Van Oostenryck2-1/+2
2018-06-23cast: keep instruction sizes consistentLuc Van Oostenryck3-12/+200
2018-06-23cast: prepare for more cast simplificationsLuc Van Oostenryck1-7/+10
2018-06-23cast: merge simplification of constant casts with constant unopsLuc Van Oostenryck1-23/+12
2018-06-23cast: simplify simplify_cast()Luc Van Oostenryck1-23/+4
2018-06-23new helper: def_opcode()Luc Van Oostenryck1-0/+7
2018-06-23cse: add testcase for missed opportunityLuc Van Oostenryck1-0/+16
2018-06-23cast: do not try to linearize illegal castsLuc Van Oostenryck1-0/+2
2018-06-23cast: accept null castsLuc Van Oostenryck1-0/+6
generated by cgit 1.2.3-korg (git 2.43.0) at 2026-03-01 20:49:43 +0000