search for: storemerg

...; check the first element to see if it is 1, which is actually always true since the first element of constant array is 1 br i1 %tobool, label %2, label %4 ; <label>:2 ; true branch store i32 1, i32* %l0; %3 = load i32* %l0; br label %4 ; <label>:4 %storemerge = phi i32 [ %3, %2 ], [ 0, %entry ] store i32 %storemerge, i32* %l0 ret void } --- I ran opt -O3 simple_ir.txt -S, and got: --- ; ModuleID = 'simple_ir3.txt' @f.b = constant [1 x i32] [i32 1], align 4 ; Function Attrs: nounwind define void @f(i32* nocapture %l0) #0 { entry: %fc_...

...the first element of >> constant array is 1 >> br i1 %tobool, label %2, label %4 >> >> ; <label>:2 ; true branch >> store i32 1, i32* %l0; >> %3 = load i32* %l0; >> br label %4 >> >> ; <label>:4 >> %storemerge = phi i32 [ %3, %2 ], [ 0, %entry ] >> store i32 %storemerge, i32* %l0 >> ret void >> } >> --- >> >> I ran opt -O3 simple_ir.txt -S, and got: >> >> --- >> ; ModuleID = 'simple_ir3.txt' >> >> @f.b = constant [1 x i32] [...

...for example, when both of them are not useful anymore. Ok, the problem is: I've always had explicitly invoked opt enabling, at least, -dce -adce -globaldce and -die, and I'm still getting a resultant code with some instructions like: store i8 undef, i8* %out.1107, align 1, !tbaa !1 and %storemerge = phi i8 [ %conv46, %if.else ], [ %call, %if.then ], where %storemerge has no uses. So, is there any other dce variant I should be enabling for opt? Better yet, is this the correct behavior for all the dce variants I enabled in opt? Thanks, -- Cristianno Martins PhD Student of Computer Science...

...anymore. > > Ok, the problem is: I've always had explicitly invoked opt enabling, at least, > -dce -adce -globaldce and -die, and I'm still getting a resultant code with some > instructions like: > > store i8 undef, i8* %out.1107, align 1, !tbaa !1 > > and > > %storemerge = phi i8 [ %conv46, %if.else ], [ %call, %if.then ], > where %storemerge has no uses. > > So, is there any other dce variant I should be enabling for opt? Better yet, is > this the correct behavior for all the dce variants I enabled in opt? try running the instcombine pass too. I'...

....declare( { }* %tm8, { }* bitcast (%llvm.dbg.variable.type* @llvm.dbg.variable91 to { }*) ) ... cond_true: %tmp15 = call %struct.tm* @localtime( i64* %curr ) br label %cond_next cond_false: %tmp16 = call %struct.tm* @gmtime( i64* %curr ) br label %cond_next cond_next: %storemerge = phi %struct.tm* [ %tmp15, %cond_true ], [ %tmp16, %cond_false ] store %struct.tm* %storemerge, %struct.tm** %iftmp.0 %tmp17 = load %struct.tm** %iftmp.0 store %struct.tm* %tmp17, %struct.tm** %tm ... ---------------------------------------------- Now, I need to figure out someho...

..., label %if.end11.i, label %if.then6.i if.then6.i: ; preds = %if.end.i257 %and9.i = and i32 %conv.i, 32767 %conv10.i = trunc i32 %and9.i to i16 br label %if.end11.i if.end11.i: ; preds = %if.then6.i, %if.end.i257 %storemerge.i = phi i16 [ %conv10.i, %if.then6.i ], [ %3, %if.end.i257 ] %sign.0.i = phi i16 [ -1, %if.then6.i ], [ 0, %if.end.i257 ] store i16 %storemerge.i, i16* %incdec.ptr1.8.i.i, align 2 %arraydecay12.i = getelementptr inbounds [13 x i16]* %t.i, i32 0, i32 0 %37 = load i16* getelementptr inbounds...

...4 = metadata !{metadata !"ISPDIL_MTHD_~IndexWriter"} !2495 = metadata !{metadata !"ISPDIL_MTHD_Init"} !2496 = metadata !{%"class.lucene::document::Document" zeroinitializer} .... And I have in console: invoke void %16(%"class.lucene::index::IndexWriter"* %storemerge) to label %if.end24 unwind label %lpad, !tbaa !2490 !{metadata !"ISPDIL_MTHD_~IndexWriter"} Question: Why I get data from MD !2494 instead of !2490? P.S. Before this case I have correctly output for CallSite with metadata !2494 Thanks! Yours sincerely, Kadysev Mikhail