search for: return_crit_edg

...ptr inbounds float* %10, i64 %.sum %25 = load float* %24, align 4 %26 = fadd float %23, %25 store float %26, float* %21, align 4 %next_index = add i32 %next_index10, 1 %27 = icmp slt i32 %next_index, %16 br i1 %27, label %code_block8, label %exec_block4.exit_block6_crit_edge exec_block.return_crit_edge: ; preds = %exit_block6 br label %return return: ; preds = %exec_block.return_crit_edge, %block_code ret void }

Le 5 juil. 2013 à 04:11, Tobias Grosser <tobias at grosser.es> a écrit : > On 07/04/2013 01:39 PM, Stéphane Letz wrote: >> Hi, >> >> Our DSL can generate C or directly generate LLVM IR. With LLVM 3.3, we can vectorize the C produced code using clang with -O3, or clang with -O1 then opt -O3 -vectorize-loops. But the same program generating LLVM IR version cannot be

...> %25 = load float* %24, align 4 > %26 = fadd float %23, %25 > store float %26, float* %21, align 4 > %next_index = add i32 %next_index10, 1 > %27 = icmp slt i32 %next_index, %16 > br i1 %27, label %code_block8, label %exec_block4.exit_block6_crit_edge > > exec_block.return_crit_edge: ; preds = %exit_block6 > br label %return > > return: ; preds = %exec_block.return_crit_edge, %block_code > ret void > } > 1) "entry" block is the first block of the function right? 2) do you mean *al...

..._edge, label %bb.nph15.split.bb5.preheader_crit_edge This block has only one predecessor: bb.nph15: ; preds = %entry icmp eq i32 %o, 0 ; <i1>:15 [#uses=2] icmp eq i32 %n, 0 ; <i1>:16 [#uses=2] br i1 %15, label %bb.nph15.return_crit_edge, label %bb.nph15.split For instance, %umax22 is provably equal to %o, as the conditional used by select (%15) is the same as the one used by the conditional branch that brought us there. I tried sccp, condprop and constprop and none of them seems to handle this case. Is there one? Matthieu D...