annotate llvm/test/Transforms/NewGVN/readattrs.ll @ 201:a96fbbdf2d0f

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 04 Jun 2021 21:07:06 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt -newgvn -S -o - < %s | FileCheck %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
anatofuz
parents:
diff changeset
4 target triple = "x86_64-unknown-linux-gnu"
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 declare void @use(i8* readonly nocapture)
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 define i8 @test() {
anatofuz
parents:
diff changeset
9 %a = alloca i8
anatofuz
parents:
diff changeset
10 store i8 1, i8* %a
anatofuz
parents:
diff changeset
11 call void @use(i8* %a)
anatofuz
parents:
diff changeset
12 %b = load i8, i8* %a
anatofuz
parents:
diff changeset
13 ret i8 %b
anatofuz
parents:
diff changeset
14 ; CHECK-LABEL: define i8 @test(
anatofuz
parents:
diff changeset
15 ; CHECK: call void @use(i8* %a)
anatofuz
parents:
diff changeset
16 ; CHECK-NEXT: ret i8 1
anatofuz
parents:
diff changeset
17 }