| ; RUN: opt -passes=gvn -S < %s | FileCheck %s |
| |
| @a = external local_unnamed_addr global i32, align 4 |
| @b = external local_unnamed_addr global i32, align 4 |
| |
| ; Function Attrs: nounwind readnone |
| declare i32* @j() local_unnamed_addr #0 |
| |
| ; CHECK: define {{.*}}@k() |
| |
| define i64 @k() local_unnamed_addr { |
| bb: |
| br i1 undef, label %bb10.preheader, label %bb3 |
| |
| bb10.preheader: ; preds = %bb |
| br label %bb13 |
| |
| bb3: ; preds = %bb |
| %i4 = load i32, i32* @a, align 4 |
| %i5.not = icmp eq i32 %i4, 0 |
| br label %bb7 |
| |
| bb7: ; preds = %bb3 |
| %i8 = tail call i32* @j() |
| br label %bb37 |
| |
| bb13: ; preds = %bb34, %bb10.preheader |
| br i1 undef, label %bb30thread-pre-split, label %bb16 |
| |
| bb16: ; preds = %bb13 |
| %i17 = tail call i32* @j() |
| br i1 undef, label %bb22thread-pre-split, label %bb37.loopexit |
| |
| bb22thread-pre-split: ; preds = %bb16 |
| br label %bb27 |
| |
| bb27: ; preds = %bb22thread-pre-split |
| br i1 undef, label %bb30thread-pre-split, label %bb37.loopexit |
| |
| bb30thread-pre-split: ; preds = %bb27, %bb13 |
| %i31.pr = load i32, i32* @a, align 4 |
| %i32.not2 = icmp eq i32 %i31.pr, 0 |
| br label %bb34 |
| |
| bb34: ; preds = %bb30thread-pre-split |
| br i1 undef, label %bb37.loopexit, label %bb13 |
| |
| bb37.loopexit: ; preds = %bb34, %bb27, %bb16 |
| br label %bb37 |
| |
| bb37: ; preds = %bb37.loopexit, %bb7 |
| %i38 = load i32, i32* @a, align 4 |
| store i32 %i38, i32* @b, align 4 |
| %i39 = tail call i32* @j() |
| unreachable |
| } |
| |
| attributes #0 = { nounwind readnone } |
