1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 2; RUN: opt -passes=gvn -S < %s | FileCheck %s 3 4define i8 @foo(ptr %arg, i8 %arg1) { 5; CHECK-LABEL: define i8 @foo( 6; CHECK-SAME: ptr [[ARG:%.*]], i8 [[ARG1:%.*]]) { 7; CHECK-NEXT: [[BB:.*:]] 8; CHECK-NEXT: [[I:%.*]] = load i8, ptr [[ARG]], align 1, !range [[RNG0:![0-9]+]] 9; CHECK-NEXT: [[I3:%.*]] = add i8 [[I]], [[I]] 10; CHECK-NEXT: ret i8 [[I3]] 11; 12bb: 13 %i = load i8, ptr %arg, align 1, !range !{i8 127, i8 -20} 14 %i2 = load i8, ptr %arg, align 1, !range !{i8 -27, i8 -24, i8 -20, i8 -17} 15 %i3 = add i8 %i, %i2 16 ret i8 %i3 17} 18;. 19; CHECK: [[RNG0]] = !{i8 127, i8 -17} 20;. 21