24 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=separate-const-offset-from-gep < %s | FileCheck %s3 4@e = external global [4000 x i8], align 15 6define void @find_either_reset() {7; CHECK-LABEL: @find_either_reset(8; CHECK-NEXT: entry:9; CHECK-NEXT: [[SUB:%.*]] = sub nsw i32 65536, undef10; CHECK-NEXT: [[TMP0:%.*]] = trunc i32 [[SUB]] to i811; CHECK-NEXT: [[TMP1:%.*]] = add i8 [[TMP0]], 9612; CHECK-NEXT: [[IDXPROM:%.*]] = sext i8 0 to i6413; CHECK-NEXT: [[IDXPROM1:%.*]] = sext i8 [[TMP1]] to i6414; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [4000 x i8], ptr @e, i64 [[IDXPROM]], i64 [[IDXPROM1]]15; CHECK-NEXT: ret void16;17entry:18 %sub = sub nsw i32 65536, undef19 %0 = trunc i32 %sub to i820 %1 = add i8 %0, -400021 %arrayidx = getelementptr inbounds [4000 x i8], ptr @e, i8 0, i8 %122 ret void23}24