69 lines · plain
1; RUN: opt -passes='require<profile-summary>,function(codegenprepare)' < %s -S | FileCheck %s2 3target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"4target triple = "aarch64--linux-gnu"5 6%struct.match_state = type { i64, i64 }7 8; %add is also promoted by forking an extra sext.9define void @promoteTwoOne(i32 %i, i32 %j, ptr %P1, ptr %P2 ) {10; CHECK-LABEL: @promoteTwoOne11; CHECK-LABEL: entry:12; CHECK: %[[SEXT1:.*]] = sext i32 %i to i6413; CHECK: %[[SEXT2:.*]] = sext i32 %j to i6414; CHECK: %add = add nsw i64 %[[SEXT1]], %[[SEXT2]]15entry:16 %add = add nsw i32 %i, %j17 %s = sext i32 %add to i6418 %addr1 = getelementptr inbounds i64, ptr %P1, i64 %s19 store i64 %s, ptr %addr120 %s2 = sext i32 %i to i6421 %addr2 = getelementptr inbounds i64, ptr %P2, i64 %s222 store i64 %s2, ptr %addr223 ret void24}25 26; Both %add1 and %add2 are promoted by forking extra sexts.27define void @promoteTwoTwo(i32 %i, i32 %j, i32 %k, ptr %P1, ptr %P2) {28; CHECK-LABEL: @promoteTwoTwo29; CHECK-LABEL:entry:30; CHECK: %[[SEXT1:.*]] = sext i32 %j to i6431; CHECK: %[[SEXT2:.*]] = sext i32 %i to i6432; CHECK: %add1 = add nsw i64 %[[SEXT1]], %[[SEXT2]]33; CHECK: %[[SEXT3:.*]] = sext i32 %k to i6434; CHECK: %add2 = add nsw i64 %[[SEXT1]], %[[SEXT3]]35entry:36 %add1 = add nsw i32 %j, %i37 %s = sext i32 %add1 to i6438 %addr1 = getelementptr inbounds i64, ptr %P1, i64 %s39 store i64 %s, ptr %addr140 %add2 = add nsw i32 %j, %k41 %s2 = sext i32 %add2 to i6442 %addr2 = getelementptr inbounds i64, ptr %P2, i64 %s243 store i64 %s2, ptr %addr244 ret void45}46 47define i64 @promoteGEPSunk(i1 %cond, ptr %base, i32 %i) {48; CHECK-LABEL: @promoteGEPSunk49; CHECK-LABEL: entry:50; CHECK: %[[SEXT:.*]] = sext i32 %i to i6451; CHECK: %add = add nsw i64 %[[SEXT]], 152; CHECK: %add2 = add nsw i64 %[[SEXT]], 253entry:54 %add = add nsw i32 %i, 155 %s = sext i32 %add to i6456 %addr = getelementptr inbounds i64, ptr %base, i64 %s57 %add2 = add nsw i32 %i, 258 %s2 = sext i32 %add2 to i6459 %addr2 = getelementptr inbounds i64, ptr %base, i64 %s260 br i1 %cond, label %if.then, label %if.then261if.then:62 %v = load i64, ptr %addr63 %v2 = load i64, ptr %addr264 %r = add i64 %v, %v265 ret i64 %r66if.then2:67 ret i64 0;68}69