aboutsummaryrefslogtreecommitdiffstatshomepage
AgeCommit message (Expand)AuthorFilesLines
2021-04-13scheck: allow multiple assertionsLuc Van Oostenryck2-6/+3
2021-04-13scheck: assert_eq()Luc Van Oostenryck3-0/+17
2021-04-13scheck: add a symbolic checkerLuc Van Oostenryck7-0/+356
2021-04-13.gitignore is a bit too greedyLuc Van Oostenryck1-17/+17
2021-04-13builtin: define a symbol_op for a generic op acting on integerLuc Van Oostenryck2-0/+65
2021-04-10export declare_builtins()Luc Van Oostenryck2-1/+3
2021-03-08Merge branch 'uniq-phinode'Luc Van Oostenryck9-65/+16
2021-03-08Merge branch 'ptrlist-generic'Luc Van Oostenryck4-25/+26
2021-03-08phi-sources can only have a single user (or none)Luc Van Oostenryck9-65/+16
2021-03-08ptrlist: change return value of linearize_ptr_list()/ptr_list_to_array()Luc Van Oostenryck2-7/+7
2021-03-06ptrlist: make linearize_ptr_list() genericLuc Van Oostenryck2-2/+8
2021-03-06ptrlist: use ptr_list_nth() instead of linearize_ptr_list()Luc Van Oostenryck1-12/+1
2021-03-06ptrlist: add pop_ptr_list()Luc Van Oostenryck1-0/+6
2021-03-06ptrlist: change TYPEOF() into PTRLIST_TYPE()Luc Van Oostenryck1-5/+5
2021-03-06ptrlist: remove one pointer level from TYPEOF()Luc Van Oostenryck1-4/+4
2021-03-05Merge branch 'slice'Luc Van Oostenryck7-16/+9
2021-03-04Merge branch 'path-norm'Luc Van Oostenryck1-0/+6
2021-03-01Merge branch 'fix-restrict' into nextLuc Van Oostenryck2-1/+23
2021-03-01pre-proc: do some path normalizationLuc Van Oostenryck1-0/+6
2021-02-28liveness: use 'src' for unops instead of 'src1'Luc Van Oostenryck1-1/+1
2021-02-28slice: display the source's size, like for unopsLuc Van Oostenryck1-1/+1
2021-02-28slice: OP_SLICE needs the source's type: make it a kind of unopLuc Van Oostenryck3-10/+5
2021-02-28slice: remove unneeded nr_nrbits from EXPR_SLICELuc Van Oostenryck3-3/+2
2021-02-28slice: remove unneeded len from OP_SLICELuc Van Oostenryck3-4/+3
2021-02-28asm-out0: fix a test failure on 32-bit systemsRamsay Jones1-1/+1
2021-02-28linearize.h: fix some 'selfcheck' warningsRamsay Jones1-2/+2
2021-02-25Merge branch 'objsize'Luc Van Oostenryck5-1/+144
2021-02-25Merge branch 'asm-dom'Luc Van Oostenryck5-24/+97
2021-02-25expand __builtin_object_size()Luc Van Oostenryck4-1/+140
2021-02-24fix eval of the assignment of a non-restricted value to a restricted variableLuc Van Oostenryck2-1/+23
2021-02-21asm-mem: teach dominates() about OP_ASMLuc Van Oostenryck2-1/+6
2021-02-21asm-mem: does it output to memory?Luc Van Oostenryck2-0/+2
2021-02-21asm-mem: does it clobber memory?Luc Van Oostenryck2-1/+8
2021-02-21asm-mem: add testcase for missing reload after asm memopsLuc Van Oostenryck1-0/+15
2021-02-21reorg dominates()Luc Van Oostenryck1-4/+7
2021-02-21asm: output *memory* operands need their address as *input*Luc Van Oostenryck2-9/+23
2021-02-21asm: factor out add_asm_rule() from add_asm_{in,out}put()Luc Van Oostenryck1-11/+12
2021-02-21asm: add testcase for problem with output addressesLuc Van Oostenryck1-0/+26
2021-02-08ptrlist: make ptr_list_nth_entry() generic with ptr_list_nth()Luc Van Oostenryck1-0/+4
2021-01-31Merge branch 'fix-join-cond'Luc Van Oostenryck2-2/+21
2021-01-31fix add_join_conditional() when one of the alternative is VOIDLuc Van Oostenryck2-2/+21
2021-01-28Merge branch 'optim-cmps'Luc Van Oostenryck8-19/+200
2021-01-27Makefile: fix version.h dependenciesKyle Russell6-6/+9
2021-01-26cmps: canonicalize SEL(x > 0, a, -a) --> SEL(x >= 0, a, -a)Luc Van Oostenryck2-1/+14
2021-01-26cmps: canonicalize SEL(x {<,<=} y, a, b) --> SEL(x {>=,>} y, b, a)Luc Van Oostenryck2-1/+7
2021-01-26cmps: canonicalize signed compares with constantLuc Van Oostenryck2-1/+2
2021-01-26cmps: canonicalize SMIN/SMAX +- 1 --> EQ/NELuc Van Oostenryck2-1/+8
2021-01-26cmps: canonicalize signed compares with SMIN/SMAXLuc Van Oostenryck2-1/+8
2021-01-26cmps: simplify signed compares with SMIN or SMAXLuc Van Oostenryck2-1/+17
2021-01-26cmps: add testcases for simplification of signed comparesLuc Van Oostenryck6-0/+106
2021-01-26cmpu: fix canonicalization of unsigned (x {<,>=} C) --> (x {<=,>} C-1)Luc Van Oostenryck1-2/+2
2021-01-26cmps: fix simplification of sext(x) + signed compare of {SMAX,SMIN}Luc Van Oostenryck2-13/+37
2021-01-26cmps: make clearer we're using the operands' sizeLuc Van Oostenryck1-4/+5
2021-01-25Merge branches 'fix-can-move-to' and 'asr-synth' into nextLuc Van Oostenryck2-1/+39
2021-01-24simplify LSR + SEXT into ASRLuc Van Oostenryck2-1/+39
2021-01-24fix possible circular definition with can_move_to()Luc Van Oostenryck1-0/+2
2021-01-23Merge branch 'unnamed-qual'Luc Van Oostenryck1-0/+28
2021-01-23Merge branch 'fix-sext-cmps'Luc Van Oostenryck1-0/+2
2021-01-22handle qualified anonymous structuresLuc Van Oostenryck1-0/+28
2021-01-17fix type of canonicalization of sext + unsigned compareLuc Van Oostenryck1-0/+2
2021-01-02removed an unused parameter for show_symbol_list()Bernd Petrovitsch3-4/+4
2021-01-02shut up a silly -Wmaybe-uninitialized warningLuc Van Oostenryck1-1/+1
2021-01-01Merge branch 'packed'Luc Van Oostenryck20-45/+447
2020-12-31Merge branches 'fix-rem-usage', 'ptrlist-no-mix' and 'diet-bb' into nextLuc Van Oostenryck3-19/+23
2020-12-29fix rem_usage()Luc Van Oostenryck1-1/+1
2020-12-29add helper has_definition()Luc Van Oostenryck1-0/+5
2020-12-29packed: add support for __packed structLuc Van Oostenryck10-13/+14
2020-12-29packed: no out-of-bound access of packed bitfieldsLuc Van Oostenryck2-2/+12
2020-12-29struct-attr: fix: do not ignore struct/union/enum type attributesLuc Van Oostenryck6-5/+2
2020-12-29struct-attr: fix type attribute like 'struct __attr { ... }'Luc Van Oostenryck1-1/+3
2020-12-29struct-attr: prepare to handle attributes at the end of struct definitions (3)Luc Van Oostenryck1-9/+6
2020-12-29struct-attr: prepare to handle attributes at the end of struct definitions (2)Luc Van Oostenryck1-13/+13
2020-12-29struct-attr: prepare to handle attributes at the end of struct definitions (1)Luc Van Oostenryck2-7/+7
2020-12-29apply_ctype: move up its declarationLuc Van Oostenryck1-2/+2
2020-12-29apply_ctype: reverse the order of argumentsLuc Van Oostenryck1-4/+4
2020-12-29apply_ctype: use self-explanatory argument nameLuc Van Oostenryck1-10/+10
2020-12-29add testcases for packed bitfieldsLuc Van Oostenryck6-0/+172
2020-12-29add testcases for packed structuresLuc Van Oostenryck2-0/+57
2020-12-29add testcases for type attributesLuc Van Oostenryck4-0/+91
2020-12-29add testcases for enum attributesLuc Van Oostenryck1-0/+29
2020-12-29add testcases for exotic enum valuesLuc Van Oostenryck1-0/+28
2020-12-29add testcases for dubious enum valuesLuc Van Oostenryck1-0/+18
2020-12-27ptrlist: avoid mixing reverse and non-reverse macrosLuc Van Oostenryck1-12/+17
2020-12-27shrink struct BBLuc Van Oostenryck2-7/+6
2020-12-11Merge branch 'fix-parsing-testsuite-tags'Luc Van Oostenryck3-4/+5
2020-12-11testsuite: fix parsing of tags used in the testcasesLuc Van Oostenryck3-4/+5
2020-12-11Merge branches 'kill-asm' and 'next'Luc Van Oostenryck3-3/+37
2020-12-10move check_access() to late_warnings()Luc Van Oostenryck3-3/+37
2020-12-04fix killing OP_ASMLuc Van Oostenryck1-0/+15
2020-12-02Merge branch 'kill-replace' into nextLuc Van Oostenryck7-74/+64
2020-12-02Merge branches 'fix-kill_dominated_stores' and 'kill-dead-loads' into nextLuc Van Oostenryck2-0/+27
2020-11-29memops: kill dead loads before phi-node conversionLuc Van Oostenryck2-0/+27
2020-11-28fix wrong killing of stores partially dominated by a loadLuc Van Oostenryck2-2/+29
2020-11-28replace convert_load_instruction() by replace_with_pseudo()Luc Van Oostenryck4-14/+10
2020-11-28memops: move rewrite_load_instruction() hereLuc Van Oostenryck3-42/+41
2020-11-28make replace_with_pseudo() externLuc Van Oostenryck2-1/+3
2020-11-28make a header for simplificationLuc Van Oostenryck4-1/+10
2020-11-28let replace_with_pseudo() use kill_instruction()Luc Van Oostenryck1-17/+1
2020-11-28Merge branch 'bit-trans' into nextLuc Van Oostenryck11-17/+504
2020-11-27convert SEL(x & BIT1, BIT2, 0) into SHIFT(x & BIT1, S)Luc Van Oostenryck2-1/+15
2020-11-27add log base 2 function: log2_exact()Luc Van Oostenryck1-0/+7
2020-11-27add helper is_pow2()Luc Van Oostenryck1-0/+9
2020-11-27add helper is_power_of_2()Luc Van Oostenryck1-0/+5
2020-11-27factorize SEL(x, OP(y,z), y) into OP(SEL(x, z, 0), y)Luc Van Oostenryck2-1/+40
2020-11-27add testscases for 'bits translation' optimizationLuc Van Oostenryck2-0/+44
2020-11-27factorize SHIFT(x, s) OP SHIFT(y, s) into SHIFT((x OP y), s)Luc Van Oostenryck4-3/+27
2020-11-27factorize (x OP1 z) OP2 (y OP1 z) into (x OP2 y) OP1 zLuc Van Oostenryck5-4/+78
2020-11-27refactor simplify_add() to avoid code duplicationLuc Van Oostenryck1-13/+9
2020-11-27refactor simplify_add() to avoid code duplication (preparation)Luc Van Oostenryck1-5/+2
2020-11-27add helper replace_binop()Luc Van Oostenryck1-0/+17
2020-11-27add helper make_insn_pair() & swap_insn()Luc Van Oostenryck1-0/+31
2020-11-27reassoc: add helper can_move_to()Luc Van Oostenryck1-0/+37
2020-11-27add testscases for some factorization of distributive operationsLuc Van Oostenryck7-0/+193
2020-11-26Merge branch 'fix-trivial-phi' into nextLuc Van Oostenryck2-2/+22
2020-11-26fix trivial_phi() when the target is before the single valueLuc Van Oostenryck2-2/+22
2020-11-26Merge branch 'ir-symaddr' into nextLuc Van Oostenryck1-4/+4
2020-11-24Merge branch 'optim-not' into nextLuc Van Oostenryck11-23/+200
2020-11-22symaddr: give a type to OP_SYMADDRLuc Van Oostenryck1-4/+4
2020-11-22Merge branch 'cleanup' into nextLuc Van Oostenryck3-21/+8
2020-11-22Merge branch 'optim-cgoto' into nextLuc Van Oostenryck12-6/+159
2020-11-22not: simplify ((x cmp y) {&,|,^} (x !cmp y)) --> {0,1,1}Luc Van Oostenryck2-4/+21
2020-11-22not: simplify (~x {&,|,^} x) --> {0,~0,~0}Luc Van Oostenryck2-4/+63
2020-11-22opcode: add helpers opcode_negate() & opcode_swap()Luc Van Oostenryck1-0/+10
2020-11-22canon: simplify calculation of canonical orderLuc Van Oostenryck2-15/+29
2020-11-22canon: put PSEUDO_REGs in canonical order tooLuc Van Oostenryck2-1/+3
2020-11-22canon: put PSEUDO_ARGs in canonical order tooLuc Van Oostenryck4-12/+14
2020-11-22not: add testcases for canonicalization & simplification of negationsLuc Van Oostenryck6-0/+73
2020-11-21add a new instruction for label-as-valueLuc Van Oostenryck10-17/+63
2020-11-21simplify CGOTO(SEL(x, L1, L2)) into CBR x, L1, L2Luc Van Oostenryck2-1/+22
2020-11-21simplify OP_COMPUTEDGOTO with unique and known targetLuc Van Oostenryck2-1/+30
2020-11-21simplify kill_insn() of unops and unop-ish instructionsLuc Van Oostenryck1-13/+5
2020-11-21remove unneeded REPEAT_SYMBOL_CLEANUPLuc Van Oostenryck3-8/+3
2020-11-21fix kill_insn(OP_SETVAL)Luc Van Oostenryck1-1/+1
2020-11-21add testcases for COMPUTEDGOTO simplificationLuc Van Oostenryck3-0/+57
2020-11-19Merge branches 'cleanup-postop' and 'cleanup-linearize'Luc Van Oostenryck2-6/+1
2020-11-19Merge branch 'diamond'Luc Van Oostenryck2-2/+114
2020-11-19simplify unrestricted postopLuc Van Oostenryck1-2/+1
2020-11-19Merge branch 'unqual'Luc Van Oostenryck5-2/+77
2020-11-18unqual: statement expressions should drop qualifiersLuc Van Oostenryck2-2/+1
2020-11-18unqual: comma expressions should drop qualifiersLuc Van Oostenryck2-2/+1
2020-11-18unqual: unqualify_type() should check for null ctypesLuc Van Oostenryck1-0/+2
2020-11-18unqual: add testcasesLuc Van Oostenryck4-0/+75
2020-11-18casts should drop qualifiersLuc Van Oostenryck2-0/+27
2020-11-17linearize: remove unneeded forward declarationsLuc Van Oostenryck1-4/+0
2020-11-17Merge branch 'pack-early'Luc Van Oostenryck18-39/+269
2020-11-17simplify CBR-CBR on the same conditionLuc Van Oostenryck1-0/+106
2020-11-17rebuild dominance tree during CFG cleanupLuc Van Oostenryck1-2/+8
2020-11-17cfg: early CFG simplificationLuc Van Oostenryck12-11/+102
2020-11-17cfg: call simplify_memops() unconditionally.Luc Van Oostenryck4-3/+40
2020-11-17cfg: add missing REPEAT_CFG_CLEANUPLuc Van Oostenryck2-1/+2
2020-11-17cfg: remove phi-nodes when merging BBsLuc Van Oostenryck1-0/+23
2020-11-17cfg: remove phi-sources when merging BBsLuc Van Oostenryck2-1/+42
2020-11-15cfg: extract merge_bb() from pack_basic_blocks()Luc Van Oostenryck1-23/+35
2020-11-15cfg: add testcase for phi-adjusting during BB mergeLuc Van Oostenryck1-0/+24
2020-11-15testcase: avoid UNDEFLuc Van Oostenryck1-2/+3
2020-11-14doc: add header for flow simplification related documentationLuc Van Oostenryck2-3/+5
2020-11-16doc: add header for optimization related documentationLuc Van Oostenryck2-2/+7
2020-11-16doc: add some doc to flowgraph.hLuc Van Oostenryck2-0/+21
2020-11-16doc: fix extracted autodoc when short description ends with a ?Luc Van Oostenryck1-2/+3
2020-11-16doc: add some doc about using NULL or VOID in ptrlistsLuc Van Oostenryck1-0/+12
2020-11-16doc: Sphinx's option ':noindex:' have been renamed into ':noindexentry:'Luc Van Oostenryck1-1/+1
2020-11-12linearize: fix a couple of 'selfcheck' warningsRamsay Jones1-0/+2
2020-11-11Merge branch 'debug'Luc Van Oostenryck3-3/+20
2020-11-09Merge branch 'optim-cmp' into nextLuc Van Oostenryck20-237/+582
2020-11-09Merge branch 'optim-sel' into nextLuc Van Oostenryck9-21/+122
2020-11-09fix linear_isdigit()'s itypeLuc Van Oostenryck1-0/+1
2020-11-08select: simplify select(x, x, 0) --> xLuc Van Oostenryck3-9/+5
2020-11-08select: simplify handling of select(x, 0, x) --> 0Luc Van Oostenryck2-5/+11
2020-11-08cmp: simplify compares and sign/zero extendLuc Van Oostenryck3-12/+42
2020-11-08cmp: simplify zext(x) cmpu CLuc Van Oostenryck2-1/+4
2020-11-08cmp: simplify zext(x) cmps CLuc Van Oostenryck2-1/+14
2020-11-08cmp: canonicalize sext(x) cmpu C (with C >= SMAX)Luc Van Oostenryck2-1/+12
2020-11-08cmp: simplify sext(x) cmps {SMAX,SMIN}Luc Van Oostenryck2-1/+14
2020-11-08cmp: simplify zext(x) cmp C --> x cmp CLuc Van Oostenryck4-3/+11
2020-11-08cmp: simplify sext(x) cmp C --> x cmp CLuc Van Oostenryck2-1/+24
2020-11-08cmp: canonicalize unsigned (x {<=,>} SMAX)Luc Van Oostenryck2-1/+4
2020-11-08cmp: canonicalize unsigned compare with UMAX or UMAX-1Luc Van Oostenryck2-1/+8
2020-11-08cmp: simplify unsigned (x {<=,>} UMAX) into {1,0}Luc Van Oostenryck2-1/+5
2020-11-08cmp: canonicalize unsigned (x {<,>=} C) --> (x {<=,>} C-1)Luc Van Oostenryck2-2/+7
2020-11-08cmp: use a few helpers for the simplification of comparesLuc Van Oostenryck1-20/+32
2020-11-08cmp: move some code in a separate function: simplify_compare_constant()Luc Van Oostenryck1-31/+43
2020-11-08cmp: add signed/unsigned to opcode tableLuc Van Oostenryck3-85/+90
2020-11-07simplify SEL(x == y, x, y) and friendsLuc Van Oostenryck2-0/+24
2020-11-07select: simplify handling of constant cond or src1 == src2Luc Van Oostenryck1-8/+6
2020-11-07select: simplify SEL(SEL(x, C1, C2), y, z) --> y (with C1, C2 != 0)Luc Van Oostenryck2-1/+3
2020-11-07select: simplify SEL(SEL(x, C, 0), C, 0) --> SEL(x, C, 0) == condLuc Van Oostenryck1-0/+3
2020-11-07select: simplify SEL(SEL(x, C, 0), y, z) --> SEL(x, y, z) and its dualLuc Van Oostenryck3-2/+20
2020-11-07select: add some testcases for select simplificationLuc Van Oostenryck5-0/+54
2020-11-05cmp: add testcases for the simplification of comparesLuc Van Oostenryck15-0/+293
2020-11-02cmp: adapt testcase for compares' canonicalizationLuc Van Oostenryck1-111/+14
2020-11-01Merge branch 'typed-cmp'Luc Van Oostenryck7-5/+75
2020-11-01linearize __builtin_isdigit()Luc Van Oostenryck4-0/+65
2020-11-01fix usage count in linearize_fma()Luc Van Oostenryck2-4/+4
2020-11-01fix init_linearized_builtins()Luc Van Oostenryck1-1/+1
2020-11-01testsuite: add a new tag: check-output-returnsLuc Van Oostenryck3-0/+33
2020-11-01testsuite: add a new tag: check-output-matchLuc Van Oostenryck3-0/+47
2020-11-01do not call simplify_instruction() if already removedLuc Van Oostenryck2-3/+2
2020-11-07add debug helpers: show_insn_bb() & show_insn_entry()Luc Van Oostenryck1-0/+18
2020-11-01eval_insn: give an explicit type to compare's operandsLuc Van Oostenryck6-7/+30
2020-11-01eval_insn: add testcases for incorrect type in OP_SET_*Luc Van Oostenryck3-0/+47
generated by cgit 1.2.3-korg (git 2.43.0) at 2026-03-01 18:35:57 +0000