search for: _tmp2

Hi, It seems that opt thinks that the two pointers %_tmp2 = getelementptr [3 x i16], [3 x i16]* %a, i16 0, i64 1 and %_tmp4 = getelementptr [3 x i16], [3 x i16]* %a, i16 0, i16 1 does not alias? Is this intended or a bug? Details below: -------------- I found this when I ran opt on: define i16 @f () { %a = alloca [3 x i16] ; Write 98 at index...

...>>> Are you trying to return multiple values? >> >> Yes, the intrisic returns a record >> >> %rec6 = type { i16, i16 } >> >> so at instructions selection the original call >> >> %_tmp3 = call %rec6 @llvm.phx.divm.u16.rec6(i16 %_tmp1, i16 %_tmp2) >> >> has been lowered to >> >> t6: i16,i16 = llvm.phx.divm.u16 TargetConstant:i16<3778>, t2, t4 >> >> and the instruction I want to select also returns two values >> >> def divm16_pseudo : MyPseudoInst< >> (outs aNh_0_7:$dst, aN...

...d parameters: opt -S -lint ./alias.ll gave Unusual: noalias argument aliases another argument on the (silly) function: %rec7 = type { i16, i16, i16 } define void @fn1(i16* noalias %p1.1.par, i16* noalias %p2.2.par) { %s.3 = alloca %rec7 %_tmp1 = getelementptr %rec7, %rec7* %s.3, i16 0, i32 1 %_tmp2 = getelementptr %rec7, %rec7* %s.3, i16 0, i32 2 call void @fn1(i16* %_tmp1, i16* %_tmp2) ret void } If accessing fields 0 and 1 instead, with %_tmp1 = getelementptr %rec7, %rec7* %s.3, i16 0, i32 0 %_tmp2 = getelementptr %rec7, %rec7* %s.3, i16 0, i32 1 we don't see the Lint complaint. Re...

...g to get it through. >> >> Thanks again, >> Mikael > > Are you trying to return multiple values? Yes, the intrisic returns a record %rec6 = type { i16, i16 } so at instructions selection the original call %_tmp3 = call %rec6 @llvm.phx.divm.u16.rec6(i16 %_tmp1, i16 %_tmp2) has been lowered to t6: i16,i16 = llvm.phx.divm.u16 TargetConstant:i16<3778>, t2, t4 and the instruction I want to select also returns two values def divm16_pseudo : MyPseudoInst< (outs aNh_0_7:$dst, aNh_0_7:$dst2), (ins aNh_0_7:$src1, aNh_0_7:$src2)>; Both outs are i...

...urn multiple values? >>> >>> Yes, the intrisic returns a record >>> >>> %rec6 = type { i16, i16 } >>> >>> so at instructions selection the original call >>> >>> %_tmp3 = call %rec6 @llvm.phx.divm.u16.rec6(i16 %_tmp1, i16 %_tmp2) >>> >>> has been lowered to >>> >>> t6: i16,i16 = llvm.phx.divm.u16 TargetConstant:i16<3778>, t2, t4 >>> >>> and the instruction I want to select also returns two values >>> >>> def divm16_pseudo : MyPseudoInst<...

...in, >>> Mikael >> >> Are you trying to return multiple values? > > Yes, the intrisic returns a record > > %rec6 = type { i16, i16 } > > so at instructions selection the original call > > %_tmp3 = call %rec6 @llvm.phx.divm.u16.rec6(i16 %_tmp1, i16 %_tmp2) > > has been lowered to > > t6: i16,i16 = llvm.phx.divm.u16 TargetConstant:i16<3778>, t2, t4 > > and the instruction I want to select also returns two values > > def divm16_pseudo : MyPseudoInst< > (outs aNh_0_7:$dst, aNh_0_7:$dst2), > (ins aNh_0_7...

...ous_1373: Type inference contradiction found, merging 'i16' into 'Any' def : Pat<(int_phx_divm_u16 i16:$src1, i16:$src2), ^ So is there a way I can get around this? Before ISel the call to my intrisic looks like %_tmp3 = call %rec6 @llvm.phx.divm.u16.rec6(i16 %_tmp1, i16 %_tmp2) and %rec6 is %rec6 = type { i16, i16 } Then at ISel, before selection the call is lowered to t6: i16,i16 = llvm.phx.divm.u16 TargetConstant:i16<3778>, t2, t4 which fits nicely to my divm16_pseudo that I want to select. Is there any way I can select this with a tablegen pattern, a...

...uot;,inPath,"") # create the content csv file cont1 <- paste("proc contents data=sasds.",inSAS," out=_tmp1(KEEP=NAME TYPE LENGTH VARNUM FORMAT) noprint; run;",sep="") cont2 <- "proc sort data=_tmp1; by varnum; run;" cont3 <- "data _tmp2; set _tmp1; if type=2 then dummy='character'; " cont3 <- paste(cont3,"if type=1 then do; if format in ('DATE','DATETIME') then dummy='date'; ",sep="") cont3 <- paste(cont3,"else dummy='numeric'; end; run;",sep="...

...39;Any' >> def : Pat<(int_phx_divm_u16 i16:$src1, i16:$src2), >> ^ >> >> So is there a way I can get around this? >> >> >> Before ISel the call to my intrisic looks like >> >> %_tmp3 = call %rec6 @llvm.phx.divm.u16.rec6(i16 %_tmp1, i16 %_tmp2) >> >> and %rec6 is >> >> %rec6 = type { i16, i16 } >> >> Then at ISel, before selection the call is lowered to >> >> t6: i16,i16 = llvm.phx.divm.u16 TargetConstant:i16<3778>, t2, t4 >> >> which fits nicely to my divm16_pseudo th...

...nd, merging 'i16' into 'Any' > def : Pat<(int_phx_divm_u16 i16:$src1, i16:$src2), > ^ > > So is there a way I can get around this? > > > Before ISel the call to my intrisic looks like > > %_tmp3 = call %rec6 @llvm.phx.divm.u16.rec6(i16 %_tmp1, i16 %_tmp2) > > and %rec6 is > > %rec6 = type { i16, i16 } > > Then at ISel, before selection the call is lowered to > > t6: i16,i16 = llvm.phx.divm.u16 TargetConstant:i16<3778>, t2, t4 > > which fits nicely to my divm16_pseudo that I want to select. > > Is th...

Hello all, I observed that BasicAA alias query returns PartialAlias between different fields of a structure. Following is the test program and -print–all-alias-modref-info output: --- ; test.ll target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-unknown-linux-gnu" %"type" = type { [10 x i32], i64 } define void

Yes but this exageration precisely misses the point. Concerning your examples: * I love fread but I think it makes a lot of subjective choices that are best associated with a package. I think it changed a lot with time and can still change, and we have great developers willing to maintain it and be reactive regarding feature requests or bug reports *.group_by() adds a class that works only (or

> On Mar 30, 2016, at 11:35, Mikael Holmén <mikael.holmen at ericsson.com> wrote: > > i16 (divm16_pseudo …) > > stuff? > > I've tried > (i16, i16 (divm16_pseudo i16:$src1, i16:$src2) > and > ((i16, i16) (divm16_pseudo i16:$src1, i16:$src2) > and a few other variants without managing to get it through. > > Thanks again, > Mikael Are you

...R. Duncan Murdoch > > If > > iris %>% group_by(Species) %>% summarize(mean_sl = mean(Sepal.Length)) %>% > filter(mean_sl > 5) > > > were *parsed* as, for example, into > > local({ > . = group_by(iris, Species) > > ._tmp2 = summarize(., mean_sl = mean(Sepal.Length)) > > filter(., mean_sl > 5) > }) > > > > > Then debuggiing (once you knew that) would be much easier but behavaior > would be the same as it is now. There could even be some sort of > step-through...

...ent them in the parser. > > If > > iris %>% group_by(Species) %>% summarize(mean_sl = mean(Sepal.Length)) %>% > filter(mean_sl > 5) > > > were *parsed* as, for example, into > > local({ > . = group_by(iris, Species) > > ._tmp2 = summarize(., mean_sl = mean(Sepal.Length)) > > filter(., mean_sl > 5) > }) > > > > > Then debuggiing (once you knew that) would be much easier but behavaior > would be the same as it is now. There could even be some sort of > step-through-pip...

...es to the pipes relating to debugging, which would be to implement them in the parser. If iris %>% group_by(Species) %>% summarize(mean_sl = mean(Sepal.Length)) %>% filter(mean_sl > 5) were *parsed* as, for example, into local({ . = group_by(iris, Species) ._tmp2 = summarize(., mean_sl = mean(Sepal.Length)) filter(., mean_sl > 5) }) Then debuggiing (once you knew that) would be much easier but behavaior would be the same as it is now. There could even be some sort of step-through-pipe debugger at that point added as well for addit...

...;> >> iris %>% group_by(Species) %>% summarize(mean_sl = mean(Sepal.Length)) %>% >> filter(mean_sl > 5) >> >> >> were *parsed* as, for example, into >> >> local({ >> . = group_by(iris, Species) >> >> ._tmp2 = summarize(., mean_sl = mean(Sepal.Length)) >> >> filter(., mean_sl > 5) >> }) >> >> >> >> >> Then debuggiing (once you knew that) would be much easier but behavaior >> would be the same as it is now. There could even be s...

...nt them in the > parser. > > If > > iris %>% group_by(Species) %>% summarize(mean_sl = mean(Sepal.Length)) %>% > filter(mean_sl > 5) > > > were *parsed* as, for example, into > > local({ > . = group_by(iris, Species) > > ._tmp2 = summarize(., mean_sl = mean(Sepal.Length)) > > filter(., mean_sl > 5) > }) > > > > > Then debuggiing (once you knew that) would be much easier but behavaior > would be the same as it is now. There could even be some sort of > step-through-pipe d...

...gt;> >> iris %>% group_by(Species) %>% summarize(mean_sl = mean(Sepal.Length)) %>% >> filter(mean_sl > 5) >> >> >> were *parsed* as, for example, into >> >> local({ >> . = group_by(iris, Species) >> >> ._tmp2 = summarize(., mean_sl = mean(Sepal.Length)) >> >> filter(., mean_sl > 5) >> }) >> >> >> >> >> Then debuggiing (once you knew that) would be much easier but behavaior >> would be the same as it is now. There could even be som...