From c726b34ea01b74741dd9a6ae072e5ca4d9a3e623 Mon Sep 17 00:00:00 2001 From: Juneyoung Lee Date: Sat, 18 Feb 2023 20:03:15 +0000 Subject: [PATCH] Add a test for D144333 --- .../Transforms/DivRemPairs/AArch64/div-rem-pairs.ll | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 llvm/test/Transforms/DivRemPairs/AArch64/div-rem-pairs.ll diff --git a/llvm/test/Transforms/DivRemPairs/AArch64/div-rem-pairs.ll b/llvm/test/Transforms/DivRemPairs/AArch64/div-rem-pairs.ll new file mode 100644 index 0000000..f7e0eaa --- /dev/null +++ b/llvm/test/Transforms/DivRemPairs/AArch64/div-rem-pairs.ll @@ -0,0 +1,18 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -passes=div-rem-pairs -S -mtriple=aarch64-unknown-unknown | FileCheck %s + +define i8 @f(ptr %p, i8 %x, i8 %y) { +; CHECK-LABEL: @f( +; CHECK-NEXT: [[X_FROZEN:%.*]] = freeze i8 [[X:%.*]] +; CHECK-NEXT: [[Y_FROZEN:%.*]] = freeze i8 [[Y:%.*]] +; CHECK-NEXT: [[XDIVY:%.*]] = udiv exact i8 [[X_FROZEN]], [[Y_FROZEN]] +; CHECK-NEXT: [[TMP1:%.*]] = mul i8 [[XDIVY]], [[Y_FROZEN]] +; CHECK-NEXT: [[XMODY_DECOMPOSED:%.*]] = sub i8 [[X_FROZEN]], [[TMP1]] +; CHECK-NEXT: store i8 [[XMODY_DECOMPOSED]], ptr [[P:%.*]], align 1 +; CHECK-NEXT: ret i8 [[XDIVY]] +; + %xmody = urem i8 %x, %y + %xdivy = udiv exact i8 %x, %y + store i8 %xmody, ptr %p, align 1 + ret i8 %xdivy +} -- 2.7.4