xref: /llvm-project/llvm/test/Transforms/SCCP/loadtest2.ll (revision fe1a1eee2ff864d2ba00ad67e6360b7178e67d5c)
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.
7define 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}
17