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