35 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes='require<profile-summary>,function(codegenprepare)' < %s | FileCheck %s3; REQUIRES: aarch64-registered-target4 5; Check that we don't give up if unable to sink the first argument.6 7target triple = "aarch64-linux"8 9declare void @f(ptr, ptr) cold10 11define void @g(i1 %c1, ptr %p, i32 %i) {12; CHECK-LABEL: @g(13; CHECK-NEXT: entry:14; CHECK-NEXT: [[A0:%.*]] = getelementptr ptr, ptr [[P:%.*]], i32 [[I:%.*]]15; CHECK-NEXT: br i1 [[C1:%.*]], label [[IF_THEN:%.*]], label [[EXIT:%.*]]16; CHECK: if.then:17; CHECK-NEXT: [[SUNKADDR:%.*]] = getelementptr i8, ptr [[P]], i64 3218; CHECK-NEXT: call void @f(ptr [[A0]], ptr [[SUNKADDR]])19; CHECK-NEXT: br label [[EXIT]]20; CHECK: exit:21; CHECK-NEXT: ret void22;23entry:24 %a0 = getelementptr ptr, ptr %p, i32 %i25 %a1 = getelementptr ptr, ptr %p, i32 426 br i1 %c1, label %if.then, label %exit27 28if.then:29 call void @f(ptr %a0, ptr %a1)30 br label %exit31 32exit:33 ret void34}35