diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2017-07-31 17:47:07 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2017-07-31 17:47:07 +0000 |
| commit | 91c6330c96aaf14605f7d520af72c62c1284ae45 (patch) | |
| tree | 156f8edcd3b58e46086c0916bd0d802afe947a49 /llvm/test/Transforms/SCCP | |
| parent | cb0e74975a516d1fbc83e674c36e4cca3fee7731 (diff) | |
| download | bcm5719-llvm-91c6330c96aaf14605f7d520af72c62c1284ae45.tar.gz bcm5719-llvm-91c6330c96aaf14605f7d520af72c62c1284ae45.zip | |
[IPSCCP] Guard a user of getInitializer with hasDefinitiveInitializer
We are not allowed to reason about an initializer value without first
consulting hasDefinitiveInitializer.
llvm-svn: 309594
Diffstat (limited to 'llvm/test/Transforms/SCCP')
| -rw-r--r-- | llvm/test/Transforms/SCCP/definite-initializer.ll | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/llvm/test/Transforms/SCCP/definite-initializer.ll b/llvm/test/Transforms/SCCP/definite-initializer.ll new file mode 100644 index 00000000000..a2c4521e07c --- /dev/null +++ b/llvm/test/Transforms/SCCP/definite-initializer.ll @@ -0,0 +1,11 @@ +; RUN: opt -S -ipsccp < %s | FileCheck %s +@d = internal externally_initialized global i32 0, section ".openbsd.randomdata", align 4 + +; CHECK-LABEL: @test1( +define i32 @test1() { +entry: + %load = load i32, i32* @d, align 4 + ret i32 %load +; CHECK: %[[load:.*]] = load i32, i32* @d, align 4 +; CHECK: ret i32 %[[load]] +} |
