OSDN Git Service

2008-01-16 Richard Guenther <rguenther@suse.de>
[pf3gnuchains/gcc-fork.git] / gcc / ChangeLog
1 2008-01-16  Richard Guenther  <rguenther@suse.de>
2
3         PR middle-end/32628
4         * fold-const.c (fold_convert_const_int_from_int): Do not
5         set overflow if that occured only because of a sign extension
6         change when converting from/to a sizetype with the same
7         precision and signedness.
8
9 2008-01-16  Uros Bizjak  <ubizjak@gmail.com>
10
11         PR debug/34249
12         * dwarf2out.c (output_call_frame_info): Move output of FDE initial
13         location address to the correct place.  Update copyright year.
14
15 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
16
17         * lambda-code.c (lambda_transform_legal_p): Handle the case of
18         no dependences in the dependence_relations vector.
19
20 2008-01-16  Jan Hubicka  <jh@suse.cz>
21
22         PR rtl-optimization/31396
23         * regstat.c (regstat_bb_compute_ri): Compute FREQ_CALLS_CROSSED.
24         * cfg.c (dump_reg_info): Print it.
25         * regs.h (struct reg_info_t): add freq_calls_crossed.
26         (REG_FREQ_CALLS_CROSSED): New macro.
27         * global.c (global_alloc): Compute freq_calls_crossed for allocno.
28         (find_reg): Update call of CALLER_SAVE_PROFITABLE.
29         * regmove.c (optimize_reg_copy_1, optimize_reg_copy_2, fixup_match_2,
30         regmove_optimize): Update call crossed frequencies.
31         * local-alloc.c (struct qty): Add freq_calls_crossed.
32         (alloc_qty): Copute freq_calls_crossed.
33         (update_equiv_regs, combine_regs): Update REG_FREQ_CALLS_CROSSED.
34         (find_free_reg): Update call of CALLER_SAVE_PROFITABLE.
35         * ra.h (struct allocno): Add freq_calls_crossed.
36
37 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
38
39         * gcc.c (LINK_COMMAND_SPEC): Add includes and link options for
40         libgomp when compiling with ftree-parallelize-loops.
41         (GOMP_SELF_SPECS): Add -pthread for ftree-parallelize-loops.
42
43 2008-01-16  Richard Guenther  <rguenther@suse.de>
44
45         PR tree-optimization/34769
46         * tree-data-ref.c (initialize_matrix_A): Revert fix for PR34458.
47         * tree.c (int_cst_value): Instead make this function more
48         permissive in what it accepts as valid input.  Document this
49         function always sign-extends the value.
50
51 2008-01-16  Jakub Jelinek  <jakub@redhat.com>
52         Richard Guenther  <rguenther@suse.de>
53
54         PR c/34668
55         * gimplify.c (fold_indirect_ref_rhs): Rename to ...
56         (gimple_fold_indirect_ref_rhs): ... this.
57         (gimple_fold_indirect_ref): New function with foldings
58         that preserve lvalueness.
59         (gimplify_modify_expr_rhs): Call gimple_fold_indirect_ref_rhs.
60         * tree-flow.h (gimple_fold_indirect_ref): Declare.
61         * tree-inline.c (copy_body_r): Use gimple_fold_indirect_ref
62         to fold an INDIRECT_REF, fall back to the old use of
63         fold_indirect_ref_1.
64
65 2008-01-16  Sebastian Pop  <sebastian.pop@amd.com>
66
67         * tree-data-ref.c (subscript_dependence_tester_1): Call 
68         free_conflict_function.
69         (compute_self_dependence): Same.
70
71 2008-01-16  Uros Bizjak  <ubizjak@gmail.com>
72
73         PR debug/34249
74         * debug.h (dwarf2out_switch_text_section): Move declaration from ...
75         * dwarf2out.c (dwarf2out_switch_text_section): ... here.  Make
76         function global.
77         * final.c (final_scan_insn) [NOTE_INSN_SWITCH_TEXT_SECTIONS]:
78         Depending on dwarf2out_do_frame, call dwarf2out_switch_text_section
79         for DWARF2_UNWIND_INFO targets.
80
81 2008-01-16  Richard Guenther  <rguenther@suse.de>
82
83         PR c/34768
84         * c-typeck.c (common_pointer_type): Do not merge inconsistent
85         type qualifiers for function types.
86
87 2008-01-15  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
88
89         * tree-parloops.c (gen_parallel_loop): Fix ommision of declaration for
90         loop_iterator li from previous commit.
91
92 2008-01-15  Sebastian Pop  <sebastian.pop@amd.com>
93
94         * tree-parloops.c (gen_parallel_loop): Free loop bound estimations.
95
96 2008-01-12  Sebastian Pop  <sebastian.pop@amd.com>
97
98         * tree-parloops.c (loop_has_blocks_with_irreducible_flag): New.
99         (parallelize_loops): Don't parallelize irreducible components.
100
101 2008-01-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
102
103         PR c++/24924
104         * c-opts (c_common_post_options): Do not enable CPP
105         flag_pedantic_errors by default.
106         
107 2008-01-14  Eric Botcazou  <ebotcazou@adacore.com>
108
109         PR rtl-optimization/31944
110         * cse.c (remove_pseudo_from_table): New function.
111         (merge_equiv_classes): Use above function to remove pseudo-registers.
112         (invalidate): Likewise.
113
114 2008-01-13  Richard Guenther  <rguenther@suse.de>
115
116         PR middle-end/34601
117         * emit-rtl.c (set_reg_attrs_for_decl_rtl): Use DECL_MODE
118         instead of TYPE_MODE to deal with calls from expand_one_error_var.
119
120 2008-01-13  Uros Bizjak  <ubizjak@gmail.com>
121
122         * gcse.c (cprop_jump): Call validate_unshare_change instead of
123         validate_change to unshare the source of the PC set.
124
125 2008-01-12  Jan Hubicka  <jh@suse.cz>
126
127         PR middle-end/32135
128         * tree-ssa-ccp.c (maybe_fold_offset_to_array_ref): Do not construct
129         references above array bounds.  This might trigger bounds checks for
130         pointers to arrays.
131
132 2008-01-12  Sebastian Pop  <sebastian.pop@amd.com>
133
134         * tree-ssa-ter.c (free_temp_expr_table): Free num_in_part and
135         new_replaceable_dependencies.
136
137 2008-01-12  Doug Kwan  <dougkwan@google.com>
138
139         * c-decl.c: (grokdeclarator): Use OPT_Wignored_qualifiers
140         instead of OPT_Wreturn_type in warning due to ignored return type
141         qualifiers.
142         * c-opt.c (c_common_post_option): Add -Wignored-qualifiers to
143         options included in -Wextra.
144         * c.opt: New option -Wignored_qualifiers.
145         * doc/invoke.texi (Warning Options, -Wextra): Add new option
146         -Wignore_qualifiers.
147         (-Wignored-qualifiers): Document.
148         (-Wreturn-type): Remove description of functionality now handled
149         by -Wignored-qualifiers.
150
151 2008-01-12  Eric Botcazou  <ebotcazou@adacore.com>
152
153         PR ada/33788
154         * fold-const.c (fold_unary) <VIEW_CONVERT_EXPR>: Fold an existing
155         NOP_EXPR if it is between integral types with the same precision.
156
157 2008-01-12  Jan Hubicka  <jh@suse.cz>
158
159         PR other/28023
160         * invoke.texi (max-inline-recursive-depth): Fix default value.
161
162 2008-01-12  Zdenek Dvorak  <ook@ucw.cz>
163
164         * tree-parloops.c (transform_to_exit_first_loop): Cast nit to the
165         correct type.
166
167 2008-01-11  Bob Wilson  <bob.wilson@acm.org>
168         
169         * config/xtensa/xtensa.c (override_options): Set flag_shlib.
170         
171 2008-01-11  James E. Wilson  <wilson@specifix.com>
172
173         PR target/26015
174         * config/vax/elf.h (FRAME_POINTER_CFA_OFFSET): Define.
175
176 2008-01-11  Anatoly Sokolov <aesok@post.ru>
177
178         * config/avr/avr.c (expand_prologue, expand_epilogue): Don't 
179         save/restore frame pointer register and don't use 'call-prologues' 
180         optimization in function with "OS_task" attribute.
181
182 2008-01-11  Eric Botcazou  <ebotcazou@adacore.com>
183
184         PR middle-end/31309
185         * expr.c (copy_blkmode_from_reg): Use a mode suited to the size
186         when copying to memory.
187
188 2008-01-11  Steven Bosscher  <stevenb.gcc@gmail.com>
189
190         PR rtl-optimization/30905
191         * cfgcleanup.c: Include dce.h
192         (crossjumps_occured): New global variable.
193         (try_crossjump_bb): Exit loop after finding a fallthru edge.
194         If something changed, set crossjumps_occured to true.
195         (try_optimize_cfg): Clear crossjumps_occured at the beginning.
196         Don't add/remove fake edges to exit here...
197         (cleanup_cfg): ...but do it here, when crossjumping.
198         Run a fast DCE when successful crossjumps occured in the latest
199         iteration of try_optimize_cfg.
200
201 2008-01-11  Richard Guenther  <rguenther@suse.de>
202
203         * tree-ssa-sccvn.c (struct vn_binary_op_s): Move hashcode near opcode.
204         (struct vn_unary_op_s): Likewise.
205         (vn_reference_insert): Free old reference on hash collision.
206
207 2008-01-10  Raksit Ashok  <raksit@google.com>
208
209         PR rtl-optimization/27971
210         * combine.c (find_split_point): Split PLUS expressions which are
211         inside a MEM rtx, and whose first operand is complex.
212
213 2008-01-10  DJ Delorie  <dj@redhat.com>
214
215         * config/m32c/m32c.c (m32c_hard_regno_nregs_1): Renamed from...
216         (m32c_hard_regno_nregs): ...this, which is now a wrapper.
217         (m32c_hard_regno_ok): Call the underlying function.
218
219 2008-01-10  Richard Guenther  <rguenther@suse.de>
220
221         PR middle-end/34683
222         * tree-cfg.c (tree_merge_blocks): Do not go through the
223         full-blown folding and stmt updating path if we just deal
224         with virtual operands.
225         * tree-ssa-copy.c (may_propagate_copy): Do not short-cut
226         test for abnormal SSA_NAMEs.
227
228 2008-01-10  Andreas Krebbel  <krebbel1@de.ibm.com>
229
230         PR middle-end/34641
231         * reload.c (push_reload): Add assertions.  All constants from
232         reg_equiv_constant should have been used for replacing the respective
233         pseudo earlier.
234         (find_reloads_address): Invoke find_reloads_address_part for
235         constant taken from the reg_equiv_constant array.
236
237 2008-01-10  Steven Bosscher  <stevenb.gcc@gmail.com>
238
239         * tree-ssa-sccvn.h (struct vn_ssa_aux): Make the most accessed
240         field (valnum) the first in the struct.  Replace bools with
241         unit bit fields.
242
243 2008-01-10  Richard Guenther  <rguenther@suse.de>
244
245         PR tree-optimization/34651
246         * tree-sra.c (sra_build_assignment): Sanitize.  Use the correct
247         types and ordering for masking and converting.
248
249 2008-01-09  Sebastian Pop  <sebastian.pop@amd.com>
250
251         PR tree-optimization/34017
252         * lambda-code.c (lambda_loopnest_to_gcc_loopnest): Generate code
253         also for PHI_NODE expressions.
254
255 2008-01-09  Jan Hubicka  <jh@suse.cz>
256
257         PR tree-optimization/34708
258         * tree-inline.c (estimate_num_insns_1): Compute cost of SWITCH_EXPR
259         based on number of case labels.
260         (init_inline_once): Remove switch_cost.
261         * tree-inline.h (eni_weights_d): Remove switch_cost.
262
263 2008-01-09  Richard Guenther  <rguenther@suse.de>
264         Andrew Pinski  <andrew_pinski@playstation.sony.com>
265
266         PR middle-end/30132
267         * gimplify.c (gimplify_cond_expr): Do not create an addressable
268         temporary if an rvalue is ok or an lvalue is not required.
269
270 2008-01-09  Richard Guenther  <rguenther@suse.de>
271
272         PR middle-end/34458
273         * tree-data-ref.c (initialize_matrix_A): Use tree_low_cst,
274         adjust return type.
275
276 2008-01-09  Richard Guenther  <rguenther@suse.de>
277
278         PR middle-end/34679
279         * tree.c (host_integerp): Check for sizetype only if the
280         type is an integer type.
281
282 2008-01-09  Steven Bosscher  <stevenb.gcc@gmail.com>
283
284         PR debug/26364
285         * opts.c (decode_options): Disable inlining of functions called
286         once if not in unit-at-a-time mode.
287
288 2008-01-09  Alexandre Oliva  <aoliva@redhat.com>
289
290         * Makefile.in (dse.o): Remove duplicate $(RECOG_H) dependency.
291
292 2008-01-08  Richard Guenther  <rguenther@suse.de>
293
294         PR middle-end/31863
295         * tree-ssa-structalias.c (push_fields_onto_fieldstack): Bail
296         out early if the result will be unused.
297
298 2008-01-08  Uros Bizjak  <ubizjak@gmail.com>
299
300         PR target/34709
301         Revert:
302
303         2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
304         * config/i386/i386.c (ix86_builtin_reciprocal): Remove check
305         for TARGET_RECIP.       
306         
307 2008-01-08  Jan Sjodin  <jan.sjodin@amd.com>
308         
309         * config/i386/i386.c (k8_cost, amdfam10_cost): Branch costs
310         for vectorization tuned.
311         
312 2008-01-08  Richard Guenther  <rguenther@suse.de>
313
314         PR tree-optimization/34683
315         * tree-ssa-operands.c (operand_build_cmp): Export.
316         * tree-ssa-operands.h (operand_build_cmp): Declare.
317         * tree-vn.c (vuses_compare): Remove.
318         (sort_vuses): Use operand_build_cmp.
319         (sort_vuses_heap): Likewise.
320         * tree-ssa-sccvn.c (vuses_to_vec): Use VEC_reserve, not VEC_alloc
321         to re-use old VEC if available.  Do not sort already sorted VUSEs.
322         (vdefs_to_vec): Do not sort already sorted VDEFs.
323
324 2008-01-08  Jakub Jelinek  <jakub@redhat.com>
325
326         PR middle-end/34694
327         * omp-low.c (copy_var_decl): Copy also DECL_SOURCE_LOCATION.
328
329 2008-01-08  Uros Bizjak  <ubizjak@gmail.com>
330
331         PR target/34702
332         * doc/invoke.texi (i386 and x86-64 Options) [mrecip]: Document
333         limitations of reciprocal sequences on x86 targets.
334
335 2008-01-08  Richard Guenther  <rguenther@suse.de>
336
337         PR tree-optimization/34683
338         * tree-flow-inline.h (var_ann): Remove overzealous asserts.
339
340 2008-01-07  Jakub Jelinek  <jakub@redhat.com>
341
342         PR target/34622
343         * config/darwin.c (darwin_mergeable_string_section): Don't use
344         .cstring if int_size_in_bytes != TREE_STRING_LENGTH.
345
346 2008-01-07  Uros Bizjak  <ubizjak@gmail.com>
347
348         PR target/34682
349         * config/i386/i386.md (neg<mode>2): Rename from negsf2, negdf2 and
350         negxf2.  Macroize expander using X87MODEF mode iterator.  Change
351         predicates of op0 and op1 to register_operand.
352         (abs<mode>2): Rename from abssf2, absdf2 and negxf2.  Macroize
353         expander using X87MODEF mode iterator.  Change predicates of
354         op0 and op1 to register_operand.
355         ("*absneg<mode>2_mixed", "*absneg<mode>2_sse"): Rename from
356         corresponding patterns and macroize using MODEF macro.  Change
357         predicates of op0 and op1 to register_operand and remove
358         "m" constraint. Disparage "r" alternative with "!".
359         ("*absneg<mode>2_i387"): Rename from corresponding patterns and
360         macroize using X87MODEF macro.  Change predicates of op0 and op1
361         to register_operand and remove "m" constraint.  Disparage "r"
362         alternative with "!".
363         (absneg splitter with memory operands): Remove.
364         ("*neg<mode>2_1", "*abs<mode>2_1"): Rename from corresponding
365         patterns and macroize using X87MODEF mode iterator.
366         * config/i386/sse.md (negv4sf2, absv4sf2, neg2vdf2, absv2df2):
367         Change predicate of op1 to register_operand.
368         * config/i386/i386.c (ix86_expand_fp_absneg_operator): Remove support
369         for memory operands.
370
371 2008-01-07  Nathan Froyd  <froydnj@codesourcery.com>
372
373         * config/rs6000/rs6000.h (ASM_CPU_SPEC): Add clause for mcpu=8548.
374
375 2008-01-07  Richard Guenther  <rguenther@suse.de>
376
377         * basic-block.h (struct edge_def): Pair dest_idx with goto_locus
378         fields.
379
380 2008-01-07  Richard Guenther  <rguenther@suse.de>
381
382         PR tree-optimization/34683
383         * tree-ssa-sccvn.c (vuses_to_vec): Pre-allocate the vector of
384         VOPs of the needed size to save memory.  Use VEC_quick_push
385         to save compile-time.
386         (vdefs_to_vec): Likewise.
387
388 2008-01-07  Sa Liu  <saliu@de.ibm.com>
389
390         * config/spu/spu.md (divdf3): Genetate inline code for double
391         division.  The implementation doesn't handle INF or NAN, therefore it
392         only applies when -ffinite-math-only is given.
393
394 2008-01-06  Paolo Carlini  <pcarlini@suse.de>
395
396         PR libstdc++/34680
397         * c-cppbuiltin.c (c_cpp_builtins): Define __GXX_RTTI, if appropriate.
398         * doc/cpp.texi ([Common Predefined Macros]): Document.
399
400 2008-01-06  Uros Bizjak  <ubizjak@gmail.com>
401
402         * config/i386/i386.c (ix86_emit_swsqrtsf): Use negative constants in
403         order to use commutative addition instead of subtraction.
404
405 2008-01-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>
406             Mircea Namolaru  <namolaru@il.ibm.com>
407             Vladimir Yanovsky  <yanov@il.ibm.com>
408             Revital Eres  <eres@il.ibm.com>
409
410         PR tree-optimization/34263
411         * tree-outof-ssa.c (process_single_block_loop_latch,
412         contains_tree_r): New functions.
413         (analyze_edges_for_bb): Call process_single_block_loop_latch
414         function to empty single-basic-block latch block if possible.
415
416 2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
417
418         * config/i386/i386.c (ix86_builtin_reciprocal): Remove check
419         for TARGET_RECIP.
420         (ix86_emit_swsqrtsf): Do not filter out infinity for rsqrt expansion.
421
422 2008-01-05  Richard Sandiford  <rsandifo@nildram.co.uk>
423
424         * c-omp.c (check_omp_for_incr_expr): Handle CONVERT_EXPR.
425
426 2008-01-05  Richard Sandiford  <rsandifo@nildram.co.uk>
427
428         * config/mips/mips.c (mips_in_small_data_p): Reinstate size > 0 check.
429
430 2008-01-05  Jakub Jelinek  <jakub@redhat.com>
431
432         PR tree-optimization/34618
433         * tree-outof-ssa.c (create_temp): Copy over DECL_GIMPLE_REG_P
434         flag from T.
435
436 2008-01-05  Uros Bizjak  <ubizjak@gmail.com>
437
438         PR target/34673
439         * config/i386/i386.c (ix86_emit_swsqrtsf): Swap input operands
440         in the call to gen_rtx_NE.  Remove unneeded VECTOR_MODE_P check.
441         Update copyright year.
442
443         * config/i386/i386.md (rsqrtsf2): Enable for TARGET_SSE_MATH.
444         Update copyright year.
445         * config/i386/sse.md (rsqrtv4sf2): Ditto. Unconditionally expand
446         using NR fixup.
447
448 2008-01-05  Zhouyi Zhou  <zhouzhouyi@FreeBSD.org>
449
450         * tree-vrp.c (find_conditional_asserts): Remove redundant check that
451         edge does not point to current bb before changing need_assert.
452
453 2008-01-04  Richard Guenther  <rguenther@suse.de>
454
455         PR middle-end/34029
456         * tree-cfg.c (verify_expr): Do not look inside ADDR_EXPRs
457         for verifying purposes if they are is_gimple_min_invariant.
458
459 2008-01-04  Aldy Hernandez  <aldyh@redhat.com>
460
461         PR tree-optimization/34448
462         PR tree-optimization/34465
463         * gimplify.c (gimplify_init_constructor): Add new parameter
464         notify_temp_creation.  Use it.
465         (gimplify_modify_expr_rhs): Take volatiles into account when
466         optimizing constructors.
467         Do not optimize constructors if gimplify_init_constructor will dump to
468         memory.
469         * gcc.dg/tree-ssa/pr32901.c: Tests const volatiles.
470         * gcc.c-torture/compile/pr34448.c: New.
471
472 2008-01-04  Jakub Jelinek  <jakub@redhat.com>
473
474         PR gcov-profile/34609
475         * tree-inline.c (declare_return_variable): Set TREE_ADDRESSABLE on
476         return_slot if result is TREE_ADDRESSABLE.
477
478 2008-01-04  Richard Sandiford  <rsandifo@nildram.co.uk>
479
480         * config/mips/mips.md (sqrt_condition): Tweak comment.
481         (recip_condition): Likewise.  Require TARGET_FLOAT64 for DFmode.
482
483 2008-01-03  Tom Tromey  <tromey@redhat.com>
484
485         PR c/34457
486         * c-common.c (c_type_hash): Handle VLAs.
487
488 2008-01-03  Jan Hubicka  <jh@suse.cz>
489
490         PR tree-optimization/31081
491         * tree-inline.c (remap_ssa_name): Initialize uninitialized SSA vars to
492         0 when inlining and not inlining to first basic block.
493         (remap_decl): When var is initialized to 0, don't set default_def.
494         (expand_call_inline): Set entry_bb.
495         * tree-inline.h (copy_body_data): Add entry_bb.
496
497 2008-01-03  Jakub Jelinek  <jakub@redhat.com>
498
499         PR c++/34619
500         * cgraphunit.c (cgraph_build_static_cdtor): set_cfun back to NULL
501         before returning.
502
503         PR tree-optimization/29484
504         * tree-inline.c (inline_forbidden_p_2): New function.
505         (inline_forbidden_p): Disallow inlining if some static var
506         has an address of a local LABEL_DECL in its initializer.
507         * doc/extend.texi (Labels as Values): Document &&foo behaviour
508         vs. inlining.
509
510 2008-01-03  Sebastian Pop  <sebastian.pop@amd.com>
511
512         PR tree-optimization/34635
513         * tree-data-ref.c (add_other_self_distances): Make sure that the
514         evolution step is constant.
515
516 2008-01-03  Jakub Jelinek  <jakub@redhat.com>
517
518         PR middle-end/34608
519         * omp-low.c (expand_omp_parallel): Purge dead EH edges in the child fn.
520
521 2008-01-02  Richard Sandiford  <rsandifo@nildram.co.uk>
522
523         * tree-sra.c (scalarize_init): Insert the generate_element_init
524         statements after the generate_element_zero statements.
525
526 2008-01-02  Richard Guenther  <rguenther@suse.de>
527
528         PR middle-end/34093
529         PR middle-end/31976
530         * tree-ssa-operands.c (ssa_operand_alloc): Also allocate a buffer
531         for very large number of operands instead of ICEing.
532
533 2008-01-02  Arthur Norman <acn1@cam.ac.uk>
534
535         PR target/34013
536         * gcc/config/i386/i386.c (ix86_expand_prologue): Save red-zone
537         while stack probing.
538
539 2008-01-01  Douglas Gregor  <doug.gregor@gmail.com>
540
541         * c-opts.c (sanitize_cpp_opts): Don't warn about "long long" when
542         in C++0x mode.
543
544 2008-01-01  Volker Reichelt  <v.reichelt@netcologne.de>
545
546         PR libmudflap/26442
547         * tree-mudflap.c (mx_register_decls): Guard warning by
548         !DECL_ARTIFICIAL check.
549
550 2008-01-01  Jakub Jelinek  <jakub@redhat.com>
551
552         * config/i386/sse.md (sse5_pperm, sse5_pperm_pack_v2di_v4si,
553         sse5_pperm_pack_v4si_v8hi, sse5_pperm_pack_v8hi_v16qi,
554         sse5_perm<mode>): Fix constraints.