llvm/test/Transforms/SCCP/loadtest2.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt < %s -data-layout="E-p:32:32" -passes=ipsccp -S | FileCheck %s
   3
   4 @j = internal global i32 undef, align 4
   5
   6 ; Make sure we do not mark loads from undef as overdefined.
   7 define i32 @test5(i32 %b) {
   8 ; CHECK-LABEL: define i32 @test5(
   9 ; CHECK-SAME: i32 [[B:%.*]]) {
  10 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i32 undef, [[B]]
  11 ; CHECK-NEXT:    ret i32 [[ADD]]
  12 ;
  13   %l = load i32, ptr @j, align 4
  14   %add = add nsw i32 %l, %b
  15   ret i32 %add
  16 }