mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-27 22:12:47 +01:00
29 lines
802 B
LLVM
29 lines
802 B
LLVM
|
; Here we have a case where there are two loops and LICM is hoisting an
|
||
|
; instruction from one loop into the other loop! This is obviously bad and
|
||
|
; happens because preheader insertion doesn't insert a preheader for this
|
||
|
; case... bad.
|
||
|
|
||
|
; RUN: if as < %s | opt -licm -adce -simplifycfg | dis | grep 'br '
|
||
|
; RUN: then exit 1
|
||
|
; RUN: else exit 0
|
||
|
; RUN: fi
|
||
|
|
||
|
int %main(int %argc) {
|
||
|
br label %bb5
|
||
|
|
||
|
bb5: ; preds = %bb5, %0
|
||
|
%I = phi int [0, %0], [%I2, %bb5]
|
||
|
%I2 = add int %I, 1
|
||
|
%c = seteq int %I2, 10
|
||
|
br bool %c, label %bb5, label %bb8
|
||
|
|
||
|
bb8: ; preds = %bb8, %bb5
|
||
|
%cann-indvar = phi uint [ 0, %bb8 ], [ 0, %bb5 ]
|
||
|
%X = add int %argc, %argc ; Loop invariant
|
||
|
br bool false, label %bb8, label %bb10
|
||
|
|
||
|
bb10: ; preds = %bb8
|
||
|
ret int %X
|
||
|
}
|
||
|
|