62 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=licm < %s | FileCheck %s3 4define i32 @j(i1 %arg) {5; CHECK-LABEL: @j(6; CHECK-NEXT: entry:7; CHECK-NEXT: br label [[FOR_COND:%.*]]8; CHECK: for.cond:9; CHECK-NEXT: callbr void asm sideeffect "", "!i,~{dirflag},~{fpsr},~{flags}"()10; CHECK-NEXT: to label [[COND_TRUE_I:%.*]] [label %for.end.split.loop.exit1]11; CHECK: cond.true.i:12; CHECK-NEXT: br i1 [[ARG:%.*]], label [[FOR_END_SPLIT_LOOP_EXIT:%.*]], label [[FOR_COND]]13; CHECK: for.end.split.loop.exit:14; CHECK-NEXT: [[ASMRESULT1_I_I_LE:%.*]] = extractvalue { i8, i32 } zeroinitializer, 115; CHECK-NEXT: br label [[FOR_END:%.*]]16; CHECK: for.end.split.loop.exit1:17; CHECK-NEXT: [[PHI_PH2:%.*]] = phi i32 [ undef, [[FOR_COND]] ]18; CHECK-NEXT: br label [[FOR_END]]19; CHECK: for.end:20; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[ASMRESULT1_I_I_LE]], [[FOR_END_SPLIT_LOOP_EXIT]] ], [ [[PHI_PH2]], [[FOR_END_SPLIT_LOOP_EXIT1:%.*]] ]21; CHECK-NEXT: ret i32 [[PHI]]22;23entry:24 br label %for.cond25 26for.cond: ; preds = %cond.true.i, %entry27 callbr void asm sideeffect "", "!i,~{dirflag},~{fpsr},~{flags}"()28 to label %cond.true.i [label %for.end]29 30cond.true.i: ; preds = %for.cond31 %asmresult1.i.i = extractvalue { i8, i32 } zeroinitializer, 132 br i1 %arg, label %for.end, label %for.cond33 34for.end: ; preds = %cond.true.i, %for.cond35 %phi = phi i32 [ %asmresult1.i.i, %cond.true.i ], [ undef, %for.cond ]36 ret i32 %phi37}38 39declare void @use_i32(i32)40 41define void @pr64215() {42; CHECK-LABEL: @pr64215(43; CHECK-NEXT: entry:44; CHECK-NEXT: [[X:%.*]] = callbr i32 asm sideeffect "", "=r"()45; CHECK-NEXT: to label [[LOOP_PREHEADER:%.*]] []46; CHECK: loop.preheader:47; CHECK-NEXT: [[ADD:%.*]] = add i32 [[X]], 148; CHECK-NEXT: br label [[LOOP:%.*]]49; CHECK: loop:50; CHECK-NEXT: call void @use_i32(i32 [[ADD]])51; CHECK-NEXT: br label [[LOOP]]52;53entry:54 %x = callbr i32 asm sideeffect "", "=r"()55 to label %loop []56 57loop:58 %add = add i32 %x, 159 call void @use_i32(i32 %add)60 br label %loop61}62