llvm/test/Transforms/SeparateConstOffsetFromGEP/test-add-sub-separation.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -separate-const-offset-from-gep < %s | FileCheck %s
   3 ; RUN: opt -S -passes=separate-const-offset-from-gep < %s | FileCheck %s
   4
   5 define void @matchingExtensions(i32* %ap, i32* %bp, i64* %result) {
   6 ; CHECK-LABEL: @matchingExtensions(
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    [[A:%.*]] = load i32, i32* [[AP:%.*]], align 4
   9 ; CHECK-NEXT:    [[B:%.*]] = load i32, i32* [[BP:%.*]], align 4
  10 ; CHECK-NEXT:    [[EB:%.*]] = sext i32 [[B]] to i64
  11 ; CHECK-NEXT:    [[SUBAB:%.*]] = sub nsw i32 [[A]], [[B]]
  12 ; CHECK-NEXT:    [[EA:%.*]] = sext i32 [[A]] to i64
  13 ; CHECK-NEXT:    [[ADDEAEB:%.*]] = add nsw i64 [[EA]], [[EB]]
  14 ; CHECK-NEXT:    [[EXTSUB:%.*]] = sext i32 [[SUBAB]] to i64
  15 ; CHECK-NEXT:    [[IDX:%.*]] = getelementptr i32, i32* [[AP]], i64 [[EXTSUB]]
  16 ; CHECK-NEXT:    store i64 [[ADDEAEB]], i64* [[RESULT:%.*]]
  17 ; CHECK-NEXT:    store i32 [[SUBAB]], i32* [[IDX]]
  18 ; CHECK-NEXT:    ret void
  19 ;
  20 entry:
  21   %a = load i32, i32* %ap
  22   %b = load i32, i32* %bp
  23   %eb = sext i32 %b to i64
  24   %subab = sub nsw i32 %a, %b
  25   %ea = sext i32 %a to i64
  26   %addeaeb = add nsw i64 %ea, %eb
  27   %extsub = sext i32 %subab to i64
  28   %idx = getelementptr i32, i32* %ap, i64 %extsub
  29   store i64 %addeaeb, i64* %result
  30   store i32 %subab, i32* %idx
  31   ret void
  32 }