search for: end6

...: float = 500001.5, int = 4000011 - for.body: float = 500000.5, int = 4000003 - for.inc: float = 500000.5, int = 4000003 - for.end: float = 1.0, int = 8 - for.cond1: float = 250001.5, int = 2000011 - for.body3: float = 250000.5, int = 2000003 - for.inc4: float = 250000.5, int = 2000003 - for.end6: float = 1.0, int = 8 But if I manually modify the frequencies of both to get close to MAX_INT32, the ratios between the frequencies do not reflect reality. For example, if I change branch_weights in both loops to be 4,294,967,295 and 2,147,483,647 $ bin/opt -analyze -block-freq -S unbiased-bran...

...; preds = %if.end tail call void @abort() #3 unreachable if.end3: ; preds = %if.end %2 = load i32, i32* getelementptr inbounds ([4 x i32], [4 x i32]* @a, i32 0, i32 2), align 4 %cmp4 = icmp eq i32 %2, 2 br i1 %cmp4, label %if.end6, label %if.then5 if.then5: ; preds = %if.end3 tail call void @abort() #3 unreachable if.end6: ; preds = %if.end3 %3 = load i32, i32* getelementptr inbounds ([4 x i32], [4 x i32]* @a, i32 0, i32 3), align 4 %c...

...doing: opt -regions -analyze [...]   [1] entry => if.end End region tree Printing analysis 'Detect single entry single exit regions' for function 'njDecodeSOF': Region tree: [0] entry => <Function Return>   [1] entry => return     [2] if.end => return       [3] if.end6 => return         [4] sw.epilog => return           [5] for.cond => return             [6] if.end62 => if.end69             [6] if.end69 => if.end75             [6] for.end => if.end81             [6] for.cond88 => return               [7] for.end143 => return End region tre...

...] entry => if.end > End region tree > Printing analysis 'Detect single entry single exit regions' for function > 'njDecodeSOF': > Region tree: > [0] entry => <Function Return> > [1] entry => return > [2] if.end => return > [3] if.end6 => return > [4] sw.epilog => return > [5] for.cond => return > [6] if.end62 => if.end69 > [6] if.end69 => if.end75 > [6] for.end => if.end81 > [6] for.cond88 => return > [7] for...