30 lines · plain
1; RUN: llc -mcpu=pwr9 -mtriple=powerpc64le-unknown-linux-gnu < %s \2; RUN: -verify-machineinstrs | FileCheck %s3 4@b = dso_local local_unnamed_addr global ptr null, align 85@a = dso_local local_unnamed_addr global i8 0, align 16 7define void @testADDEPromoteResult() {8entry:9 %0 = load ptr, ptr @b, align 810 %1 = load i64, ptr %0, align 811 %cmp = icmp ne ptr %0, null12 %conv1 = zext i1 %cmp to i6413 %add = add nsw i64 %1, %conv114 %2 = trunc i64 %add to i815 %conv2 = and i8 %2, 516 store i8 %conv2, ptr @a, align 117 ret void18 19; CHECK-LABEL: @testADDEPromoteResult20; CHECK: # %bb.0:21; CHECK-DAG: addis [[REG1:[0-9]+]], [[REG2:[0-9]+]], [[VAR1:[a-z0-9A-Z_.]+]]@toc@ha22; CHECK-DAG: ld [[REG3:[0-9]+]], [[VAR1]]@toc@l([[REG1]])23; CHECK-DAG: lbz [[REG4:[0-9]+]], 0([[REG3]])24; CHECK-DAG: addi [[REG7:[0-9]+]], [[REG4]]25; CHECK-DAG: andi. [[REG9:[0-9]+]], [[REG7]], 526; CHECK-DAG: addis [[REG8:[0-9]+]], [[REG2]], [[VAR2:[a-z0-9A-Z_.]+]]@toc@ha27; CHECK-DAG: stb [[REG9]], [[VAR2]]@toc@l([[REG8]])28; CHECK: blr29}30