| Amara Emerson | 854d10d | 2018-01-02 16:30:47 +0000 | [diff] [blame] | 1 | ; RUN: llc -O0 -fast-isel -fast-isel-abort=1 -verify-machineinstrs -mtriple=arm64-apple-darwin < %s | FileCheck %s | 
| Tim Northover | 00ed996 | 2014-03-29 10:18:08 +0000 | [diff] [blame] | 2 |  | 
|  | 3 | ; Test load/store of global value from global offset table. | 
|  | 4 | @seed = common global i64 0, align 8 | 
|  | 5 |  | 
|  | 6 | define void @Initrand() nounwind { | 
|  | 7 | entry: | 
|  | 8 | ; CHECK: @Initrand | 
| Juergen Ributzka | a1148b2 | 2014-09-03 01:38:36 +0000 | [diff] [blame] | 9 | ; CHECK: adrp [[REG:x[0-9]+]], _seed@GOTPAGE | 
|  | 10 | ; CHECK: ldr  [[REG2:x[0-9]+]], {{\[}}[[REG]], _seed@GOTPAGEOFF{{\]}} | 
|  | 11 | ; CHECK: str  {{x[0-9]+}}, {{\[}}[[REG2]]{{\]}} | 
| Tim Northover | 00ed996 | 2014-03-29 10:18:08 +0000 | [diff] [blame] | 12 | store i64 74755, i64* @seed, align 8 | 
|  | 13 | ret void | 
|  | 14 | } | 
|  | 15 |  | 
|  | 16 | define i32 @Rand() nounwind { | 
|  | 17 | entry: | 
|  | 18 | ; CHECK: @Rand | 
| Juergen Ributzka | a1148b2 | 2014-09-03 01:38:36 +0000 | [diff] [blame] | 19 | ; CHECK: adrp [[REG1:x[0-9]+]], _seed@GOTPAGE | 
|  | 20 | ; CHECK: ldr  [[REG2:x[0-9]+]], {{\[}}[[REG1]], _seed@GOTPAGEOFF{{\]}} | 
| Juergen Ributzka | a1148b2 | 2014-09-03 01:38:36 +0000 | [diff] [blame] | 21 | ; CHECK: ldr  [[REG5:x[0-9]+]], {{\[}}[[REG2]]{{\]}} | 
| Reid Kleckner | 3a7a2e4 | 2018-03-14 21:54:21 +0000 | [diff] [blame] | 22 | ; CHECK: mov  [[REG4:x[0-9]+]], #1309 | 
| Juergen Ributzka | a1148b2 | 2014-09-03 01:38:36 +0000 | [diff] [blame] | 23 | ; CHECK: mul  [[REG6:x[0-9]+]], [[REG5]], [[REG4]] | 
| Reid Kleckner | 3a7a2e4 | 2018-03-14 21:54:21 +0000 | [diff] [blame] | 24 | ; CHECK: mov  [[REG3:x[0-9]+]], #13849 | 
| Juergen Ributzka | a1148b2 | 2014-09-03 01:38:36 +0000 | [diff] [blame] | 25 | ; CHECK: add  [[REG7:x[0-9]+]], [[REG6]], [[REG3]] | 
| Juergen Ributzka | 1dbc15f | 2014-09-04 01:29:18 +0000 | [diff] [blame] | 26 | ; CHECK: and  [[REG8:x[0-9]+]], [[REG7]], #0xffff | 
|  | 27 | ; CHECK: str  [[REG8]], {{\[}}[[REG1]]{{\]}} | 
| Juergen Ributzka | a1148b2 | 2014-09-03 01:38:36 +0000 | [diff] [blame] | 28 | ; CHECK: ldr  {{x[0-9]+}}, {{\[}}[[REG1]]{{\]}} | 
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 29 | %0 = load i64, i64* @seed, align 8 | 
| Tim Northover | 00ed996 | 2014-03-29 10:18:08 +0000 | [diff] [blame] | 30 | %mul = mul nsw i64 %0, 1309 | 
|  | 31 | %add = add nsw i64 %mul, 13849 | 
|  | 32 | %and = and i64 %add, 65535 | 
|  | 33 | store i64 %and, i64* @seed, align 8 | 
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 34 | %1 = load i64, i64* @seed, align 8 | 
| Tim Northover | 00ed996 | 2014-03-29 10:18:08 +0000 | [diff] [blame] | 35 | %conv = trunc i64 %1 to i32 | 
|  | 36 | ret i32 %conv | 
|  | 37 | } |