diff options
Diffstat (limited to 'test/Transforms/SimplifyCFG/hoist-with-range.ll')
-rw-r--r-- | test/Transforms/SimplifyCFG/hoist-with-range.ll | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/hoist-with-range.ll b/test/Transforms/SimplifyCFG/hoist-with-range.ll new file mode 100644 index 0000000..362aa9a --- /dev/null +++ b/test/Transforms/SimplifyCFG/hoist-with-range.ll @@ -0,0 +1,20 @@ +; RUN: opt < %s -simplifycfg -S | FileCheck %s + +define void @foo(i1 %c, i8* %p) { +; CHECK: if: +; CHECK-NEXT: load i8* %p, !range !0 +; CHECK: !0 = metadata !{i8 0, i8 1, i8 3, i8 5} +if: + br i1 %c, label %then, label %else +then: + %t = load i8* %p, !range !0 + br label %out +else: + %e = load i8* %p, !range !1 + br label %out +out: + ret void +} + +!0 = metadata !{ i8 0, i8 1 } +!1 = metadata !{ i8 3, i8 5 } |